tentative checkpoint

[sbp.git] / tests / testcase.g

diff --git a/tests/testcase.g b/tests/testcase.g
index a7972a4..b1321b1 100644 (file)
--- a/tests/testcase.g
+++ b/tests/testcase.g
@@ -1,9 +1,10 @@
-ts       ::= !ws tests !ws => ts
-tests    ::= test */ ws
-ws       !::= w*
-test     ::= ^"testcase" "{" input output +/ ws   Grammar "}" /ws
-           | ^"testcase" "{" input                Grammar "}" /ws
-           | ^"tibcase"  "{" input output +/ ws   Grammar "}" /ws
-           | ^"tibcase"  "{" input                Grammar "}" /ws
-output   ::= ^"output" Quoted ";" /ws
-input    ::= "input"  Quoted ";" /ws
+ts         = ts:: !ws tests !ws
+tests      =      test */ ws
+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