|
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |
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 |
||||||||||
PREV NEXT | FRAMES NO FRAMES |