ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

Uses of Class
javafe.filespace.Tree

Packages that use Tree
javafe.filespace   
 

Uses of Tree in javafe.filespace
 

Subclasses of Tree in javafe.filespace
(package private)  class ExtTree
          A ExtTree is a HashTree that starts out as just a root node, but may be extended at any time by (recursively) adding children.
(package private)  class FileTree
          A FileTree is a Tree that mirrors the contents of a disk filesystem; the constructor takes in a directory and returns a tree representing the filesystem rooted at that directory.
(package private)  class HashTree
          A HashTree is a Tree that uses a Hashtable to store the map between labels and its direct children.
(package private)  class LeafTree
          A LeafTree is a degenerate form of Tree that never contains children.
 class PkgTree
          A PkgTree is a filtered representation of a filespace Tree (cf PathComponent) where some files and directories that are clearly not part of the Java namespace have been filtered out; the remaining nodes can be divided into two categories: (a) (usually interior) nodes that correspond to potential Java packages, and (b) exterior nodes that correspond to files that reside in one of the potential Java packages and that have an extension (e.g., .java).
(package private)  class PreloadedTree
          A PreloadedTree is a HashTree whose edges map is loaded exactly once before any children-fetching queries complete; the loading is lazy, however, and occurs when the first children-fetching method is called.
 class UnionTree
          A UnionTree is a Tree which represents the union of a series of Tree's.
(package private)  class ZipTree
          A ZipTree is a Tree that mirrors the contents of a zipfile; the constructor takes in a pathname and returns a tree representing the filesystem contained in that zipfile.
 

Fields in javafe.filespace declared as Tree
protected  Tree[] UnionTree.roots
          The list of Trees we represent the union of: Invariant: contains no nulls and is non-null.
private  Tree Tree.parent
          Our parent or null if we have no parent (aka, we are a root)
private  Tree SlowQuery.javaFileSpace
          The Java file space that corresponds to our classpath.
 Tree Resolve_Result.myPackage
           
(package private)  Tree Resolve_AmbiguousName.ambiguousPackage
           
static Tree Resolve.namespace
          The current Java namespace; must be a non-null filespace.
protected  Tree PkgTree.underlyingTree
          The non-null filespace Tree we are filtering
 

Methods in javafe.filespace that return Tree
 Tree[] UnionTree.duplicates()
          Return a list of all the nodes that correspond to this one in the underlying Trees in the same order as the original list of Trees.
private static Tree[] TreeWalker.getSortedChildren(Tree T)
          Return a sorted list of a Tree's direct children:
 Tree Tree.getParent()
          Return our parent node or null if we have no parent
 Tree Tree.getChild(java.lang.String label)
          Fetch our direct child along the edge labelled label.
 Tree Tree.getRootNode()
          Return the root node for the tree we belong to.
 Tree Tree.getQualifiedChild(java.lang.String name, char separator)
          Return the child with a given partially qualified name or null if no such node exists; if this node is X.Y and name is Z!
private  Tree SlowQuery.getPackage(java.lang.String[] P)
           
 Tree PreloadedTree.getChild(java.lang.String label)
           
static Tree PathComponent.empty()
          Create an empty filespace, containing only a root directory
static Tree PathComponent.open(java.lang.String component, boolean complain)
          Convert from a path-component name to the filespace it denotes.
 Tree HashTree.getChild(java.lang.String label)
          Fetch our direct child along the edge labelled label.
static Tree ClassPath.open(java.lang.String classpath, boolean complain)
          Get the filtered filespace (cf PathComponent) specified by a classpath.
static Tree ClassPath.open(boolean complain)
          Get the namespace specified by the current classpath using open; this is a convenience function.
 

Methods in javafe.filespace with parameters of type Tree
protected static void ZipTree.missingEntry(Tree node, java.util.zip.ZipFile zip)
          Initialize a node's data field to a ZipGenericFile that represents the file that it would correspond to if the tree it belongs to mirrored zip.
static java.util.Enumeration TreeWalker.sortedChildren(Tree T)
          Enumerate a Tree's direct children in sorted order (of labels).
private static Tree[] TreeWalker.getSortedChildren(Tree T)
          Return a sorted list of a Tree's direct children:
private static void TreeWalker.sort(Tree[] a)
           
static boolean Resolve.typeExists(Tree P, java.lang.String typeName)
          Does a package contain a reference type with a given simple name?
static Resolve_Result Resolve.lookup(Tree filespace, java.lang.String[] identifier)
          Lookup a multi-part identifier in a Java filespace in the same way that the Java compiler does so.
static Resolve_Result Resolve.lookupName(Tree filespace, java.lang.String identifier)
          Do a lookup using the result of parseIdentifier extended to allow '$' as an additional separator.
protected static int PkgTree.getStatus(Tree node)
          Decide what to do with a node of the underlying filespace, returning one of the following codes: IGNORE, INCLUDE_NODE, or INCLUDE_TREE.
static boolean PkgTree.isPackage(Tree node)
          Is a node of a PkgTree (or a union of PkgTree's) a potential Java package?
static java.lang.String PkgTree.getPackageName(Tree node)
          Return the human-readable name of a package.
static java.util.Enumeration PkgTree.packages(Tree node)
          Enumerate all the potential packages of a PkgTree (or a union of PkgTree's) in depth-first pre-order using lexical ordering on siblings (cf.
static java.util.Enumeration PkgTree.components(Tree P, java.lang.String E)
          Enumerate all the components of package P with extension E in sorted order (of labels).
static void ClassPath.displayPackage(Tree P)
          A nicer, formatted version of print.
 

Constructors in javafe.filespace with parameters of type Tree
UnionTree(Tree[] roots)
          Create a new Tree that represents the union of the Trees in roots.
UnionTree(Tree parent, java.lang.String label, Tree[] roots)
          Create a non-root node: roots must be non-null and contain no nulls.
TreeWalker(Tree T)
          From a Tree create an enumeration that enumerates all of the Tree's nodes (including the root node first).
Tree(Tree parent, java.lang.String label, java.lang.Object data)
          Create a non-root node:
Resolve_AmbiguousName(java.lang.String message, Tree P)
           
PreloadedTree(Tree parent, java.lang.String label, java.lang.Object data)
          Create a non-root node:
PkgTree(Tree underlyingTree)
          Filter a non-null filespace Tree, leaving potential Java packages and files.
PkgTree(Tree parent, java.lang.String label, Tree underlyingTree)
          Create a non-root node.
LeafTree(Tree parent, java.lang.String label, java.lang.Object data)
          Create a non-root node:
HashTree(Tree parent, java.lang.String label, java.lang.Object data)
          Create a non-root node:
FileTree(Tree parent, java.lang.String label, java.io.File dir)
          Create a non-root node:
ExtTree(Tree parent, java.lang.String label, java.lang.Object data)
          Create a non-root node:
 


ESC/Java2
© 2003,2004,2005 David Cok and Joseph Kiniry
© 2005 UCD Dublin
© 2003,2004 Radboud University Nijmegen
© 1999,2000 Compaq Computer Corporation
© 1997,1998,1999 Digital Equipment Corporation
All Rights Reserved

The ESC/Java2 Project Homepage