| de.uka.ilkd.key.java.declaration.JavaDeclaration
 de.uka.ilkd.key.java.declaration.TypeDeclaration
de.uka.ilkd.key.java.declaration.InterfaceDeclaration
| InterfaceDeclaration | | public class InterfaceDeclaration extends TypeDeclaration (Code) | | Interface declaration.
|
| Constructor Summary | |
| public | InterfaceDeclaration()
Interface declaration. | | public | InterfaceDeclaration(Modifier[] modifiers, ProgramElementName name, ProgramElementName fullName, Extends extended, MemberDeclaration[] members, boolean isLibrary)
Construct a new outer or member interface class. | | public | InterfaceDeclaration(Modifier[] modifiers, ProgramElementName name, Extends extended, MemberDeclaration[] members, boolean isLibrary)
Construct a new outer or member interface class. | | public | InterfaceDeclaration(ExtList children, ProgramElementName fullName, boolean isLibrary)
| | public | InterfaceDeclaration(ProgramElementName name)
|
| InterfaceDeclaration | | public InterfaceDeclaration()(Code) | | Interface declaration.
|
| InterfaceDeclaration | | public InterfaceDeclaration(ExtList children, ProgramElementName fullName, boolean isLibrary)(Code) | | uses children list to create non-anonymous class
Parameters:
children - an ExtList that may contain: an Extends (as pointer to a class), ProgramElementName (as name), several MemberDeclaration (as members ofthe type), a parentIsInterfaceDeclaration (indicating if parent isinterface), several Modifier (as modifiers of the type decl), a Comment
Parameters:
fullName - the fully qualified ProgramElementName of the declared type
Parameters:
isLibrary - a boolean flag indicating if this interface is part of a library (library interfaces come often with a specification and areonly available as bytecode) |
| 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 |
| getComments | | public Comment[] getComments()(Code) | | returns the comments belonging to this InterfaceDeclaration + Comments
declared in the body of the class that contain jml invariant or
constraint statements.
the comments. |
| getExtendedTypes | | public Extends getExtendedTypes()(Code) | | Get extended types.
the extends. |
| getSupertypes | | public ListOfKeYJavaType getSupertypes()(Code) | | returns the local declared supertypes
|
| isAbstract | | public boolean isAbstract()(Code) | | Interfaces are always abstract.
|
| isInterface | | public boolean isInterface()(Code) | | |
| isNative | | public boolean isNative()(Code) | | Interfaces are never native.
|
| isPrivate | | public boolean isPrivate()(Code) | | Interfaces are never private.
|
| isProtected | | public boolean isProtected()(Code) | | Interfaces are never protected.
|
| isStrictFp | | public boolean isStrictFp()(Code) | | Interfaces are never strictfp.
|
| isSynchronized | | public boolean isSynchronized()(Code) | | Interfaces are never synchronized.
|
| isTransient | | public boolean isTransient()(Code) | | Interfaces are never transient.
|
| isVolatile | | public boolean isVolatile()(Code) | | Interfaces are never volatile.
|
| 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 |
| Fields inherited from de.uka.ilkd.key.java.declaration.JavaDeclaration | final protected ArrayOfModifier modArray(Code)(Java Doc)
|
|
|