diff options
Diffstat (limited to 'src/GF/Source/GF.cf')
| -rw-r--r-- | src/GF/Source/GF.cf | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/src/GF/Source/GF.cf b/src/GF/Source/GF.cf index a580f25e0..364550e6f 100644 --- a/src/GF/Source/GF.cf +++ b/src/GF/Source/GF.cf @@ -32,6 +32,20 @@ separator Transfer "" ;--% TransferIn. Transfer ::= "(" "transfer" "in" Open ")" ; --% TransferOut. Transfer ::= "(" "transfer" "out" Open ")" ; --% +-- the module header + +MModule2. ModHeader ::= ComplMod ModType "=" ModHeaderBody ; + +MBody2. ModHeaderBody ::= Extend Opens ; +MNoBody2. ModHeaderBody ::= [Included] ; +MWith2. ModHeaderBody ::= Included "with" [Open] ; +MWithBody2. ModHeaderBody ::= Included "with" [Open] "**" Opens ; +MWithE2. ModHeaderBody ::= [Included] "**" Included "with" [Open] ; +MWithEBody2. ModHeaderBody ::= [Included] "**" Included "with" [Open] "**" Opens ; + +MReuse2. ModHeaderBody ::= "reuse" PIdent ; --% +MUnion2. ModHeaderBody ::= "union" [Included] ;--% + -- the individual modules MModule. ModDef ::= ComplMod ModType "=" ModBody ; |