| java.lang.Object
 de.uka.ilkd.key.java.JavaSourceElement
de.uka.ilkd.key.java.JavaProgramElement
de.uka.ilkd.key.java.JavaNonTerminalProgramElement
de.uka.ilkd.key.java.CompilationUnit
| imports | | final protected ArrayOfImport imports(Code) | | Imports.
|
| typeDeclarations | | final protected ArrayOfTypeDeclaration typeDeclarations(Code) | | Type declarations.
|
| CompilationUnit | | public CompilationUnit(PackageSpecification packageSpec, Import[] imports, TypeDeclaration[] typeDeclarations)(Code) | | creates a compilation unit
Parameters:
packageSpec - a PackageSpecification (pck of this CU)
Parameters:
imports - an array of Import (all it imports)
Parameters:
typeDeclarations - an array of TypeDeclaration (the type declared in it) |
| CompilationUnit | | public CompilationUnit(ExtList children)(Code) | | creates a compilation unit
Parameters:
children - list with the children of this unit |
| getChildAt | | public ProgramElement getChildAt(int index)(Code) | | Returns the child at the specified index in this node's "virtual"
child array
Parameters:
index - an index into this node's "virtual" child array the program element at the given position
exception:
ArrayIndexOutOfBoundsException - if index is outof bounds |
| getChildCount | | public int getChildCount()(Code) | | Returns the number of children of this node.
an int giving the number of children of this node |
| getDeclarations | | public ArrayOfTypeDeclaration getDeclarations()(Code) | | Get declarations.
the wrapped array of type declarations . |
| getImports | | public ArrayOfImport getImports()(Code) | | Get imports.
the wrapped import array. |
| getName | | public String getName()(Code) | | Get name of the unit. The name is empty if no data location is set;
otherwise, the name of the current data location is returned.
the name of this compilation unit. |
| getPackageSpecification | | public PackageSpecification getPackageSpecification()(Code) | | Get package specification.
the package specification. |
| getPrimaryTypeDeclaration | | public TypeDeclaration getPrimaryTypeDeclaration()(Code) | | Gets the primary type declaration of the compilation unit.
The primary declaration is the first declaration of the unit,
or the single public declaration. If there is no unambiguous primary
declaration, this method returns null.
|
| getTypeDeclarationCount | | public int getTypeDeclarationCount()(Code) | | Get the number of type declarations in this container.
the number of type declarations. |
| visit | | public void visit(Visitor v)(Code) | | calls the corresponding method of a visitor in order to
perform some action/transformation on this element
Parameters:
v - the Visitor |
|
|