public class EvaluateArgs extends ProgramTransformer
Constructor and Description |
---|
EvaluateArgs(ProgramElement pe)
creates a typeof ProgramTransformer
|
Modifier and Type | Method and Description |
---|---|
static ProgramVariable |
evaluate(Expression e,
java.util.List<? super LocalVariableDeclaration> l,
Services services,
ExecutionContext ec)
TODO Comment.
|
ProgramElement[] |
transform(ProgramElement pe,
Services services,
SVInstantiations svInst)
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 EvaluateArgs(ProgramElement pe)
pe
- the instance of expression contained by the meta constructpublic static ProgramVariable evaluate(Expression e, java.util.List<? super LocalVariableDeclaration> l, Services services, ExecutionContext ec)
e
- TODOl
- TODOservices
- TODOec
- TODOpublic ProgramElement[] transform(ProgramElement pe, Services services, SVInstantiations svInst)
ProgramTransformer
transform
in class ProgramTransformer
pe
- the ProgramElement on which the execution is performedservices
- the Services with all necessary information
about the java programssvInst
- the instantiations of the schemavariables