nitcc: add tests for rejected tokens
authorJean Privat <jean@pryen.org>
Fri, 18 Oct 2013 19:10:13 +0000 (15:10 -0400)
committerJean Privat <jean@pryen.org>
Fri, 18 Oct 2013 19:40:33 +0000 (15:40 -0400)
Signed-off-by: Jean Privat <jean@pryen.org>

15 files changed:
contrib/nitcc/tests/rejected.input1 [new file with mode: 0644]
contrib/nitcc/tests/rejected.input2 [new file with mode: 0644]
contrib/nitcc/tests/rejected.input3 [new file with mode: 0644]
contrib/nitcc/tests/rejected.sablecc [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.alt1.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.alt2.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.alt3.input1.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.alt3.input2.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.alt3.input3.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.alt3.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.alt4.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.input1.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.input2.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.input3.res [new file with mode: 0644]
contrib/nitcc/tests/sav/rejected.res [new file with mode: 0644]

diff --git a/contrib/nitcc/tests/rejected.input1 b/contrib/nitcc/tests/rejected.input1
new file mode 100644 (file)
index 0000000..27830bb
--- /dev/null
@@ -0,0 +1 @@
+ax
\ No newline at end of file
diff --git a/contrib/nitcc/tests/rejected.input2 b/contrib/nitcc/tests/rejected.input2
new file mode 100644 (file)
index 0000000..7fbe369
--- /dev/null
@@ -0,0 +1 @@
+ayx
\ No newline at end of file
diff --git a/contrib/nitcc/tests/rejected.input3 b/contrib/nitcc/tests/rejected.input3
new file mode 100644 (file)
index 0000000..64e5afa
--- /dev/null
@@ -0,0 +1 @@
+abx
\ No newline at end of file
diff --git a/contrib/nitcc/tests/rejected.sablecc b/contrib/nitcc/tests/rejected.sablecc
new file mode 100644 (file)
index 0000000..ec86c92
--- /dev/null
@@ -0,0 +1,8 @@
+Grammar rejected;
+Lexer
+a = 'a';
+b = 'b';
+Parser
+Rejected
+  b, 'y'; //alt1 a; //alt2 'x'; //alt3 'y'; //alt4 p;
+p = a 'x';
diff --git a/contrib/nitcc/tests/sav/rejected.alt1.res b/contrib/nitcc/tests/sav/rejected.alt1.res
new file mode 100644 (file)
index 0000000..8811a9f
--- /dev/null
@@ -0,0 +1 @@
+8:5-8:6 Error: a is already a rejected token.
diff --git a/contrib/nitcc/tests/sav/rejected.alt2.res b/contrib/nitcc/tests/sav/rejected.alt2.res
new file mode 100644 (file)
index 0000000..d8e64e4
--- /dev/null
@@ -0,0 +1 @@
+8:7-8:10 Error: 'x' is already a rejected token.
diff --git a/contrib/nitcc/tests/sav/rejected.alt3.input1.res b/contrib/nitcc/tests/sav/rejected.alt3.input1.res
new file mode 100644 (file)
index 0000000..e7752ea
--- /dev/null
@@ -0,0 +1,5 @@
+Start
+  p
+    a@(1:1-1:2)='a'
+    'x'@(1:2-1:3)
+  Eof@(1:3-1:3)=''
diff --git a/contrib/nitcc/tests/sav/rejected.alt3.input2.res b/contrib/nitcc/tests/sav/rejected.alt3.input2.res
new file mode 100644 (file)
index 0000000..265b7dd
--- /dev/null
@@ -0,0 +1,4 @@
+NParserError@(1:2-1:3)='y'
+Nodes
+  a@(1:1-1:2)='a'
+  'y'@(1:2-1:3)
diff --git a/contrib/nitcc/tests/sav/rejected.alt3.input3.res b/contrib/nitcc/tests/sav/rejected.alt3.input3.res
new file mode 100644 (file)
index 0000000..5c77dcb
--- /dev/null
@@ -0,0 +1,4 @@
+NLexerError@(1:2-1:2)='b'
+Nodes
+  a@(1:1-1:2)='a'
+  NLexerError@(1:2-1:2)='b'
diff --git a/contrib/nitcc/tests/sav/rejected.alt3.res b/contrib/nitcc/tests/sav/rejected.alt3.res
new file mode 100644 (file)
index 0000000..e69de29
diff --git a/contrib/nitcc/tests/sav/rejected.alt4.res b/contrib/nitcc/tests/sav/rejected.alt4.res
new file mode 100644 (file)
index 0000000..970e411
--- /dev/null
@@ -0,0 +1 @@
+Error: cannot reject p, it is a production
diff --git a/contrib/nitcc/tests/sav/rejected.input1.res b/contrib/nitcc/tests/sav/rejected.input1.res
new file mode 100644 (file)
index 0000000..e7752ea
--- /dev/null
@@ -0,0 +1,5 @@
+Start
+  p
+    a@(1:1-1:2)='a'
+    'x'@(1:2-1:3)
+  Eof@(1:3-1:3)=''
diff --git a/contrib/nitcc/tests/sav/rejected.input2.res b/contrib/nitcc/tests/sav/rejected.input2.res
new file mode 100644 (file)
index 0000000..265b7dd
--- /dev/null
@@ -0,0 +1,4 @@
+NParserError@(1:2-1:3)='y'
+Nodes
+  a@(1:1-1:2)='a'
+  'y'@(1:2-1:3)
diff --git a/contrib/nitcc/tests/sav/rejected.input3.res b/contrib/nitcc/tests/sav/rejected.input3.res
new file mode 100644 (file)
index 0000000..f5cbbd3
--- /dev/null
@@ -0,0 +1,4 @@
+NParserError@(1:2-1:3)='b'
+Nodes
+  a@(1:1-1:2)='a'
+  b@(1:2-1:3)='b'
diff --git a/contrib/nitcc/tests/sav/rejected.res b/contrib/nitcc/tests/sav/rejected.res
new file mode 100644 (file)
index 0000000..e69de29