public interface ProgramConstruct extends Expression, Statement, ILoopInit, IForUpdates, IGuard, Label, TerminalProgramElement, ExpressionStatement, TypeReference, IProgramVariable, IProgramMethod, Branch, IExecutionContext, MethodName
getExpressionAt, getUpdates, size
getComments, getEndPosition, getFirstElement, getLastElement, getRelativePosition, getStartPosition, prettyPrint, visit
getKeYJavaType
getDimensions, getKeYJavaType, getName, getProgramElementName, getReferencePrefix
getChildAt, getChildCount
match
getTypeReferenceAt, getTypeReferenceCount
getPackageReference
getExpressionAt, getExpressionCount
getKeYJavaType, getKeYJavaType, getKeYJavaType
collectParameters, getBody, getFullName, getMethodDeclaration, getName, getParameterDeclarationAt, getParameterDeclarationCount, getParameters, getParameterType, getParamTypes, getProgramElementName, getReturnType, getThrown, getUniqueName, getVariableSpecification, isAbstract, isConstructor, isFinal, isImplicit, isModel, isNative, isSynchronized, isVoid
getContainerType, getHeapCount, getNumParams, getParamType, getStateCount, getType, isStatic
argSort, argSorts, sort
arity, bindVarsAt, isRigid, sort, validTopLevel, validTopLevelException
isPrivate, isProtected, isPublic, isStatic, isStrictFp
getModifiers
getStatementAt, getStatementCount
getMethodContext, getRuntimeInstance, getTypeReference
Copyright © 2003-2019 The KeY-Project.