|
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 CompilationUnit | |
escjava | |
escjava.gui | |
escjava.reader | |
escjava.tc | |
escjava.translate | |
javafe | |
javafe.ast | |
javafe.parser | |
javafe.reader | |
javafe.tc |
Uses of CompilationUnit in escjava |
Subclasses of CompilationUnit in escjava | |
class |
RefinementSequence
|
Fields in escjava declared as CompilationUnit | |
protected CompilationUnit |
RefinementSequence.javacu
|
Methods in escjava that return CompilationUnit | |
(package private) CompilationUnit |
RefinementSequence.consolidateRefinements(java.util.ArrayList refinements,
CompilationUnit javacu)
|
Methods in escjava with parameters of type CompilationUnit | |
(package private) CompilationUnit |
RefinementSequence.consolidateRefinements(java.util.ArrayList refinements,
CompilationUnit javacu)
|
void |
Main.notify(CompilationUnit justLoaded)
Override SrcTool.notify to ensure all lexicalPragmas get registered as they are loaded. |
void |
Main.handleCU(CompilationUnit cu)
This method is called on each CompilationUnit that
this tool processes. |
void |
AnnotationHandler.handlePragmas(CompilationUnit cu)
This must be called on a compilation unit to get the model imports listed, so that type names used in annotations can be found, and to get model methods put into the class's signature. |
void |
AnnotationHandler.parseAllRoutineSpecs(CompilationUnit ccu)
|
void |
AnnotationHandler.NestedPragmaParser.parseAllRoutineSpecs(CompilationUnit ccu)
Parses the sequence of pragma modifiers for each routine in the CompilationUnit, replacing the existing sequence with the parsed one in each case. |
Constructors in escjava with parameters of type CompilationUnit | |
RefinementSequence(java.util.ArrayList refinements,
CompilationUnit javacu,
AnnotationHandler ah)
|
Uses of CompilationUnit in escjava.gui |
Fields in escjava.gui declared as CompilationUnit | |
CompilationUnit |
GUI.GFCUTreeValue.cu
|
Uses of CompilationUnit in escjava.reader |
Methods in escjava.reader that return CompilationUnit | |
CompilationUnit |
RefinementCachedReader.isAlreadyRead(GenericFile target)
* Caching methods: * * |
CompilationUnit |
RefinementCachedReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from target. |
CompilationUnit |
RefinementCachedReader.readRefinements(CompilationUnit cu,
boolean avoidSpec)
|
(package private) CompilationUnit |
RefinementCachedReader.getCombinedBinaries(Name pkgName,
java.lang.String[] pkg,
java.util.ArrayList rs)
|
CompilationUnit |
EscTypeReader.read(GenericFile f,
boolean avoidSpec)
|
CompilationUnit |
EscTypeReader.read(java.lang.String[] P,
java.lang.String T,
boolean avoidSpec)
Override StandardTypeReader.read(String[], String, boolean)
method to include ".spec" files. |
Methods in escjava.reader with parameters of type CompilationUnit | |
CompilationUnit |
RefinementCachedReader.readRefinements(CompilationUnit cu,
boolean avoidSpec)
|
(package private) java.util.ArrayList |
RefinementCachedReader.getRefinementSequence(java.lang.String[] pkgStrings,
Identifier type,
CompilationUnit cu,
boolean avoidSpec)
|
static GenericFile |
RefinementCachedReader.findRefined(java.lang.String[] pkgStrings,
CompilationUnit cu)
|
(package private) boolean |
EscTypeReader.containsSpecOnly(CompilationUnit cu)
Does a CompilationUnit contain a specOnly TypeDecl? |
Uses of CompilationUnit in escjava.tc |
Methods in escjava.tc with parameters of type CompilationUnit | |
protected TypeSig |
Types.makeTypeSigInstance(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit cu)
|
Constructors in escjava.tc with parameters of type CompilationUnit | |
TypeSig(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
|
Uses of CompilationUnit in escjava.translate |
Methods in escjava.translate with parameters of type CompilationUnit | |
static void |
NoWarn.setStartLine(int line,
CompilationUnit cu)
Set a nowarn to ignore all lines before a given line in a given CompilationUnit. |
Uses of CompilationUnit in javafe |
Methods in javafe with parameters of type CompilationUnit | |
void |
SrcTool.notify(CompilationUnit justLoaded)
Add a CompilationUnit to loaded . |
void |
SrcTool.handleCU(CompilationUnit cu)
This method is called on each CompilationUnit
that this tool processes. |
private java.lang.String |
CopyLoaded.packageDirForFile(CompilationUnit cu)
|
void |
CopyLoaded.notify(CompilationUnit justLoaded)
|
void |
CopyLoaded.handleCU(CompilationUnit cu)
Process each CU's type decls. |
Uses of CompilationUnit in javafe.ast |
Methods in javafe.ast that return CompilationUnit | |
static CompilationUnit |
CompilationUnit.make(Name pkgName,
LexicalPragmaVec lexicalPragmas,
ImportDeclVec imports,
TypeDeclVec elems,
int loc,
TypeDeclElemVec otherPragmas)
|
Methods in javafe.ast with parameters of type CompilationUnit | |
java.lang.Object |
VisitorArgResult.visitCompilationUnit(CompilationUnit x,
java.lang.Object o)
|
void |
Visitor.visitCompilationUnit(CompilationUnit x)
|
void |
StandardPrettyPrint.print(java.io.OutputStream o,
CompilationUnit cu)
|
abstract void |
PrettyPrint.print(java.io.OutputStream o,
CompilationUnit cu)
Print a compilation onto to a stream. |
void |
DelegatingPrettyPrint.print(java.io.OutputStream o,
CompilationUnit cu)
|
void |
DefaultVisitor.visitCompilationUnit(CompilationUnit x)
|
Uses of CompilationUnit in javafe.parser |
Methods in javafe.parser that return CompilationUnit | |
CompilationUnit |
Parse.parseStream(CorrelatedReader in,
boolean specOnly)
Parse a CompilationUnit from an input stream. |
CompilationUnit |
Parse.parseCompilationUnit(Lex l,
boolean specOnly)
Parse a CompilationUnit. |
Uses of CompilationUnit in javafe.reader |
Methods in javafe.reader that return CompilationUnit | |
abstract CompilationUnit |
TypeReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from *source file* target. |
abstract CompilationUnit |
TypeReader.read(java.lang.String[] P,
java.lang.String T,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit for the fully-qualified outside type P.T. |
CompilationUnit |
StandardTypeReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from
|
CompilationUnit |
StandardTypeReader.readTypeSrc(java.lang.String[] P,
java.lang.String T,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from the
source for the fully-qualified outside type P.T .
|
CompilationUnit |
StandardTypeReader.readTypeBinaries(java.lang.String[] P,
java.lang.String T,
long after)
Attempt to read and parse a complete (i.e., no stubs) CompilationUnit from the binaries for the fully-qualified
outside type P.T .
|
CompilationUnit |
StandardTypeReader.read(java.lang.String[] P,
java.lang.String T,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from either
the binaries for P.T if they are up to date, or from
the source for P.T . |
CompilationUnit |
SrcReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from *source* target. |
abstract CompilationUnit |
Reader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from target. |
CompilationUnit |
CachedReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from target. |
CompilationUnit |
BinReader.read(GenericFile target,
boolean avoidSpec)
Attempt to read and parse a CompilationUnit from *binary* target. |
Methods in javafe.reader with parameters of type CompilationUnit | |
protected void |
CachedReader.put(GenericFile target,
CompilationUnit value)
Store information about a non-null GenericFile in the cache; this has no effect if the GenericFile has a null canonicalID. |
Uses of CompilationUnit in javafe.tc |
Fields in javafe.tc declared as CompilationUnit | |
protected CompilationUnit |
TypeSig.CU
The CompilationUnit we belong to; null iff myTypeDecl is null because of laziness. |
protected CompilationUnit |
EnvForCU.CU
Our CompilationUnit. |
Methods in javafe.tc that return CompilationUnit | |
CompilationUnit |
TypeSig.getCompilationUnit()
Get the non-null CompilationUnit we are associated with. |
static CompilationUnit |
OutsideEnv.addSource(GenericFile source)
Attempt to add the package-member types contained in a source file to the package-member-types environment, returning the CompilationUnit , if any, found in that file.
|
static CompilationUnit |
OutsideEnv.addSource(java.lang.String sourceName)
Attempt to add the package-member types contained in a named source file to the package-member-types environment, returning the CompilationUnit , if any, found in that
file.
|
Methods in javafe.tc with parameters of type CompilationUnit | |
protected void |
TypeSig.setDecl(TypeDecl decl,
CompilationUnit CU)
Protected routine used to associate a TypeSig with a TypeDecl. |
(package private) void |
TypeSig.load(TypeDecl decl,
CompilationUnit CU)
Load the non-null TypeDecl decl as our TypeDecl. |
protected static TypeSig |
Types.makeTypeSig(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
Factory method for TypeSig structures |
protected TypeSig |
Types.makeTypeSigInstance(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
|
private static void |
OutsideEnv.setSigs(CompilationUnit cu)
This routine creates TypeSigs for each TypeDecl member of cu .
|
private static void |
OutsideEnv.notify(CompilationUnit justLoaded)
Send a CompilationUnit-loaded notification event to the current Listener (if any). |
void |
Listener.notify(CompilationUnit justLoaded)
Each time a CompilationUnit is loaded by
OutsideEnv , this routine in the current
Listener (see OutsideEnv.setListener )
is called with the newly-loaded
CompilationUnit . |
static void |
CheckCompilationUnit.checkCompilationUnit(CompilationUnit cu)
Check a CompilationUnit .
|
private static void |
CheckCompilationUnit.checkPublic(CompilationUnit cu)
Check a CompilationUnit |
private static void |
CheckCompilationUnit.checkImports(CompilationUnit cu)
Check a CompilationUnit |
Constructors in javafe.tc with parameters of type CompilationUnit | |
TypeSig(java.lang.String[] packageName,
java.lang.String simpleName,
TypeSig enclosingType,
TypeDecl decl,
CompilationUnit CU)
Create a TypeSig that represents a member type. |
|
TypeSig(java.lang.String[] packageName,
java.lang.String simpleName,
TypeDecl decl,
CompilationUnit CU)
Create a TypeSig that represents an internal-use-only package-member type. |
|
EnvForCU(CompilationUnit CU)
Create an environment for a CompilationUnit. |
|
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 |