summaryrefslogtreecommitdiff
path: root/src/GF/GFCC/GFCC.cf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2007-11-07 16:30:56 +0000
committeraarne <aarne@cs.chalmers.se>2007-11-07 16:30:56 +0000
commit947949648f3dacffa2bb075e1bd561ba31760908 (patch)
tree8573f08513bcd59613df8fc9d0a382fd17090f53 /src/GF/GFCC/GFCC.cf
parent0be4e801f45e7ec4b2d75575c0cf36053cc62754 (diff)
added fields for global options and showable lincats to gfcc
Diffstat (limited to 'src/GF/GFCC/GFCC.cf')
-rw-r--r--src/GF/GFCC/GFCC.cf3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/GF/GFCC/GFCC.cf b/src/GF/GFCC/GFCC.cf
index 861e68f73..96d68649b 100644
--- a/src/GF/GFCC/GFCC.cf
+++ b/src/GF/GFCC/GFCC.cf
@@ -1,5 +1,5 @@
Grm. Grammar ::=
- "grammar" CId "(" [CId] ")" ";"
+ "grammar" CId "(" [CId] ")" "(" [Flag] ")" ";"
Abstract ";"
[Concrete] ;
@@ -18,6 +18,7 @@ Cnc. Concrete ::=
"lincat" [LinDef]
"lindef" [LinDef]
"printname" [LinDef]
+ "param" [LinDef] -- lincats with param value names
"}" ;
Flg. Flag ::= CId "=" String ;