From b96b36f43de3e2f8b58d5f539daa6f6d47f25870 Mon Sep 17 00:00:00 2001 From: aarne Date: Wed, 25 Jun 2008 16:43:48 +0000 Subject: removed src for 2.9 --- src/GF/Command/GFShell.cf | 27 --------------------------- 1 file changed, 27 deletions(-) delete mode 100644 src/GF/Command/GFShell.cf (limited to 'src/GF/Command/GFShell.cf') diff --git a/src/GF/Command/GFShell.cf b/src/GF/Command/GFShell.cf deleted file mode 100644 index 1f5a9fa6d..000000000 --- a/src/GF/Command/GFShell.cf +++ /dev/null @@ -1,27 +0,0 @@ ---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 "," ; -- cgit v1.2.3