de.uka.ilkd.key.rule.metaconstruct

Class MultipleVarDecl

java.lang.Object

de.uka.ilkd.key.java.JavaSourceElement

de.uka.ilkd.key.java.JavaProgramElement

de.uka.ilkd.key.java.JavaNonTerminalProgramElement

de.uka.ilkd.key.rule.metaconstruct.ProgramTransformer

de.uka.ilkd.key.rule.metaconstruct.MultipleVarDecl

All Implemented Interfaces:

Expression, ExpressionContainer, ModelElement, NamedModelElement, NamedProgramElement, NonTerminalProgramElement, ProgramElement, Reference, MemberReference, NameReference, PackageReferenceContainer, ReferencePrefix, ReferenceSuffix, TypeReference, TypeReferenceContainer, TypeReferenceInfix, SourceElement, Statement, StatementContainer, SVSubstitute

public class MultipleVarDecl
extends ProgramTransformer

Constructor Summary

Constructors

Constructor and Description
MultipleVarDecl(SchemaVariable sv)

Method Summary

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.

Methods inherited from class de.uka.ilkd.key.rule.metaconstruct.ProgramTransformer

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

Methods inherited from class de.uka.ilkd.key.java.JavaNonTerminalProgramElement

compatibleBlockSize, equals, equalsModRenaming, getArrayPos, hashCode, match, matchChildren

Methods inherited from class de.uka.ilkd.key.java.JavaProgramElement

getComments, prettyPrintMain, reuseSignature

Methods inherited from class de.uka.ilkd.key.java.JavaSourceElement

getEndPosition, getFirstElement, getFirstElementIncludingBlocks, getParentClass, getPositionInfo, getRelativePosition, getStartPosition, setParentClass, toSource, toString

Methods inherited from class java.lang.Object

clone, finalize, getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface de.uka.ilkd.key.java.ProgramElement

getComments, match

Constructor Detail

MultipleVarDecl

public MultipleVarDecl(SchemaVariable sv)

Method Detail

transform

public 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.

Specified by:

transform in class ProgramTransformer

Parameters:

services - the Services with all necessary information about the java programs

svInst - the instantiations esp. of the inner and outer label

pe - the ProgramElement on which the execution is performed

Returns:

the transformed program