net.ssehub.easy.reasoning.sseReasoner

Class CheckInitializerVisitor.ValueSubstitutionVisitor

java.lang.Object

net.ssehub.easy.varModel.cst.BasicCopyVisitor

net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor.ValueSubstitutionVisitor

All Implemented Interfaces:

net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

Enclosing class:

CheckInitializerVisitor

private static class CheckInitializerVisitor.ValueSubstitutionVisitor
extends net.ssehub.easy.varModel.cst.BasicCopyVisitor

Field Summary

Fields

Modifier and Type	Field and Description
private net.ssehub.easy.varModel.cst.ConstantValue	origin
private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree	replacement

Constructor Summary

Constructors

Constructor and Description
ValueSubstitutionVisitor(net.ssehub.easy.varModel.cst.ConstantValue origin, net.ssehub.easy.varModel.cst.ConstraintSyntaxTree replacement)

Method Summary

Modifier and Type	Method and Description
void	visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue value)

Methods inherited from class net.ssehub.easy.varModel.cst.BasicCopyVisitor

clear, getCopyExpressions, getCopyVariables, getLogger, getResult, inferDatatype, mapVariable, mapVariable, setCopyConstants, setCopyExpressions, setCopyVariables, setDoInferDatatype, setResult, visitAnnotationVariable, visitBlockExpression, visitComment, visitCompoundAccess, visitCompoundInitializer, visitContainerInitializer, visitContainerOperationCall, visitDeferInitExpression, visitIfThen, visitLet, visitMultiAndExpression, visitOclFeatureCall, visitParenthesis, visitSelf, visitUnresolvedExpression, visitVariable

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

origin

private net.ssehub.easy.varModel.cst.ConstantValue origin

replacement

private net.ssehub.easy.varModel.cst.ConstraintSyntaxTree replacement

Constructor Detail

ValueSubstitutionVisitor

public ValueSubstitutionVisitor(net.ssehub.easy.varModel.cst.ConstantValue origin,
                                net.ssehub.easy.varModel.cst.ConstraintSyntaxTree replacement)

Method Detail

visitConstantValue

public void visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue value)

Specified by:

visitConstantValue in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

Overrides:

visitConstantValue in class net.ssehub.easy.varModel.cst.BasicCopyVisitor