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.Tree { 34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver using InvalidOperationException = System.InvalidOperationException; 35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public class TreePatternParser { 37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected TreePatternLexer tokenizer; 38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected int ttype; 39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected TreeWizard wizard; 40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver protected ITreeAdaptor adaptor; 41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public TreePatternParser(TreePatternLexer tokenizer, TreeWizard wizard, ITreeAdaptor adaptor) { 43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.tokenizer = tokenizer; 44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.wizard = wizard; 45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver this.adaptor = adaptor; 46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); // kickstart 47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public virtual object Pattern() { 50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype == TreePatternLexer.BEGIN) { 51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return ParseTree(); 52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } else if (ttype == TreePatternLexer.ID) { 53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver object node = ParseNode(); 54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype == TreePatternLexer.EOF) { 55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return node; 56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return null; // extra junk on end 58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return null; 60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public virtual object ParseTree() { 63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype != TreePatternLexer.BEGIN) 64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver throw new InvalidOperationException("No beginning."); 65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); 67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver object root = ParseNode(); 68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (root == null) { 69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return null; 70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver while (ttype == TreePatternLexer.BEGIN || 72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype == TreePatternLexer.ID || 73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype == TreePatternLexer.PERCENT || 74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype == TreePatternLexer.DOT) { 75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype == TreePatternLexer.BEGIN) { 76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver object subtree = ParseTree(); 77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver adaptor.AddChild(root, subtree); 78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } else { 79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver object child = ParseNode(); 80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (child == null) { 81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return null; 82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver adaptor.AddChild(root, child); 84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype != TreePatternLexer.END) 88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver throw new InvalidOperationException("No end."); 89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); 91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return root; 92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver public virtual object ParseNode() { 95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // "%label:" prefix 96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver string label = null; 97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype == TreePatternLexer.PERCENT) { 98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); 99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype != TreePatternLexer.ID) { 100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return null; 101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver label = tokenizer.sval.ToString(); 103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); 104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype != TreePatternLexer.COLON) { 105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return null; 106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); // move to ID following colon 108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // Wildcard? 111324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype == TreePatternLexer.DOT) { 112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); 113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver IToken wildcardPayload = new CommonToken(0, "."); 114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver TreeWizard.TreePattern node = 115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver new TreeWizard.WildcardTreePattern(wildcardPayload); 116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (label != null) { 117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver node.label = label; 118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 119324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return node; 120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // "ID" or "ID[arg]" 123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype != TreePatternLexer.ID) { 124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return null; 125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver string tokenName = tokenizer.sval.ToString(); 127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); 128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (tokenName.Equals("nil")) { 129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return adaptor.Nil(); 130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 131324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver string text = tokenName; 132324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // check for arg 133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver string arg = null; 134324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (ttype == TreePatternLexer.ARG) { 135324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver arg = tokenizer.sval.ToString(); 136324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver text = arg; 137324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ttype = tokenizer.NextToken(); 138324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 139324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 140324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver // create node 141324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver int treeNodeType = wizard.GetTokenType(tokenName); 142324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (treeNodeType == TokenTypes.Invalid) { 143324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return null; 144324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 145324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver object node2; 146324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver node2 = adaptor.Create(treeNodeType, text); 147324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (label != null && node2.GetType() == typeof(TreeWizard.TreePattern)) { 148324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ((TreeWizard.TreePattern)node2).label = label; 149324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 150324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver if (arg != null && node2.GetType() == typeof(TreeWizard.TreePattern)) { 151324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver ((TreeWizard.TreePattern)node2).hasTextArg = true; 152324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 153324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver return node2; 154324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 155324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver } 156324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver} 157