Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

## 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.

Overview | Package | Class | Use | Tree | Deprecated | Index | Help
| 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

The ESC/Java2 Project Homepage