msyds/gf-core
1
0
Fork 0
forked from GitHub/gf-core
Code Pull Requests Activity

Restored the GFCC.cf from before the patch "simplify GFCC syntax". This is the version that the exisiting code actually uses, except for the two cases of Int instead of Integer.

Browse Source
This commit is contained in:
bringert
2007-09-20 15:20:44 +00:00
parent 5f5d4b2cbe
commit 46013f103c
1 changed files with 6 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

11
src/GF/Canon/GFCC/GFCC.cf
View File

@@ -21,19 +21,20 @@ define trA a = Tr a [] ;
R. Term ::= "[" [Term] "]" ; -- record/table R. Term ::= "[" [Term] "]" ; -- record/table
P. Term ::= "(" Term "!" Term ")" ; -- projection/selection P. Term ::= "(" Term "!" Term ")" ; -- projection/selection
S. Term ::= "(" [Term] ")" ; -- sequence with ++ S. Term ::= "(" [Term] ")" ; -- sequence with ++
KS. Term ::= String ; -- token K. Term ::= Tokn ; -- token
KP. Term ::= "[" "pre" [String] "[" [Variant] "]" "]" ; V. Term ::= "$" Integer ; -- argument
V. Term ::= "$" Integer ; -- argument C. Term ::= Integer ; -- parameter value/label
C. Term ::= Integer ; -- parameter value/label
F. Term ::= CId ; -- global constant F. Term ::= CId ; -- global constant
FV. Term ::= "[|" [Term] "|]" ; -- free variation FV. Term ::= "[|" [Term] "|]" ; -- free variation
W. Term ::= "(" String "+" [String] ")" ; -- prefix + suffix table W. Term ::= "(" String "+" Term ")" ; -- prefix + suffix table
RP. Term ::= "(" Term "@" Term ")"; -- record parameter alias RP. Term ::= "(" Term "@" Term ")"; -- record parameter alias
TM. Term ::= "?" ; -- lin of metavariable TM. Term ::= "?" ; -- lin of metavariable
L. Term ::= "(" CId "->" Term ")" ; -- lambda abstracted table L. Term ::= "(" CId "->" Term ")" ; -- lambda abstracted table
BV. Term ::= "#" CId ; -- lambda-bound variable BV. Term ::= "#" CId ; -- lambda-bound variable
KS. Tokn ::= String ;
KP. Tokn ::= "[" "pre" [String] "[" [Variant] "]" "]" ;
Var. Variant ::= [String] "/" [String] ; Var. Variant ::= [String] "/" [String] ;