1324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver/*
2324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver [The "BSD licence"]
3324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Copyright (c) 2005-2006 Terence Parr
4324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver All rights reserved.
5324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
6324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver Redistribution and use in source and binary forms, with or without
7324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver modification, are permitted provided that the following conditions
8324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver are met:
9324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 1. Redistributions of source code must retain the above copyright
10324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    notice, this list of conditions and the following disclaimer.
11324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 2. Redistributions in binary form must reproduce the above copyright
12324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    notice, this list of conditions and the following disclaimer in the
13324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    documentation and/or other materials provided with the distribution.
14324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver 3. The name of the author may not be used to endorse or promote products
15324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    derived from this software without specific prior written permission.
16324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
17324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THIS SOFTWARE IS PROVIDED BY THE AUTHOR ``AS IS'' AND ANY EXPRESS OR
18324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES
19324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
20324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver IN NO EVENT SHALL THE AUTHOR BE LIABLE FOR ANY DIRECT, INDIRECT,
21324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT
22324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF
26324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver*/
28324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruverpackage org.antlr.runtime.tree {
29324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
30324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    /** A generic list of elements tracked in an alternative to be used in
31324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *  a -> rewrite rule.  We need to subclass to fill in the next() method,
32324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *  which returns either an AST node wrapped around a token payload or
33324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *  an existing subtree.
34324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *
35324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *  Once you start next()ing, do not try to add more elements.  It will
36324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *  break the cursor tracking I believe.
37324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *
38324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *  @see org.antlr.runtime.tree.RewriteRuleSubtreeStream
39324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *  @see org.antlr.runtime.tree.RewriteRuleTokenStream
40324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *
41324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     *  TODO: add mechanism to detect/puke on modification after reading from stream
42324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver     */
43324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    public class RewriteRuleElementStream {
44324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** Cursor 0..n-1.  If singleElement!=null, cursor is 0 until you next(),
45324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  which bumps it to 1 meaning no more elements.
46324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 */
47324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected var cursor:int = 0;
48324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
49324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** Track single elements w/o creating a list.  Upon 2nd add, alloc list */
50324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected var singleElement:Object;
51324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
52324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** The list of tokens or subtrees we are tracking */
53324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected var elements:Array;
54324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
55324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** Once a node / subtree has been used in a stream, it must be dup'd
56324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  from then on.  Streams are reset after subrules so that the streams
57324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  can be reused in future subrules.  So, reset must set a dirty bit.
58324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  If dirty, then next() always returns a dup.
59324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *
60324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  I wanted to use "naughty bit" here, but couldn't think of a way
61324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  to use "naughty".
62324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 */
63324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected var dirty:Boolean = false;
64324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
65324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** The element or stream description; usually has name of the token or
66324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  rule reference that this list tracks.  Can include rulename too, but
67324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  the exception would track that info.
68324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 */
69324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected var elementDescription:String;
70324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected var adaptor:TreeAdaptor;
71324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
72324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	public function RewriteRuleElementStream(adaptor:TreeAdaptor, elementDescription:String, element:Object = null) {
73324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		this.elementDescription = elementDescription;
74324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		this.adaptor = adaptor;
75324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if (element != null) {
76324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		    if (element is Array) {
77324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		        /** Create a stream, but feed off an existing list */
78324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		        this.elements = element as Array;
79324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		    }
80324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		    else {
81324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		        /** Create a stream with one element */
82324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		        add(element);
83324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		    }
84324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
85324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
86324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
87324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** Reset the condition of this stream so that it appears we have
88324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  not consumed any of its elements.  Elements themselves are untouched.
89324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  Once we reset the stream, any future use will need duplicates.  Set
90324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  the dirty bit.
91324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 */
92324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	public function reset():void {
93324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		cursor = 0;
94324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		dirty = true;
95324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
96324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
97324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	public function add(el:Object):void {
98324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		//System.out.println("add '"+elementDescription+"' is "+el);
99324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( el==null ) {
100324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			return;
101324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
102324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( elements!=null ) { // if in list, just add
103324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			elements.push(el);
104324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			return;
105324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
106324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( singleElement == null ) { // no elements yet, track w/o list
107324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			singleElement = el;
108324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			return;
109324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
110324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		// adding 2nd element, move to list
111324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		elements = new Array();
112324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		elements.push(singleElement);
113324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		singleElement = null;
114324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		elements.push(el);
115324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
116324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
117324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** Return the next element in the stream.  If out of elements, throw
118324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  an exception unless size()==1.  If size is 1, then return elements[0].
119324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  Return a duplicate node/subtree if stream is out of elements and
120324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  size==1.  If we've already used the element, dup (dirty bit set).
121324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 */
122324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	public function nextTree():Object {
123324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		var n:int = size;
124324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		var el:Object;
125324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( dirty || (cursor>=n && n==1) ) {
126324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			// if out of elements and size is 1, dup
127324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			el = _next();
128324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			return dup(el);
129324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
130324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		// test size above then fetch
131324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		el = _next();
132324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		return el;
133324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
134324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
135324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** do the work of getting the next element, making sure that it's
136324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  a tree node or subtree.  Deal with the optimization of single-
137324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  element list versus list of size > 1.  Throw an exception
138324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  if the stream is empty or we're out of elements and size>1.
139324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  protected so you can override in a subclass if necessary.
140324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 */
141324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected function _next():Object {
142324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		var n:int = size;
143324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( n ==0 ) {
144324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			throw new RewriteEmptyStreamException(elementDescription);
145324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
146324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( cursor>= n) { // out of elements?
147324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			if ( n ==1 ) {  // if size is 1, it's ok; return and we'll dup
148324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    				return toTree(singleElement);
149324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			}
150324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			// out of elements and size was not 1, so we can't dup
151324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			throw new RewriteCardinalityException(elementDescription);
152324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
153324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		// we have elements
154324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( singleElement!=null ) {
155324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			cursor++; // move cursor even for single element list
156324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			return toTree(singleElement);
157324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
158324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		// must have more than one in list, pull from elements
159324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		var o:Object = toTree(elements[cursor]);
160324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		cursor++;
161324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		return o;
162324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
163324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
164324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** When constructing trees, sometimes we need to dup a token or AST
165324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 * 	subtree.  Dup'ing a token means just creating another AST node
166324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  around it.  For trees, you must call the adaptor.dupTree() unless
167324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  the element is for a tree root; then it must be a node dup.
168324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 */
169324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected function dup(el:Object):Object {
170324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	    throw new Error("Not implemented");  // should be abstract
171324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
172324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
173324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	/** Ensure stream emits trees; tokens must be converted to AST nodes.
174324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 *  AST nodes can be passed through unmolested.
175324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	 */
176324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	protected function toTree(el:Object):Object {
177324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		return el;
178324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
179324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
180324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	public function get hasNext():Boolean {
181324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		 return (singleElement != null && cursor < 1) ||
182324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			   (elements!=null && cursor < elements.length);
183324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
184324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
185324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	public function get size():int {
186324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		var n:int = 0;
187324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( singleElement != null ) {
188324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			n = 1;
189324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
190324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		if ( elements!=null ) {
191324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    			return elements.length;
192324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		}
193324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		return n;
194324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
195324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver
196324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	public function get description():String {
197324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    		return elementDescription;
198324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    	}
199324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver    }
200324c4644fee44b9898524c09511bd33c3f12e2dfBen Gruver}