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.tool; 29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport org.antlr.analysis.DFAState; 31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport org.antlr.analysis.DecisionProbe; 32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport org.antlr.analysis.NFAState; 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport org.antlr.misc.Utils; 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport org.stringtemplate.v4.ST; 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport java.util.Iterator; 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport java.util.List; 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport java.util.Set; 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Reports a potential parsing issue with a decision; the decision is 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * nondeterministic in some way. 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpublic class GrammarNonDeterminismMessage extends Message { 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public DecisionProbe probe; 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public DFAState problemState; 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public GrammarNonDeterminismMessage(DecisionProbe probe, 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver DFAState problemState) 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver super(ErrorManager.MSG_GRAMMAR_NONDETERMINISM); 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.probe = probe; 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.problemState = problemState; 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // flip msg ID if alts are actually token refs in Tokens rule 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( probe.dfa.isTokensRuleDecision() ) { 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver setMessageID(ErrorManager.MSG_TOKEN_NONDETERMINISM); 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public String toString() { 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver GrammarAST decisionASTNode = probe.dfa.getDecisionASTNode(); 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver line = decisionASTNode.getLine(); 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver column = decisionASTNode.getCharPositionInLine(); 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String fileName = probe.dfa.nfa.grammar.getFileName(); 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( fileName!=null ) { 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver file = fileName; 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ST st = getMessageTemplate(); 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // Now fill template with information about problemState 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver List labels = probe.getSampleNonDeterministicInputSequence(problemState); 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String input = probe.getInputSequenceDisplay(labels); 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver st.add("input", input); 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( probe.dfa.isTokensRuleDecision() ) { 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Set disabledAlts = probe.getDisabledAlternatives(problemState); 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for (Iterator it = disabledAlts.iterator(); it.hasNext();) { 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Integer altI = (Integer) it.next(); 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String tokenName = 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver probe.getTokenNameForTokensRuleAlt(altI.intValue()); 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // reset the line/col to the token definition (pick last one) 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NFAState ruleStart = 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver probe.dfa.nfa.grammar.getRuleStartState(tokenName); 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver line = ruleStart.associatedASTNode.getLine(); 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver column = ruleStart.associatedASTNode.getCharPositionInLine(); 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver st.add("disabled", tokenName); 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver else { 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver st.add("disabled", probe.getDisabledAlternatives(problemState)); 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver List nondetAlts = probe.getNonDeterministicAltsForState(problemState); 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NFAState nfaStart = probe.dfa.getNFADecisionStartState(); 94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // all state paths have to begin with same NFA state 95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int firstAlt = 0; 96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( nondetAlts!=null ) { 97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for (Iterator iter = nondetAlts.iterator(); iter.hasNext();) { 98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Integer displayAltI = (Integer) iter.next(); 99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( DecisionProbe.verbose ) { 100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int tracePathAlt = 101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver nfaStart.translateDisplayAltToWalkAlt(displayAltI.intValue()); 102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( firstAlt == 0 ) { 103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver firstAlt = tracePathAlt; 104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver List path = 106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver probe.getNFAPathStatesForAlt(firstAlt, 107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver tracePathAlt, 108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver labels); 109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver st.addAggr("paths.{alt, states}", displayAltI, path); 110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 111324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver else { 112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( probe.dfa.isTokensRuleDecision() ) { 113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // alts are token rules, convert to the names instead of numbers 114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver String tokenName = 115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver probe.getTokenNameForTokensRuleAlt(displayAltI.intValue()); 116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver st.add("conflictingTokens", tokenName); 117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver else { 119324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver st.add("conflictingAlts", displayAltI); 120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver st.add("hasPredicateBlockedByAction", problemState.dfa.hasPredicateBlockedByAction); 125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return super.toString(st); 126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 129