public interface IProgramMethod extends IObserverFunction, SourceElement, ProgramElement, MemberDeclaration
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()
java.lang.String getUniqueName()
java.lang.String getFullName()
java.lang.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
ImmutableList<LocationVariable> collectParameters()
LocationVariable
s passed as parameters to
this IProgramMethod
.