public class ExpandMethodBody extends ProgramTransformer
Constructor and Description |
---|
ExpandMethodBody(SchemaVariable sv) |
ExpandMethodBody(Statement mb) |
Modifier and Type | Method and Description |
---|---|
ProgramElement |
transform(ProgramElement pe,
Services services,
SVInstantiations svInst)
Replaces the MethodBodyStatement shortcut with the full body,
performs prefix adjustments in the body (execution context).
|
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 ExpandMethodBody(SchemaVariable sv)
public ExpandMethodBody(Statement mb)
public 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