- private final Input.Region location;
- private final NodeType head;
- private final Tree<NodeType>[] children;
- private final boolean lift;
-
- /** the element at the head of the tree */
- public NodeType head() { return head; }
-
- private Tree<NodeType> lifted() { return children[children.length-1]; }
+ private final Input.Region location;
+ private final NodeType ihead;
+ private final Tree<NodeType>[] children;