public class ArrayPostDecl extends ProgramTransformer
Constructor and Description |
---|
ArrayPostDecl(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
ProgramElement |
transform(ProgramElement pe,
Services services,
SVInstantiations svInst)
Replaces a local variable declaration
#t #v[]; with
#t[] #v; |
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 ArrayPostDecl(SchemaVariable sv)
public ProgramElement transform(ProgramElement pe, Services services, SVInstantiations svInst)
#t #v[];
with
#t[] #v;
transform
in class ProgramTransformer
services
- the Services with all necessary information
about the java programssvInst
- the instantiations of the schema variablespe
- the ProgramElement on which the execution is performed