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.ast.CompilationUnit

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 source file target.
 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 to make sure that the only type that may be declared public in it is the one with the same name as the file it occurs in.
private static void CheckCompilationUnit.checkImports(CompilationUnit cu)
          Check a CompilationUnit to make sure that each import is individually well formed.
 

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

The ESC/Java2 Project Homepage