From 80249a8f515a5ef552d9964b33c59becc3663b49 Mon Sep 17 00:00:00 2001 From: Jean Privat Date: Fri, 18 Oct 2013 15:10:13 -0400 Subject: [PATCH] nitcc: add tests for rejected tokens Signed-off-by: Jean Privat --- contrib/nitcc/tests/rejected.input1 | 1 + contrib/nitcc/tests/rejected.input2 | 1 + contrib/nitcc/tests/rejected.input3 | 1 + contrib/nitcc/tests/rejected.sablecc | 8 ++++++++ contrib/nitcc/tests/sav/rejected.alt1.res | 1 + contrib/nitcc/tests/sav/rejected.alt2.res | 1 + contrib/nitcc/tests/sav/rejected.alt3.input1.res | 5 +++++ contrib/nitcc/tests/sav/rejected.alt3.input2.res | 4 ++++ contrib/nitcc/tests/sav/rejected.alt3.input3.res | 4 ++++ contrib/nitcc/tests/sav/rejected.alt4.res | 1 + contrib/nitcc/tests/sav/rejected.input1.res | 5 +++++ contrib/nitcc/tests/sav/rejected.input2.res | 4 ++++ contrib/nitcc/tests/sav/rejected.input3.res | 4 ++++ 13 files changed, 40 insertions(+) create mode 100644 contrib/nitcc/tests/rejected.input1 create mode 100644 contrib/nitcc/tests/rejected.input2 create mode 100644 contrib/nitcc/tests/rejected.input3 create mode 100644 contrib/nitcc/tests/rejected.sablecc create mode 100644 contrib/nitcc/tests/sav/rejected.alt1.res create mode 100644 contrib/nitcc/tests/sav/rejected.alt2.res create mode 100644 contrib/nitcc/tests/sav/rejected.alt3.input1.res create mode 100644 contrib/nitcc/tests/sav/rejected.alt3.input2.res create mode 100644 contrib/nitcc/tests/sav/rejected.alt3.input3.res create mode 100644 contrib/nitcc/tests/sav/rejected.alt3.res create mode 100644 contrib/nitcc/tests/sav/rejected.alt4.res create mode 100644 contrib/nitcc/tests/sav/rejected.input1.res create mode 100644 contrib/nitcc/tests/sav/rejected.input2.res create mode 100644 contrib/nitcc/tests/sav/rejected.input3.res create mode 100644 contrib/nitcc/tests/sav/rejected.res diff --git a/contrib/nitcc/tests/rejected.input1 b/contrib/nitcc/tests/rejected.input1 new file mode 100644 index 0000000..27830bb --- /dev/null +++ b/contrib/nitcc/tests/rejected.input1 @@ -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 index 0000000..7fbe369 --- /dev/null +++ b/contrib/nitcc/tests/rejected.input2 @@ -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 index 0000000..64e5afa --- /dev/null +++ b/contrib/nitcc/tests/rejected.input3 @@ -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 index 0000000..ec86c92 --- /dev/null +++ b/contrib/nitcc/tests/rejected.sablecc @@ -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 index 0000000..8811a9f --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.alt1.res @@ -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 index 0000000..d8e64e4 --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.alt2.res @@ -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 index 0000000..e7752ea --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.alt3.input1.res @@ -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 index 0000000..265b7dd --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.alt3.input2.res @@ -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 index 0000000..5c77dcb --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.alt3.input3.res @@ -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 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 index 0000000..970e411 --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.alt4.res @@ -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 index 0000000..e7752ea --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.input1.res @@ -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 index 0000000..265b7dd --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.input2.res @@ -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 index 0000000..f5cbbd3 --- /dev/null +++ b/contrib/nitcc/tests/sav/rejected.input3.res @@ -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 index 0000000..e69de29 -- 1.7.9.5