1324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/* 2324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * [The "BSD license"] 3324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Copyright (c) 2010 Terence Parr 4324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * All rights reserved. 5324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 6324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Redistribution and use in source and binary forms, with or without 7324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * modification, are permitted provided that the following conditions 8324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * are met: 9324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 1. Redistributions of source code must retain the above copyright 10324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * notice, this list of conditions and the following disclaimer. 11324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 2. Redistributions in binary form must reproduce the above copyright 12324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * notice, this list of conditions and the following disclaimer in the 13324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * documentation and/or other materials provided with the distribution. 14324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 3. The name of the author may not be used to endorse or promote products 15324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * derived from this software without specific prior written permission. 16324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 17324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 18324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 19324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 20324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 21324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 22324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 23324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 24324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 25324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 26324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 27324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 28324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpackage org.antlr.test; 29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport org.junit.Test; 31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpublic class TestSemanticPredicateEvaluation extends BaseTest { 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testSimpleCyclicDFAWithPredicate() throws Exception { 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;\n" + 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : {false}? 'x'* 'y' {System.out.println(\"alt1\");}\n" + 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " | {true}? 'x'* 'y' {System.out.println(\"alt2\");}\n" + 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ;\n" ; 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "xxxy", false); 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("alt2\n", found); 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testSimpleCyclicDFAWithInstanceVarPredicate() throws Exception { 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;\n" + 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@members {boolean v=true;}\n" + 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : {false}? 'x'* 'y' {System.out.println(\"alt1\");}\n" + 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " | {v}? 'x'* 'y' {System.out.println(\"alt2\");}\n" + 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ;\n" ; 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "xxxy", false); 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("alt2\n", found); 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testPredicateValidation() throws Exception { 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;\n" + 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@members {\n" + 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "public void reportError(RecognitionException e) {\n" + 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " System.out.println(\"error: \"+e.toString());\n" + 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "}\n" + 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "}\n" + 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "\n" + 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : {false}? 'x'\n" + 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ;\n" ; 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "x", false); 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("error: FailedPredicateException(a,{false}?)\n", found); 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLexerPreds() throws Exception { 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean p=false;}\n" + 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : {p}? 'a' {System.out.println(\"token 1\");} ;\n" + 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "B : {!p}? 'a' {System.out.println(\"token 2\");} ;\n"; 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "a", false); 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // "a" is ambig; can match both A, B. Pred says match 2 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("token 2\n", found); 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLexerPreds2() throws Exception { 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean p=true;}\n" + 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : {p}? 'a' {System.out.println(\"token 1\");} ;\n" + 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "B : ('a'|'b')+ {System.out.println(\"token 2\");} ;\n"; 92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "a", false); 94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // "a" is ambig; can match both A, B. Pred says match 1 95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("token 1\n", found); 96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLexerPredInExitBranch() throws Exception { 99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // p says it's ok to exit; it has precendence over the !p loopback branch 100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean p=true;}\n" + 103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : ('a' {System.out.print(\"1\");})*\n" + 105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " {p}?\n" + 106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ('a' {System.out.print(\"2\");})* ;\n"; 107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aaa", false); 109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("222\n", found); 110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 111324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLexerPredInExitBranch2() throws Exception { 113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean p=true;}\n" + 116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : ({p}? 'a' {System.out.print(\"1\");})*\n" + 118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ('a' {System.out.print(\"2\");})* ;\n"; 119324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aaa", false); 121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("111\n", found); 122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLexerPredInExitBranch3() throws Exception { 125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean p=true;}\n" + 128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : ({p}? 'a' {System.out.print(\"1\");} | )\n" + 130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ('a' {System.out.print(\"2\");})* ;\n"; 131324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 132324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aaa", false); 133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("122\n", found); 134324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 135324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 136324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLexerPredInExitBranch4() throws Exception { 137324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 138324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 139324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 140324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A @init {int n=0;} : ({n<2}? 'a' {System.out.print(n++);})+\n" + 141324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ('a' {System.out.print(\"x\");})* ;\n"; 142324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 143324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aaaaa", false); 144324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("01xxx\n", found); 145324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 146324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 147324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLexerPredsInCyclicDFA() throws Exception { 148324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 149324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 150324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean p=false;}\n" + 151324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 152324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : {p}? ('a')+ 'x' {System.out.println(\"token 1\");} ;\n" + 153324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "B : ('a')+ 'x' {System.out.println(\"token 2\");} ;\n"; 154324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 155324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aax", false); 156324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("token 2\n", found); 157324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 158324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 159324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLexerPredsInCyclicDFA2() throws Exception { 160324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 161324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 162324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean p=false;}\n" + 163324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 164324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : {p}? ('a')+ 'x' ('y')? {System.out.println(\"token 1\");} ;\n" + 165324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "B : ('a')+ 'x' {System.out.println(\"token 2\");} ;\n"; 166324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 167324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aax", false); 168324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("token 2\n", found); 169324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 170324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 171324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testGatedPred() throws Exception { 172324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 173324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;" + 174324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 175324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : {true}?=> 'a' {System.out.println(\"token 1\");} ;\n" + 176324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "B : {false}?=>('a'|'b')+ {System.out.println(\"token 2\");} ;\n"; 177324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 178324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aa", false); 179324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // "a" is ambig; can match both A, B. Pred says match A twice 180324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("token 1\ntoken 1\n", found); 181324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 182324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 183324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testGatedPred2() throws Exception { 184324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 185324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;\n" + 186324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean sig=false;}\n"+ 187324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (A|B)+ ;\n" + 188324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : 'a' {System.out.print(\"A\"); sig=true;} ;\n" + 189324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "B : 'b' ;\n" + 190324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "C : {sig}?=> ('a'|'b') {System.out.print(\"C\");} ;\n"; 191324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 192324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aa", false); 193324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("AC\n", found); 194324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 195324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 196324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testPredWithActionTranslation() throws Exception { 197324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 198324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo;\n" + 199324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : b[2] ;\n" + 200324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "b[int i]\n" + 201324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " : {$i==1}? 'a' {System.out.println(\"alt 1\");}\n" + 202324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " | {$b.i==2}? 'a' {System.out.println(\"alt 2\");}\n" + 203324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ;\n"; 204324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 205324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "aa", false); 206324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("alt 2\n", found); 207324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 208324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 209324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testPredicatesOnEOTTarget() throws Exception { 210324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 211324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar foo; \n" + 212324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "@lexer::members {boolean p=true, q=false;}" + 213324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : B ;\n" + 214324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A: '</'; \n" + 215324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "B: {p}? '<!' {System.out.println(\"B\");};\n" + 216324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "C: {q}? '<' {System.out.println(\"C\");}; \n" + 217324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "D: '<';\n" ; 218324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("foo.g", grammar, "fooParser", "fooLexer", 219324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "<!", false); 220324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("B\n", found); 221324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 222324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 223324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 224324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // S U P P O R T 225324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 226324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public void _test() throws Exception { 227324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 228324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar T;\n" + 229324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "options {output=AST;}\n" + 230324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : ;\n" + 231324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "ID : 'a'..'z'+ ;\n" + 232324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "INT : '0'..'9'+;\n" + 233324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "WS : (' '|'\\n') {channel=99;} ;\n"; 234324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("t.g", grammar, "T", "TLexer", 235324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "abc 34", false); 236324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("\n", found); 237324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 238324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 239324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 240