public class IsStatic extends ProgramTransformer
Constructor and Description |
---|
IsStatic(ProgramElement pe)
creates a typeof ProgramTransformer
|
Modifier and Type | Method and Description |
---|---|
ProgramElement |
transform(ProgramElement pe,
Services services,
SVInstantiations svInst)
performs the program transformation needed for symbolic
program execution
|
body, getChildAt, getChildCount, getDimensions, getExpressionAt, getExpressionCount, getKeYJavaType, getKeYJavaType, getKeYJavaType, getLastElement, getName, getPackageReference, getProgramElementName, getReferencePrefix, getStatementAt, getStatementCount, getTypeReferenceAt, getTypeReferenceCount, name, neededInstantiations, needs, prettyPrint, setReferencePrefix, toString, visit
compatibleBlockSize, equals, equalsModRenaming, getArrayPos, hashCode, match, matchChildren
getComments, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
public IsStatic(ProgramElement pe)
pe
- the instance of expression contained by
the meta constructpublic ProgramElement transform(ProgramElement pe, Services services, SVInstantiations svInst)
transform
in class ProgramTransformer
services
- the Services with all necessary information
about the java programssvInst
- the instantiations esp. of the inner and outer labelpe
- the ProgramElement on which the execution is performed