Uses of Class
org.jmlspecs.racwrap.runner.Location

Packages that use Location

org.jmlspecs.racwrap.runner

Uses of Location in org.jmlspecs.racwrap.runner

Fields in org.jmlspecs.racwrap.runner declared as Location

private Location	Leaf.original
private Location	Leaf.wrapper
private Location	Leaf.statics
private Location	Leaf.iface
Location	Leaf.shadow

Methods in org.jmlspecs.racwrap.runner that return Location

Location	Leaf.getOriginal() Location of the original class (X.class)
Location	Leaf.getWrapper() Location of the wrapper class (X.wrap.chx)
Location	Leaf.getStatics() Location of the statics class (X.statics.chx)
Location	Leaf.getInterface() Location of the interface.class (X.iface.chx)
static Location	TreeBuilder.updateLeafNode(Node parent, String fname) updateLeafNode looks at the filename, determines if it is needed for our framework, and creates or updates a leaf node as needed.

Methods in org.jmlspecs.racwrap.runner with parameters of type Location

private byte[]	ChxClassLoader.getByteArray(Location loc) Given the location of a class, return the contents of the file.
void	Leaf.setOriginal(Location loc)
void	Leaf.setWrapper(Location loc)
void	Leaf.setStatics(Location loc)
void	Leaf.setInterface(Location loc)