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 Gruver/** General code generation testing; compilation and/or execution. 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * These tests are more about avoiding duplicate var definitions 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * etc... than testing a particular ANTLR feature. 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpublic class TestJavaCodeGeneration extends BaseTest { 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testDupVarDefForPinchedState() { 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // so->s2 and s0->s3->s1 pinches back to s1 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // LA3_1, s1 state for DFA 3, was defined twice in similar scope 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // just wrapped in curlies and it's cool. 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar T;\n" + 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (| A | B) X Y\n" + 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " | (| A | B) X Z\n" + 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ;\n" ; 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean found = 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rawGenerateAndBuildRecognizer( 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "T.g", grammar, "TParser", null, false); 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean expecting = true; // should be ok 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals(expecting, found); 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLabeledNotSetsInLexer() { 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // d must be an int 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "lexer grammar T;\n" + 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : d=~('x'|'y') e='0'..'9'\n" + 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ; \n" ; 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean found = 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rawGenerateAndBuildRecognizer( 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "T.g", grammar, null, "T", false); 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean expecting = true; // should be ok 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals(expecting, found); 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLabeledSetsInLexer() { 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // d must be an int 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar T;\n" + 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : A ;\n" + 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : d=('x'|'y') {System.out.println((char)$d);}\n" + 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ; \n" ; 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("T.g", grammar, "TParser", "TLexer", 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "x", false); 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("x\n", found); 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLabeledRangeInLexer() { 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // d must be an int 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar T;\n" + 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : A;\n" + 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : d='a'..'z' {System.out.println((char)$d);} \n" + 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ; \n" ; 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("T.g", grammar, "TParser", "TLexer", 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "x", false); 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("x\n", found); 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testLabeledWildcardInLexer() { 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // d must be an int 92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar T;\n" + 94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : A;\n" + 95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : d=. {System.out.println((char)$d);}\n" + 96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " ; \n" ; 97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String found = execParser("T.g", grammar, "TParser", "TLexer", 98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a", "x", false); 99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals("x\n", found); 100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testSynpredWithPlusLoop() { 103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar T; \n" + 105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : (('x'+)=> 'x'+)?;\n"; 106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean found = 107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rawGenerateAndBuildRecognizer( 108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "T.g", grammar, "TParser", "TLexer", false); 109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean expecting = true; // should be ok 110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals(expecting, found); 111324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testDoubleQuoteEscape() { 114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "lexer grammar T; \n" + 116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "A : '\\\\\"';\n" + // this is A : '\\"', which should give "\\\"" at Java level; 117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "B : '\\\"';\n" + // this is B: '\"', which shodl give "\"" at Java level; 118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "C : '\\'\\'';\n" + // this is C: '\'\'', which shoudl give "''" at Java level 119324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "D : '\\k';\n"; // this is D: '\k', which shoudl give just "k" at Java level; 120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean found = 122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rawGenerateAndBuildRecognizer( 123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "T.g", grammar, null, "T", false); 124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean expecting = true; // should be ok 125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals(expecting, found); 126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver @Test public void testBlankRuleGetsNoException() { 129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String grammar = 130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "grammar T;\n" + 131324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "a : sync (ID sync)* ;\n" + 132324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "sync : ;\n" + 133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "ID : 'a'..'z'+;\n"; 134324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean found = 135324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver rawGenerateAndBuildRecognizer( 136324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "T.g", grammar, "TParser", "TLexer", false); 137324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver boolean expecting = true; // should be ok 138324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver assertEquals(expecting, found); 139324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 140324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 141