1324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/*
2324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver [The "BSD licence"]
3324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Copyright (c) 2005-2006 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.runtime {
29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	import org.antlr.runtime.tree.Tree;
30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	import org.antlr.runtime.tree.TreeNodeStream;
31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	import org.antlr.runtime.tree.TreeAdaptor;
32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	import org.antlr.runtime.tree.CommonTree;
33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	/** The root of the ANTLR exception hierarchy.
34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *
35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  To avoid English-only error messages and to generally make things
36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  as flexible as possible, these exceptions are not created with strings,
37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  but rather the information necessary to generate an error.  Then
38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  the various reporting methods in Parser and Lexer can be overridden
39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  to generate a localized error message.  For example, MismatchedToken
40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  exceptions are built with the expected token type.
41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  So, don't expect getMessage() to return anything.
42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *
43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  Note that as of Java 1.4, you can access the stack trace, which means
44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  that you can compute the complete trace of rules from the start symbol.
45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  This gives you considerable context information with which to generate
46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  useful error messages.
47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *
48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  ANTLR generates code that throws exceptions upon recognition error and
49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  also generates code to catch these exceptions in each rule.  If you
50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  want to quit upon first error, you can turn off the automatic error
51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  handling mechanism using rulecatch action, but you still need to
52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  override methods mismatch and recoverFromMismatchSet.
53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *
54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  In general, the recognition exceptions can track where in a grammar a
55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  problem occurred and/or what was the expected input.  While the parser
56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  knows its state (such as current input symbol and line info) that
57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  state can change before the exception is reported so current token index
58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  is computed and stored at exception time.  From this info, you can
59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  perhaps print an entire line of input not just a single token, for example.
60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  Better to just say the recognizer had a problem and then let the parser
61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 *  figure out a fancy report.
62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	 */
63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	public class RecognitionException extends Error {
64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		/** What input stream did the error occur in? */
65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public var input:IntStream;
66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		/** What is index of token/char were we looking at when the error occurred? */
68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public var index:int;
69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		/** The current Token when an error occurred.  Since not all streams
71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 *  can retrieve the ith Token, we have to track the Token object.
72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 *  For parsers.  Even when it's a tree parser, token might be set.
73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 */
74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public var token:Token;
75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		/** If this is a tree parser exception, node is set to the node with
77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 *  the problem.
78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 */
79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public var node:Object;
80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		/** The current char when an error occurred. For lexers. */
82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public var c:int;
83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		/** Track the line at which the error occurred in case this is
85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 *  generated from a lexer.  We need to track this since the
86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 *  unexpected char doesn't carry the line info.
87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 */
88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public var line:int;
89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public var charPositionInLine:int;
91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		/** If you are parsing a tree node stream, you will encounter som
93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 *  imaginary nodes w/o line/col info.  We now search backwards looking
94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 *  for most recent token with line/col info, but notify getErrorHeader()
95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 *  that info is approximate.
96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		 */
97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public var approximateLineInfo:Boolean;
98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public function RecognitionException(input:IntStream = null) {
100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			if (input == null) {
101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				return;
102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			this.input = input;
104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			this.index = input.index;
105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			if ( input is TokenStream ) {
106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.token = TokenStream(input).LT(1);
107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.line = token.line;
108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.charPositionInLine = token.charPositionInLine;
109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			if ( input is TreeNodeStream ) {
111324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				extractInformationFromTreeNodeStream(input);
112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			else if ( input is CharStream ) {
114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.c = input.LA(1);
115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.line = CharStream(input).line;
116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.charPositionInLine = CharStream(input).charPositionInLine;
117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			else {
119324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.c = input.LA(1);
120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		}
122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		protected function extractInformationFromTreeNodeStream(input:IntStream):void {
124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			var nodes:TreeNodeStream = TreeNodeStream(input);
125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			this.node = nodes.LT(1);
126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			var adaptor:TreeAdaptor = nodes.treeAdaptor;
127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			var payload:Token = adaptor.getToken(node);
128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			if ( payload!=null ) {
129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.token = payload;
130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				if ( payload.line<= 0 ) {
131324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver					// imaginary node; no line/pos info; scan backwards
132324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver					var i:int = -1;
133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver					var priorNode:Object = nodes.LT(i);
134324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver					while ( priorNode!=null ) {
135324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver						var priorPayload:Token = adaptor.getToken(priorNode);
136324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver						if ( priorPayload!=null && priorPayload.line > 0 ) {
137324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver							// we found the most recent real line / pos info
138324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver							this.line = priorPayload.line;
139324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver							this.charPositionInLine = priorPayload.charPositionInLine;
140324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver							this.approximateLineInfo = true;
141324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver							break;
142324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver						}
143324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver						--i;
144324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver						priorNode = nodes.LT(i);
145324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver					}
146324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				}
147324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				else { // node created from real token
148324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver					this.line = payload.line;
149324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver					this.charPositionInLine = payload.charPositionInLine;
150324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				}
151324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
152324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			else if ( this.node is Tree) {
153324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.line = this.node.line;
154324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.charPositionInLine = this.node.charPositionInLine;
155324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				if ( this.node is CommonTree) {
156324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver					this.token = this.node.token;
157324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				}
158324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
159324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			else {
160324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				var type:int = adaptor.getType(this.node);
161324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				var text:String = adaptor.getText(this.node);
162324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				this.token = new CommonToken(type, text);
163324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
164324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		}
165324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
166324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		/** Return the token type or char of the unexpected input element */
167324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		public function get unexpectedType():int {
168324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			if ( input is TokenStream ) {
169324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				return token.type;
170324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
171324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			else if ( input is TreeNodeStream ) {
172324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				var nodes:TreeNodeStream = TreeNodeStream(input);
173324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				var adaptor:TreeAdaptor = nodes.treeAdaptor;
174324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				return adaptor.getType(node);
175324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
176324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			else {
177324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver				return c;
178324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver			}
179324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
180324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver		}
181324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver	}
182324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
183324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}