public class ArrayLength extends ProgramTransformer
Constructor and Description |
---|
ArrayLength(Expression expr)
creates a typeof ProgramTransformer
|
Modifier and Type | Method and Description |
---|---|
ProgramElement[] |
transform(ProgramElement pe,
Services services,
SVInstantiations insts)
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
public ArrayLength(Expression expr)
expr
- the instance of expression contained by the meta constructpublic ProgramElement[] transform(ProgramElement pe, Services services, SVInstantiations insts)
ProgramTransformer
transform
in class ProgramTransformer
pe
- the ProgramElement on which the execution is performedservices
- the Services with all necessary information
about the java programsinsts
- the instantiations of the schemavariables