/* * [The "BSD licence"] * Copyright (c) 2005-2008 Terence Parr * All rights reserved. * * Conversion to C#: * Copyright (c) 2008-2009 Sam Harwell, Pixel Mine, Inc. * All rights reserved. * * Redistribution and use in source and binary forms, with or without * modification, are permitted provided that the following conditions * are met: * 1. Redistributions of source code must retain the above copyright * notice, this list of conditions and the following disclaimer. * 2. Redistributions in binary form must reproduce the above copyright * notice, this list of conditions and the following disclaimer in the * documentation and/or other materials provided with the distribution. * 3. The name of the author may not be used to endorse or promote products * derived from this software without specific prior written permission. * * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. */ namespace Antlr.Runtime { using System.Collections.Generic; using CLSCompliant = System.CLSCompliantAttribute; using ArgumentNullException = System.ArgumentNullException; /** * The set of fields needed by an abstract recognizer to recognize input * and recover from errors etc... As a separate state object, it can be * shared among multiple grammars; e.g., when one grammar imports another. * * * * These fields are publically visible but the actual state pointer per * parser is protected. * */ public class RecognizerSharedState { /** * Track the set of token types that can follow any rule invocation. * Stack grows upwards. When it hits the max, it grows 2x in size * and keeps going. * */ //public List following; public BitSet[] following; [CLSCompliant( false )] public int _fsp; /** * This is true when we see an error and before having successfully * matched a token. Prevents generation of more than one error message * per error. * */ public bool errorRecovery; /** * The index into the input stream where the last error occurred. * This is used to prevent infinite loops where an error is found * but no token is consumed during recovery...another error is found, * ad naseum. This is a failsafe mechanism to guarantee that at least * one token/tree node is consumed for two errors. * */ public int lastErrorIndex; /** * In lieu of a return value, this indicates that a rule or token * has failed to match. Reset to false upon valid token match. * */ public bool failed; /** Did the recognizer encounter a syntax error? Track how many. */ public int syntaxErrors; /** * If 0, no backtracking is going on. Safe to exec actions etc... * If >0 then it's the level of backtracking. * */ public int backtracking; /** * An array[size num rules] of Map that tracks * the stop token index for each rule. ruleMemo[ruleIndex] is * the memoization table for ruleIndex. For key ruleStartIndex, you * get back the stop token for associated rule or MEMO_RULE_FAILED. * * * This is only used if rule memoization is on (which it is by default). */ public IDictionary[] ruleMemo; // LEXER FIELDS (must be in same state object to avoid casting // constantly in generated code and Lexer object) :( /** * The goal of all lexer rules/methods is to create a token object. * This is an instance variable as multiple rules may collaborate to * create a single token. nextToken will return this object after * matching lexer rule(s). If you subclass to allow multiple token * emissions, then set this to the last token to be matched or * something nonnull so that the auto token emit mechanism will not * emit another token. * */ public IToken token; /** * What character index in the stream did the current token start at? * Needed, for example, to get the text for current token. Set at * the start of nextToken. * */ public int tokenStartCharIndex; /** The line on which the first character of the token resides */ public int tokenStartLine; /** The character position of first character within the line */ public int tokenStartCharPositionInLine; /** The channel number for the current token */ public int channel; /** The token type for the current token */ public int type; /** * You can set the text for the current token to override what is in * the input char buffer. Use setText() or can set this instance var. * */ public string text; public RecognizerSharedState() { //following = new List( BaseRecognizer.InitialFollowStackSize ); following = new BitSet[BaseRecognizer.InitialFollowStackSize]; _fsp = -1; lastErrorIndex = -1; tokenStartCharIndex = -1; } public RecognizerSharedState( RecognizerSharedState state ) { if (state == null) throw new ArgumentNullException("state"); following = (BitSet[])state.following.Clone(); _fsp = state._fsp; errorRecovery = state.errorRecovery; lastErrorIndex = state.lastErrorIndex; failed = state.failed; syntaxErrors = state.syntaxErrors; backtracking = state.backtracking; if ( state.ruleMemo != null ) ruleMemo = (IDictionary[])state.ruleMemo.Clone(); token = state.token; tokenStartCharIndex = state.tokenStartCharIndex; tokenStartCharPositionInLine = state.tokenStartCharPositionInLine; channel = state.channel; type = state.type; text = state.text; } } }