X-Git-Url: http://git.megacz.com/?p=sbp.git;a=blobdiff_plain;f=src%2Fedu%2Fberkeley%2Fsbp%2FTree.java;h=cce7bfe6a405dadb0b7aa3e2c8f19d803ea73820;hp=102817cc073505b48a370061fa333611d8e9e277;hb=e086905f34b249ca1ae83c000859f2c603919a6b;hpb=6a2ea790f843e058c7e67d3c7d1deebadcfe1fd5 diff --git a/src/edu/berkeley/sbp/Tree.java b/src/edu/berkeley/sbp/Tree.java index 102817c..cce7bfe 100644 --- a/src/edu/berkeley/sbp/Tree.java +++ b/src/edu/berkeley/sbp/Tree.java @@ -1,42 +1,103 @@ +// Copyright 2006-2007 all rights reserved; see LICENSE file for BSD-style license + package edu.berkeley.sbp; import edu.berkeley.sbp.*; -import edu.berkeley.sbp.*; import edu.berkeley.sbp.util.*; import java.io.*; import java.util.*; import java.lang.reflect.*; -/** a tree (or node in a tree); see jargon.txt for details */ -public class Tree extends PrintableTree> implements Iterable> { +/** a tree (or node in a tree); see jargon.txt for details */ +public class Tree + extends PrintableTree> + implements Iterable> { + + private static final Tree[] emptyTree = new Tree[0]; + + private final Input.Region location; + private final NodeType ihead; + private final Tree[] children; + + /** the number of children the tree has */ + public int size() { return children.length; } + + /** the element at the head of the tree */ + public NodeType head() { return ihead; } + public NodeType getHead() { return ihead; } + + /** the tree's children */ + public Iterable> children() { return this; } + + /** the tree's children */ + public Iterator> iterator() { return new ArrayIterator(children); } - final T head; - Tree[] children; - final Input.Location location; + /** get the ith child */ + public Tree child(int i) { return children[i]; } - public T head() { return head; } - public int numChildren() { return children.length; } - public Iterable> children() { return new ArrayIterator(children); } - public Iterator> iterator() { return new ArrayIterator(children); } - public Tree child(int i) { return children[i]; } + /** get the input region that this tree was parsed from */ + public Input.Region getRegion() { return location; } - public Input.Location getLocation() { return location; } + public Tree(Input.Region loc, NodeType head) { + location = loc; + ihead = head; + children = emptyTree; + } + public Tree(Input.Region loc, NodeType head, List> kids){ + location = loc; + ihead = head; + if (kids.size() == 0) + children = emptyTree; + else { + children = new Tree[kids.size()]; + kids.toArray(children); + } + } + public Tree(Input.Region loc, NodeType head, Tree[] kids) { + location = loc; + ihead = head; + children = (kids == null ? emptyTree : kids.clone()); + } - public Tree(Input.Location loc, T head) { this(loc, head, null); } - public Tree(Input.Location loc, T head, Tree[] children) { + // FIXME: fairly inefficient because we keep copying arrays + /** package-private constructor, allows setting the "lift" bit */ + Tree(Input.Region loc, NodeType head, Tree[] children, boolean[] lifts) { this.location = loc; - this.head = head; - Tree[] children2 = children==null ? new Tree[0] : new Tree[children.length]; - if (children != null) System.arraycopy(children, 0, children2, 0, children.length); - this.children = children2; + this.ihead = head; + + int count = 0; + for(int i=0; i