summaryrefslogtreecommitdiff
path: root/system/gd/packet/parser/doc/reference.md
diff options
context:
space:
mode:
Diffstat (limited to 'system/gd/packet/parser/doc/reference.md')
-rw-r--r--system/gd/packet/parser/doc/reference.md14
1 files changed, 14 insertions, 0 deletions
diff --git a/system/gd/packet/parser/doc/reference.md b/system/gd/packet/parser/doc/reference.md
index 1e521372d3..6158faee57 100644
--- a/system/gd/packet/parser/doc/reference.md
+++ b/system/gd/packet/parser/doc/reference.md
@@ -54,6 +54,20 @@ packet Brew {
}
```
+## Identifiers
+
+- Identifiers can denote a field; an enumeration tag; or a declared type.
+
+- Field identifiers declared in a [packet](#packet) (resp. [struct](#struct)) belong to the _scope_ that extends
+ to the packet (resp. struct), and all derived packets (resp. structs).
+
+- Field identifiers declared in a [group](#group) belong to the _scope_ that
+ extends to the packets declaring a [group field](#group_field) for this group.
+
+- Two fields may not be declared with the same identifier in any packet scope.
+
+- Two types may not be declared width the same identifier.
+
## Declarations
> declaration: {#declaration}\