public class MultipleVarDecl extends ProgramTransformer
Constructor and Description |
---|
MultipleVarDecl(SchemaVariable sv) |
Modifier and Type | Method and Description |
---|---|
ProgramElement |
transform(ProgramElement pe,
Services services,
SVInstantiations svInst)
Replaces a declaration of multiple variables by two variable
declarations where the first one declares a single variable
and the second one the remaining variables.
|
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 MultipleVarDecl(SchemaVariable sv)
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