1324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/* 2324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * [The "BSD licence"] 3324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Copyright (c) 2005-2008 Terence Parr 4324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * All rights reserved. 5324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 6324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Conversion to C#: 7324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Copyright (c) 2008-2009 Sam Harwell, Pixel Mine, Inc. 8324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * All rights reserved. 9324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 10324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Redistribution and use in source and binary forms, with or without 11324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * modification, are permitted provided that the following conditions 12324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * are met: 13324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 1. Redistributions of source code must retain the above copyright 14324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * notice, this list of conditions and the following disclaimer. 15324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 2. Redistributions in binary form must reproduce the above copyright 16324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * notice, this list of conditions and the following disclaimer in the 17324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * documentation and/or other materials provided with the distribution. 18324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 3. The name of the author may not be used to endorse or promote products 19324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * derived from this software without specific prior written permission. 20324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 21324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 22324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 23324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 24324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 25324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 26324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 27324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 28324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruvernamespace Antlr.Runtime 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver{ 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver using ConditionalAttribute = System.Diagnostics.ConditionalAttribute; 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver using Console = System.Console; 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver using IDebugEventListener = Antlr.Runtime.Debug.IDebugEventListener; 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public delegate int SpecialStateTransitionHandler( DFA dfa, int s, IIntStream input ); 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver /** <summary>A DFA implemented as a set of transition tables.</summary> 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * <remarks> 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Any state that has a semantic predicate edge is special; those states 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * are generated with if-then-else structures in a specialStateTransition() 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * which is generated by cyclicDFA template. 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * There are at most 32767 states (16-bit signed short). 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Could get away with byte sometimes but would have to generate different 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * types and the simulation code too. For a point of reference, the Java 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * lexer's Tokens rule DFA has 326 states roughly. 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * </remarks> 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public class DFA 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected short[] eot; 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected short[] eof; 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected char[] min; 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected char[] max; 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected short[] accept; 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected short[] special; 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected short[][] transition; 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected int decisionNumber; 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver /** <summary>Which recognizer encloses this DFA? Needed to check backtracking</summary> */ 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected BaseRecognizer recognizer; 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public readonly bool debug = false; 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public DFA() 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver : this( new SpecialStateTransitionHandler( SpecialStateTransitionDefault ) ) 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public DFA( SpecialStateTransitionHandler specialStateTransition ) 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.SpecialStateTransition = specialStateTransition ?? new SpecialStateTransitionHandler( SpecialStateTransitionDefault ); 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public virtual string Description 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver get 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return "n/a"; 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver /** <summary> 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * From the input stream, predict what alternative will succeed 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * using this DFA (representing the covering regular approximation 92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * to the underlying CFL). Return an alternative number 1..n. Throw 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * an exception upon error. 94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * </summary> 95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public virtual int Predict( IIntStream input ) 97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "Enter DFA.predict for decision " + decisionNumber ); 101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int mark = input.Mark(); // remember where decision started in input 103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int s = 0; // we always start at s0 104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver try 105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for ( ; ; ) 107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "DFA " + decisionNumber + " state " + s + " LA(1)=" + (char)input.LA( 1 ) + "(" + input.LA( 1 ) + 110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver "), index=" + input.Index ); 111324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int specialState = special[s]; 112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( specialState >= 0 ) 113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "DFA " + decisionNumber + 117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " state " + s + " is special state " + specialState ); 118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 119324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver s = SpecialStateTransition( this, specialState, input ); 120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "DFA " + decisionNumber + 123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver " returns from special state " + specialState + " to " + s ); 124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( s == -1 ) 126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NoViableAlt( s, input ); 128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return 0; 129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver input.Consume(); 131324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver continue; 132324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( accept[s] >= 1 ) 134324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 135324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 136324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "accept; predict " + accept[s] + " from state " + s ); 137324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return accept[s]; 138324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 139324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // look for a normal char transition 140324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver char c = (char)input.LA( 1 ); // -1 == \uFFFF, all tokens fit in 65000 space 141324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( c >= min[s] && c <= max[s] ) 142324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 143324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int snext = transition[s][c - min[s]]; // move to next state 144324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( snext < 0 ) 145324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 146324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // was in range but not a normal transition 147324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // must check EOT, which is like the else clause. 148324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // eot[s]>=0 indicates that an EOT edge goes to another 149324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // state. 150324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( eot[s] >= 0 ) 151324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { // EOT Transition to accept state? 152324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 153324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "EOT transition" ); 154324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver s = eot[s]; 155324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver input.Consume(); 156324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // TODO: I had this as return accept[eot[s]] 157324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // which assumed here that the EOT edge always 158324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // went to an accept...faster to do this, but 159324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // what about predicated edges coming from EOT 160324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // target? 161324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver continue; 162324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 163324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NoViableAlt( s, input ); 164324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return 0; 165324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 166324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver s = snext; 167324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver input.Consume(); 168324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver continue; 169324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 170324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( eot[s] >= 0 ) 171324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { // EOT Transition? 172324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 173324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "EOT transition" ); 174324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver s = eot[s]; 175324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver input.Consume(); 176324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver continue; 177324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 178324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( c == unchecked( (char)TokenTypes.EndOfFile ) && eof[s] >= 0 ) 179324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { // EOF Transition to accept state? 180324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 181324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "accept via EOF; predict " + accept[eof[s]] + " from " + eof[s] ); 182324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return accept[eof[s]]; 183324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 184324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // not in range and not EOF/EOT, must be invalid symbol 185324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( debug ) 186324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 187324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "min[" + s + "]=" + min[s] ); 188324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "max[" + s + "]=" + max[s] ); 189324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "eot[" + s + "]=" + eot[s] ); 190324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine( "eof[" + s + "]=" + eof[s] ); 191324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for ( int p = 0; p < transition[s].Length; p++ ) 192324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 193324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.Write( transition[s][p] + " " ); 194324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 195324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Console.Error.WriteLine(); 196324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 197324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NoViableAlt( s, input ); 198324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return 0; 199324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 200324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 201324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver finally 202324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 203324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver input.Rewind( mark ); 204324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 205324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 206324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 207324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected virtual void NoViableAlt( int s, IIntStream input ) 208324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 209324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if ( recognizer.state.backtracking > 0 ) 210324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 211324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver recognizer.state.failed = true; 212324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return; 213324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 214324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NoViableAltException nvae = 215324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver new NoViableAltException( Description, 216324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver decisionNumber, 217324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver s, 218324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver input ); 219324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Error( nvae ); 220324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver throw nvae; 221324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 222324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 223324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver /** <summary>A hook for debugging interface</summary> */ 224324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public virtual void Error( NoViableAltException nvae ) 225324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 226324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 227324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 228324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public SpecialStateTransitionHandler SpecialStateTransition 229324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 230324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver get; 231324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver private set; 232324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 233324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver //public virtual int specialStateTransition( int s, IntStream input ) 234324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver //{ 235324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // return -1; 236324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver //} 237324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 238324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver static int SpecialStateTransitionDefault( DFA dfa, int s, IIntStream input ) 239324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 240324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return -1; 241324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 242324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 243324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver /** <summary> 244324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * Given a String that has a run-length-encoding of some unsigned shorts 245324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * like "\1\2\3\9", convert to short[] {2,9,9,9}. We do this to avoid 246324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * static short[] which generates so much init code that the class won't 247324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * compile. :( 248324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver * </summary> 249324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver */ 250324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public static short[] UnpackEncodedString( string encodedString ) 251324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 252324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // walk first to find how big it is. 253324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int size = 0; 254324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for ( int i = 0; i < encodedString.Length; i += 2 ) 255324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 256324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver size += encodedString[i]; 257324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 258324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver short[] data = new short[size]; 259324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int di = 0; 260324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for ( int i = 0; i < encodedString.Length; i += 2 ) 261324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 262324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver char n = encodedString[i]; 263324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver char v = encodedString[i + 1]; 264324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // add v n times to data 265324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for ( int j = 1; j <= n; j++ ) 266324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 267324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver data[di++] = (short)v; 268324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 269324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 270324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return data; 271324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 272324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 273324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver /** <summary>Hideous duplication of code, but I need different typed arrays out :(</summary> */ 274324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public static char[] UnpackEncodedStringToUnsignedChars( string encodedString ) 275324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 276324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // walk first to find how big it is. 277324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int size = 0; 278324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for ( int i = 0; i < encodedString.Length; i += 2 ) 279324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 280324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver size += encodedString[i]; 281324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 282324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver char[] data = new char[size]; 283324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int di = 0; 284324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for ( int i = 0; i < encodedString.Length; i += 2 ) 285324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 286324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver char n = encodedString[i]; 287324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver char v = encodedString[i + 1]; 288324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // add v n times to data 289324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver for ( int j = 1; j <= n; j++ ) 290324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 291324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver data[di++] = v; 292324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 293324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 294324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return data; 295324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 296324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 297324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver [Conditional("ANTLR_DEBUG")] 298324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected virtual void DebugRecognitionException(RecognitionException ex) 299324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver { 300324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver IDebugEventListener dbg = recognizer.DebugListener; 301324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (dbg != null) 302324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver dbg.RecognitionException(ex); 303324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 304324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 305324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 306