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.stringtemplate.v4.ST;
33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport java.util.ArrayList;
35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport java.util.Collections;
36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverimport java.util.List;
37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/** Reports a potential parsing issue with a decision; the decision is
39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver *  nondeterministic in some way.
40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */
41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpublic class GrammarDanglingStateMessage extends Message {
42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	public DecisionProbe probe;
43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	public DFAState problemState;
44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	public GrammarDanglingStateMessage(DecisionProbe probe,
46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver									   DFAState problemState)
47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	{
48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		super(ErrorManager.MSG_DANGLING_STATE);
49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		this.probe = probe;
50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		this.problemState = problemState;
51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	}
52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	public String toString() {
54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		GrammarAST decisionASTNode = probe.dfa.getDecisionASTNode();
55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		line = decisionASTNode.getLine();
56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		column = decisionASTNode.getCharPositionInLine();
57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		String fileName = probe.dfa.nfa.grammar.getFileName();
58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		if ( fileName!=null ) {
59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			file = fileName;
60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		}
61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		List labels = probe.getSampleNonDeterministicInputSequence(problemState);
62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		String input = probe.getInputSequenceDisplay(labels);
63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		ST st = getMessageTemplate();
64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		List alts = new ArrayList();
65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		alts.addAll(problemState.getAltSet());
66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		Collections.sort(alts);
67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		st.add("danglingAlts", alts);
68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		st.add("input", input);
69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		return super.toString(st);
71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	}
72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}
74