TreeNodeStream.js revision 324c4644fee44b9898524c09511bd33c3f12e2df 
1/** A stream of tree nodes, accessing nodes from a tree of some kind */
2org.antlr.runtime.tree.TreeNodeStream = function() {};
3
4org.antlr.lang.extend(org.antlr.runtime.tree.TreeNodeStream,
5                      org.antlr.runtime.IntStream);
6
7