| 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.Import
| isMultiImport | | final protected boolean isMultiImport(Code) | | Multi import flag.
|
| Import | | public Import(ExtList children, boolean isMultiImport)(Code) | | children may contain: TypeReference (for import), a Comment
Parameters:
isMultiImport - indicates whether the import contains multiple imports |
| Import | | public Import()(Code) | | Import.
|
| Import | | public Import(TypeReference t, boolean multi)(Code) | | Import.
Parameters:
t - a type reference.
Parameters:
multi - indicates the wildcard. |
| 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 |
| getPackageReference | | public PackageReference getPackageReference()(Code) | | Returns the package reference of this import, if there is one.
the reference of this import statement. |
| getReference | | public TypeReferenceInfix getReference()(Code) | | Returns the reference of this import, either a
type or a package reference.
the reference of this import statement. |
| getTypeReference | | public TypeReference getTypeReference()(Code) | | Returns the type reference of this import, if there is one.
the reference of this import statement. |
| getTypeReferenceCount | | public int getTypeReferenceCount()(Code) | | Get the number of type references in this container.
the number of type references. |
| isMultiImport | | public boolean isMultiImport()(Code) | | Checks if this import is a multi type import, also known as
type-on-demand import.
the kind of this import. |
| 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 |
|
|