checkpoint
[sbp.git] / tests / testcase.g
index 920717e..8bb684c 100644 (file)
@@ -1,7 +1,11 @@
-ts       ::= ws tests ws => ts
-tests    ::= test %% ws
-ws       !::= w*
-test     ::= ^"testcase" "{" input output+/ws   grammar "}" /ws
-           | ^"testcase" "{" input              grammar "}" /ws
-output   ::= "output" quoted ";" /ws
-input    ::= "input"  quoted ";" /ws
+ts         = ts:: !ws tests !ws
+tests      =      test */ ws
+ws         =      w*
+test       =      ^"testcase" "{" input output +/ ws   (grammar::Grammar) "}" /ws
+           |      ^"testcase" "{" input                (grammar::Grammar) "}" /ws
+           |      ^"tibcase"  "{" input output +/ ws   (grammar::Grammar) "}" /ws
+           |      ^"tibcase"  "{" input                (grammar::Grammar) "}" /ws
+           |      ^"javacase"  "{" input output +/ ws   (grammar::Grammar) "}" /ws
+           |      ^"javacase"  "{" input                (grammar::Grammar) "}" /ws
+output     =      ^"output" Quoted ";" /ws
+input      =      "input"  Quoted ";" /ws