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, visitcompatibleBlockSize, equals, equalsModRenaming, getArrayPos, hashCode, match, matchChildrengetComments, prettyPrintMain, reuseSignaturegetEndPosition, getFirstElement, getFirstElementIncludingBlocks, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toStringclone, finalize, getClass, notify, notifyAll, wait, wait, waitgetComments, matchpublic ArrayPostDecl(SchemaVariable sv)
public ProgramElement transform(ProgramElement pe, Services services, SVInstantiations svInst)
#t #v[]; with
#t[] #v;transform in class ProgramTransformerservices - the Services with all necessary information
about the java programssvInst - the instantiations of the schema variablespe - the ProgramElement on which the execution is performed