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