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 "ANTLRTreeParser.h" 28 29 @implementation ANTLRTreeParser 30 31 @synthesize input; 32 33 + (id) newANTLRTreeParser:(id<ANTLRTreeNodeStream>)anInput 34 { 35 return [[ANTLRTreeParser alloc] initWithStream:anInput]; 36 } 37 38 + (id) newANTLRTreeParser:(id<ANTLRTreeNodeStream>)anInput State:(ANTLRRecognizerSharedState *)theState 39 { 40 return [[ANTLRTreeParser alloc] initWithStream:anInput State:theState]; 41 } 42 43 - (id) initWithStream:(id<ANTLRTreeNodeStream>)theInput 44 { 45 if ((self = [super init]) != nil) { 46 [self setInput:theInput]; 47 } 48 return self; 49 } 50 51 - (id) initWithStream:(id<ANTLRTreeNodeStream>)theInput State:(ANTLRRecognizerSharedState *)theState 52 { 53 if ((self = [super init]) != nil) { 54 [self setInput:theInput]; 55 state = theState; 56 } 57 return self; 58 } 59 60 - (void) dealloc 61 { 62 #ifdef DEBUG_DEALLOC 63 NSLog( @"called dealloc in ANTLRTreeParser" ); 64 #endif 65 if ( input ) [input release]; 66 [super dealloc]; 67 } 68 69 - (void) reset 70 { 71 [super reset]; // reset all recognizer state variables 72 if ( input != nil ) { 73 [input seek:0]; // rewind the input 74 } 75 } 76 77 - (void) mismatch:(id<ANTLRIntStream>)aStream tokenType:(ANTLRTokenType)aTType follow:(ANTLRBitSet *)aBitset 78 { 79 ANTLRMismatchedTreeNodeException *mte = [ANTLRMismatchedTreeNodeException newException:aTType Stream:aStream]; 80 [mte setNode:[((id<ANTLRTreeNodeStream>)aStream) LT:1]]; 81 [self recoverFromMismatchedToken:aStream Type:aTType Follow:aBitset]; 82 } 83 84 - (void) setTreeNodeStream:(id<ANTLRTreeNodeStream>) anInput 85 { 86 input = anInput; 87 } 88 89 - (id<ANTLRTreeNodeStream>) getTreeNodeStream 90 { 91 return input; 92 } 93 94 - (NSString *)getSourceName 95 { 96 return [input getSourceName]; 97 } 98 99 - (id) getCurrentInputSymbol:(id<ANTLRIntStream>) anInput 100 { 101 return [(id<ANTLRTreeNodeStream>)anInput LT:1]; 102 } 103 104 - (id) getMissingSymbol:(id<ANTLRIntStream>)anInput 105 Exception:(ANTLRRecognitionException *)e 106 ExpectedToken:(NSInteger)expectedTokenType 107 BitSet:(ANTLRBitSet *)follow 108 { 109 NSString *tokenText =[NSString stringWithFormat:@"<missing %@ %d>", [self getTokenNames], expectedTokenType]; 110 //id<ANTLRTreeAdaptor> anAdaptor = (id<ANTLRTreeAdaptor>)[((id<ANTLRTreeNodeStream>)e.input) getTreeAdaptor]; 111 //return [anAdaptor createToken:expectedTokenType Text:tokenText]; 112 return [ANTLRCommonToken newToken:expectedTokenType Text:tokenText]; 113 } 114 115 /** Match '.' in tree parser has special meaning. Skip node or 116 * entire tree if node has children. If children, scan until 117 * corresponding UP node. 118 */ 119 - (void) matchAny:(id<ANTLRIntStream>)ignore 120 { // ignore stream, copy of input 121 state.errorRecovery = NO; 122 state.failed = NO; 123 id look = [input LT:1]; 124 if ( [((ANTLRCommonTreeAdaptor *)[input getTreeAdaptor]) getChildCount:look] == 0) { 125 [input consume]; // not subtree, consume 1 node and return 126 return; 127 } 128 // current node is a subtree, skip to corresponding UP. 129 // must count nesting level to get right UP 130 int level=0; 131 int tokenType = [((id<ANTLRTreeAdaptor>)[input getTreeAdaptor]) getType:look]; 132 while ( tokenType != ANTLRTokenTypeEOF && !( tokenType == ANTLRTokenTypeUP && level == 0) ) { 133 [input consume]; 134 look = [input LT:1]; 135 tokenType = [((id<ANTLRTreeAdaptor>)[input getTreeAdaptor]) getType:look]; 136 if ( tokenType == ANTLRTokenTypeDOWN ) { 137 level++; 138 } 139 else if ( tokenType == ANTLRTokenTypeUP ) { 140 level--; 141 } 142 } 143 [input consume]; // consume UP 144 } 145 146 /** We have DOWN/UP nodes in the stream that have no line info; override. 147 * plus we want to alter the exception type. Don't try to recover 148 * from tree parser errors inline... 149 */ 150 - (id) recoverFromMismatchedToken:(id<ANTLRIntStream>)anInput Type:(NSInteger)ttype Follow:(ANTLRBitSet *)follow 151 { 152 @throw [ANTLRMismatchedTreeNodeException newException:ttype Stream:anInput]; 153 } 154 155 /** Prefix error message with the grammar name because message is 156 * always intended for the programmer because the parser built 157 * the input tree not the user. 158 */ 159 - (NSString *)getErrorHeader:(ANTLRRecognitionException *)e 160 { 161 return [NSString stringWithFormat:@"%@: node after line %@:%@", 162 [self getGrammarFileName], e.line, e.charPositionInLine]; 163 } 164 165 /** Tree parsers parse nodes they usually have a token object as 166 * payload. Set the exception token and do the default behavior. 167 */ 168 - (NSString *)getErrorMessage:(ANTLRRecognitionException *)e TokenNames:(AMutableArray *) theTokNams 169 { 170 if ( [self isKindOfClass:[ANTLRTreeParser class]] ) { 171 ANTLRCommonTreeAdaptor *adaptor = (ANTLRCommonTreeAdaptor *)[((id<ANTLRTreeNodeStream>)e.input) getTreeAdaptor]; 172 e.token = [adaptor getToken:((id<ANTLRBaseTree>)e.node)]; 173 if ( e.token == nil ) { // could be an UP/DOWN node 174 e.token = [ANTLRCommonToken newToken:[adaptor getType:e.node] 175 Text:[adaptor getText:e.node]]; 176 } 177 } 178 return [super getErrorMessage:e TokenNames:theTokNams]; 179 } 180 181 - (void) traceIn:(NSString *)ruleName Index:(NSInteger)ruleIndex 182 { 183 [super traceIn:ruleName Index:ruleIndex Object:[input LT:1]]; 184 } 185 186 - (void) traceOut:(NSString *)ruleName Index:(NSInteger)ruleIndex 187 { 188 [super traceOut:ruleName Index:ruleIndex Object:[input LT:1]]; 189 } 190 191 192 @end 193