summaryrefslogtreecommitdiff
path: root/src-2.9/GF/Command/GFShell.cf
diff options
context:
space:
mode:
authoraarne <aarne@cs.chalmers.se>2008-05-20 11:47:44 +0000
committeraarne <aarne@cs.chalmers.se>2008-05-20 11:47:44 +0000
commit31bf84122b21efb444aa8d055472e166ffb90783 (patch)
tree1f051909336f1534346bcccde8dda59beab02f64 /src-2.9/GF/Command/GFShell.cf
parent74f048dcf41de3540778de54dfa7541fa5b39c46 (diff)
moved all old source code to src-2.9 ; src will be for GF 3 development
Diffstat (limited to 'src-2.9/GF/Command/GFShell.cf')
-rw-r--r--src-2.9/GF/Command/GFShell.cf27
1 files changed, 27 insertions, 0 deletions
diff --git a/src-2.9/GF/Command/GFShell.cf b/src-2.9/GF/Command/GFShell.cf
new file mode 100644
index 000000000..1f5a9fa6d
--- /dev/null
+++ b/src-2.9/GF/Command/GFShell.cf
@@ -0,0 +1,27 @@
+--entrypoints CommandLine, Tree ;
+
+CLine. CommandLine ::= [Pipe] ;
+CEmpty. CommandLine ::= ;
+PComm. Pipe ::= [Command] ;
+Comm. Command ::= Ident [Option] Argument ;
+CNoarg. Command ::= Ident [Option] ;
+OOpt. Option ::= "-" Ident ;
+OFlag. Option ::= "-" Ident "=" Value ;
+VId. Value ::= Ident ;
+VInt. Value ::= Integer ;
+ATree. Argument ::= Tree ;
+
+TApp. Tree1 ::= Ident [Tree2] ;
+TAbs. Tree ::= "\\" [Ident] "->" Tree ;
+TId. Tree2 ::= Ident ;
+TInt. Tree2 ::= Integer ;
+TStr. Tree2 ::= String ;
+TFloat. Tree2 ::= Double ;
+
+coercions Tree 2 ;
+
+separator nonempty Pipe ";" ;
+separator nonempty Command "|" ;
+terminator Option "" ;
+terminator nonempty Tree2 "" ;
+terminator nonempty Ident "," ;