diff options
Diffstat (limited to 'src/GF/CFGM/CFG.cf')
| -rw-r--r-- | src/GF/CFGM/CFG.cf | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/src/GF/CFGM/CFG.cf b/src/GF/CFGM/CFG.cf index f7b15aea1..c6b5c751b 100644 --- a/src/GF/CFGM/CFG.cf +++ b/src/GF/CFGM/CFG.cf @@ -25,7 +25,12 @@ TermS. Symbol ::= String; (:[]). [Symbol] ::= Symbol ; (:). [Symbol] ::= Symbol [Symbol] ; +Name. Name ::= SingleQuoteString ; +Category. Category ::= SingleQuoteString ; +token SingleQuoteString '\'' ((char - ["'\\"]) | ('\\' ["'\\"]))* '\'' ; + +{- Name. Name ::= [IdentParam] Category; terminator IdentParam "/"; @@ -46,3 +51,4 @@ ParamSimple. Param ::= Ident ; ParamPatt. Param ::= Ident "(" [Param] ")" ; ParamRec. Param ::= "{" [KeyValue] "}" ; separator Param "," ; +-}
\ No newline at end of file |