public class SpecialConstructorCall extends ProgramTransformer
new Class(...)
. Thereby it replaces the allocation
expression by a method reference to an implict method called
<init>
that is mainly the constructor but in its
normalform.Modifier and Type | Field and Description |
---|---|
private static ProgramElementName |
NORMALFORM_IDENTIFIER
The normal form identifier
ProgramElementName . |
Constructor and Description |
---|
SpecialConstructorCall(ProgramElement consRef) |
Modifier and Type | Method and Description |
---|---|
ProgramElement[] |
transform(ProgramElement pe,
Services services,
SVInstantiations svInst)
performs the program transformation needed for symbolic
program transformation
|
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, computeHashCode, equals, equalsModRenaming, getArrayPos, match, matchChildren
getComments, hashCode, prettyPrintMain, reuseSignature
getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
getComments, match
private static final ProgramElementName NORMALFORM_IDENTIFIER
ProgramElementName
.public SpecialConstructorCall(ProgramElement consRef)
consRef
- The constructor reference.public ProgramElement[] transform(ProgramElement pe, Services services, SVInstantiations svInst)
ProgramTransformer
transform
in class ProgramTransformer
pe
- the ProgramElement on which the execution is performedservices
- the Services with all necessary information
about the java programssvInst
- the instantiations of the schemavariables