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 Gruver 29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpackage org.antlr.tool; 30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Simplifying report dramatically for LL(*) paper. Old results were 32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * wrong anyway it seems. We need: 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * percent decisions that potentially backtrack 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * histogram of regular lookahead depth (int k or *) 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpublic class GrammarReport2 { 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public static final String newline = System.getProperty("line.separator"); 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public Grammar root; 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public GrammarReport2(Grammar rootGrammar) { 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.root = rootGrammar; 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public String toString() { 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver StringBuilder buf = new StringBuilder(); 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver stats(root, buf); 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver CompositeGrammar composite = root.composite; 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for (Grammar g : composite.getDelegates(root)) { 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver stats(g, buf); 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return buf.toString(); 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver void stats(Grammar g, StringBuilder buf) { 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int numDec = g.getNumberOfDecisions(); 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for (int decision=1; decision<=numDec; decision++) { 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Grammar.Decision d = g.getDecision(decision); 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( d.dfa==null ) { // unusued decisions in auto synpreds 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver //System.err.println("no decision "+decision+" dfa for "+d.blockAST.toStringTree()); 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver continue; 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int k = d.dfa.getMaxLookaheadDepth(); 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Rule enclosingRule = d.dfa.decisionNFAStartState.enclosingRule; 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( enclosingRule.isSynPred ) continue; // don't count synpred rules 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver buf.append(g.name+"."+enclosingRule.name+":" + 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ""); 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver GrammarAST decisionAST = 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver d.dfa.decisionNFAStartState.associatedASTNode; 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver buf.append(decisionAST.getLine()); 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver buf.append(":"); 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver buf.append(decisionAST.getCharPositionInLine()); 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver buf.append(" decision "+decision+":"); 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( d.dfa.isCyclic() ) buf.append(" cyclic"); 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( k!=Integer.MAX_VALUE ) buf.append(" k="+k); // fixed, no sempreds 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( d.dfa.hasSynPred() ) buf.append(" backtracks"); // isolated synpred not gated 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( d.dfa.hasSemPred() ) buf.append(" sempred"); // user-defined sempred 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// else { 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// buf.append("undefined"); 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// FASerializer serializer = new FASerializer(g); 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// String result = serializer.serialize(d.dfa.startState); 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// System.err.println(result); 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver// } 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver nl(buf); 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver void nl(StringBuilder buf) { 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver buf.append(newline); 92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 94