1 // [The "BSD licence"] 2 // Copyright (c) 2006-2007 Kay Roepke 2010 Alan Condit 3 // All rights reserved. 4 // 5 // Redistribution and use in source and binary forms, with or without 6 // modification, are permitted provided that the following conditions 7 // are met: 8 // 1. Redistributions of source code must retain the above copyright 9 // notice, this list of conditions and the following disclaimer. 10 // 2. Redistributions in binary form must reproduce the above copyright 11 // notice, this list of conditions and the following disclaimer in the 12 // documentation and/or other materials provided with the distribution. 13 // 3. The name of the author may not be used to endorse or promote products 14 // derived from this software without specific prior written permission. 15 // 16 // THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR 17 // IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES 18 // OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED. 19 // IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT, 20 // INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT 21 // NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, 22 // DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY 23 // THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT 24 // (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF 25 // THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. 26 27 #import <Cocoa/Cocoa.h> 28 #import "ANTLRBaseRecognizer.h" 29 #import "ANTLRCharStream.h" 30 #import "ANTLRNoViableAltException.h" 31 32 @interface ANTLRDFA : NSObject { 33 // the tables are set by subclasses to their own static versions. 34 const int *eot; 35 const int *eof; 36 const unichar *min; 37 const unichar *max; 38 const int *accept; 39 const int *special; 40 const int **transition; 41 42 ANTLRBaseRecognizer *recognizer; 43 NSInteger decisionNumber; 44 NSInteger len; 45 } 46 47 @property (retain, getter=getRecognizer,setter=setRecognizer:) ANTLRBaseRecognizer *recognizer; 48 @property (assign, getter=getDecision,setter=setDecision:) NSInteger decisionNumber; 49 @property (assign, getter=getLen,setter=setLen:) NSInteger len; 50 51 - (id) initWithRecognizer:(id) theRecognizer; 52 // simulate the DFA using the static tables and predict an alternative 53 - (NSInteger) predict:(id<ANTLRCharStream>)anInput; 54 - (void) noViableAlt:(NSInteger)state Stream:(id<ANTLRIntStream>)anInput; 55 56 - (NSInteger) specialStateTransition:(NSInteger)state Stream:(id<ANTLRIntStream>)anInput; 57 // - (NSInteger) specialStateTransition:(NSInteger) state; 58 //- (unichar) specialTransition:(unichar) state symbol:(NSInteger) symbol; 59 60 // hook for debugger support 61 - (void) error:(ANTLRNoViableAltException *)nvae; 62 63 - (NSString *) description; 64 - (BOOL) evaluateSyntacticPredicate:(SEL)synpredFragment; 65 66 + (void) setIsEmittingDebugInfo:(BOOL) shouldEmitDebugInfo; 67 68 - (NSInteger)getDecision; 69 - (void)setDecision:(NSInteger)aDecison; 70 71 - (ANTLRBaseRecognizer *)getRecognizer; 72 - (void)setRecognizer:(ANTLRBaseRecognizer *)aRecognizer; 73 - (NSInteger)length; 74 75 @end 76