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