public interface IProgramMethod extends IObserverFunction, SourceElement, ProgramElement, MemberDeclaration
Modifier and Type | Method and Description |
---|---|
StatementBlock |
getBody() |
String |
getFullName() |
MethodDeclaration |
getMethodDeclaration() |
String |
getName() |
ParameterDeclaration |
getParameterDeclarationAt(int index) |
int |
getParameterDeclarationCount() |
ImmutableArray<ParameterDeclaration> |
getParameters() |
KeYJavaType |
getParameterType(int i)
returns the KeYJavaType of the i-th parameter declaration.
|
ImmutableArray<KeYJavaType> |
getParamTypes()
Returns the parameter types of this observer symbol.
|
ProgramElementName |
getProgramElementName() |
KeYJavaType |
getReturnType() |
Throws |
getThrown() |
String |
getUniqueName() |
VariableSpecification |
getVariableSpecification(int index)
Returns the variablespecification of the i-th parameterdeclaration
|
boolean |
isAbstract() |
boolean |
isConstructor()
Test whether the declaration is a constructor.
|
boolean |
isFinal() |
boolean |
isImplicit() |
boolean |
isModel()
Test whether the declaration is model.
|
boolean |
isNative() |
boolean |
isSynchronized() |
boolean |
isVoid() |
getContainerType, getHeapCount, getNumParams, getParamType, getStateCount, getType, isStatic
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel
isPrivate, isProtected, isPublic, isStatic, isStrictFp
getModifiers
getChildAt, getChildCount
getComments, match
equalsModRenaming, getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getLastElement, getPositionInfo, getRelativePosition, getStartPosition, prettyPrint, visit
MethodDeclaration getMethodDeclaration()
KeYJavaType getParameterType(int i)
i
- the int specifying the parameter positionStatementBlock getBody()
boolean isConstructor()
boolean isModel()
boolean isVoid()
KeYJavaType getReturnType()
ProgramElementName getProgramElementName()
String getUniqueName()
String getFullName()
String getName()
boolean isAbstract()
boolean isImplicit()
boolean isNative()
boolean isFinal()
boolean isSynchronized()
Throws getThrown()
ParameterDeclaration getParameterDeclarationAt(int index)
VariableSpecification getVariableSpecification(int index)
int getParameterDeclarationCount()
ImmutableArray<ParameterDeclaration> getParameters()
ImmutableArray<KeYJavaType> getParamTypes()
IObserverFunction
getParamTypes
in interface IObserverFunction