aboutsummaryrefslogtreecommitdiff
path: root/docs/source
diff options
context:
space:
mode:
authorVladimir Glavnyy <31897320+vglavnyy@users.noreply.github.com>2018-04-06 23:07:59 +0700
committerWouter van Oortmerssen <aardappel@gmail.com>2018-04-06 09:07:59 -0700
commit7eb4c6098e88f7bee04a2d6baf2da28ff721219f (patch)
tree3c47924110614475a8de752d7c4ac36c88e59ee4 /docs/source
parentaf3c5981895f5770335ea1743a0060e5dcee41eb (diff)
downloadflatbuffers-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/source')
-rw-r--r--docs/source/Grammar.md2
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+ `}`