diff options
author | Vladimir Glavnyy <31897320+vglavnyy@users.noreply.github.com> | 2018-04-06 23:07:59 +0700 |
---|---|---|
committer | Wouter van Oortmerssen <aardappel@gmail.com> | 2018-04-06 09:07:59 -0700 |
commit | 7eb4c6098e88f7bee04a2d6baf2da28ff721219f (patch) | |
tree | 3c47924110614475a8de752d7c4ac36c88e59ee4 /docs | |
parent | af3c5981895f5770335ea1743a0060e5dcee41eb (diff) | |
download | flatbuffers-7eb4c6098e88f7bee04a2d6baf2da28ff721219f.tar.gz |
An user-defined attribute name validation (#4689)
* User-declared attribute should be either identifier or string with the identifier.
* Attribute can be identifier or string in metadata.
Diffstat (limited to 'docs')
-rw-r--r-- | docs/source/Grammar.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/source/Grammar.md b/docs/source/Grammar.md index 84e762c1..bf79596f 100644 --- a/docs/source/Grammar.md +++ b/docs/source/Grammar.md @@ -10,7 +10,7 @@ include = `include` string\_constant `;` namespace\_decl = `namespace` ident ( `.` ident )* `;` -attribute\_decl = `attribute` string\_constant `;` +attribute\_decl = `attribute` ident | `"`ident`"` `;` type\_decl = ( `table` | `struct` ) ident metadata `{` field\_decl+ `}` |