org.jacaranda.verifier
Class JacarandaTree

java.lang.Object
  extended by org.antlr.runtime.tree.BaseTree
      extended by org.antlr.runtime.tree.CommonTree
          extended by org.jacaranda.verifier.JacarandaTree
All Implemented Interfaces:
org.antlr.runtime.tree.Tree

public class JacarandaTree
extends org.antlr.runtime.tree.CommonTree

An extension of CommonTree that holds attribute values specific to Jacaranda.


Field Summary
 
Fields inherited from class org.antlr.runtime.tree.CommonTree
childIndex, parent, startIndex, stopIndex, token
 
Fields inherited from class org.antlr.runtime.tree.BaseTree
children
 
Fields inherited from interface org.antlr.runtime.tree.Tree
INVALID_NODE
 
Constructor Summary
JacarandaTree(org.antlr.runtime.Token payload, Sets<java.lang.String> sets, int id)
           
 
Method Summary
 void addChild(JacarandaTree child, Sets<java.lang.String> sets, int howMuchTree)
          A convention is used to present attribution rules more concisely, by making computation of "boilerplate" values for attributes implicit: If a production has exactly one child node in the AST, then its boilerplate attribute values are given by the attributes of that child.
 void copyFrom(JacarandaTree o)
           
 void rulePostProcessing(Sets<java.lang.String> sets, int howMuchTree)
          If an AST with attributes is not needed as output, then after each child node is finished with, its non-empty set-valued attributes are replaced with a dummy Set object to reduce memory usage.
 void setType(int type)
           
 java.lang.String toStringTree()
           
 
Methods inherited from class org.antlr.runtime.tree.CommonTree
dupNode, getCharPositionInLine, getChildIndex, getLine, getParent, getText, getToken, getTokenStartIndex, getTokenStopIndex, getType, isNil, setChildIndex, setParent, setTokenStartIndex, setTokenStopIndex, setUnknownTokenBoundaries, toString
 
Methods inherited from class org.antlr.runtime.tree.BaseTree
addChild, addChildren, createChildrenList, deleteChild, freshenParentAndChildIndexes, freshenParentAndChildIndexes, getAncestor, getAncestors, getChild, getChildCount, getChildren, getFirstChildWithType, hasAncestor, replaceChildren, sanityCheckParentAndChildIndexes, sanityCheckParentAndChildIndexes, setChild
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
 

Constructor Detail

JacarandaTree

public JacarandaTree(org.antlr.runtime.Token payload,
                     Sets<java.lang.String> sets,
                     int id)
Method Detail

setType

public void setType(int type)

rulePostProcessing

public void rulePostProcessing(Sets<java.lang.String> sets,
                               int howMuchTree)
If an AST with attributes is not needed as output, then after each child node is finished with, its non-empty set-valued attributes are replaced with a dummy Set object to reduce memory usage.


addChild

public void addChild(JacarandaTree child,
                     Sets<java.lang.String> sets,
                     int howMuchTree)
A convention is used to present attribution rules more concisely, by making computation of "boilerplate" values for attributes implicit:


copyFrom

public void copyFrom(JacarandaTree o)

toStringTree

public java.lang.String toStringTree()
Specified by:
toStringTree in interface org.antlr.runtime.tree.Tree
Overrides:
toStringTree in class org.antlr.runtime.tree.BaseTree