net.ssehub.easy.reasoning.sseReasoner

Class EvalVisitor

java.lang.Object

net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor

net.ssehub.easy.reasoning.sseReasoner.EvalVisitor

All Implemented Interfaces:

net.ssehub.easy.varModel.cst.IConstraintTreeVisitor, net.ssehub.easy.varModel.cstEvaluation.IConstraintEvaluator

public class EvalVisitor
extends net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor

This class shall extend EvaluationVisitor for using it in the Reasoning plugin.

Author:

Sizonenko

Nested Class Summary

Nested classes/interfaces inherited from class net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor

net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor.Message

Field Summary

Fields

Modifier and Type	Field and Description
private ScopeAssignments	scopeAssignments

Fields inherited from class net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor

assignmentState

Constructor Summary

Constructors

Constructor and Description
EvalVisitor() Creates an evaluation visitor.
EvalVisitor(net.ssehub.easy.varModel.confModel.IConfiguration config, net.ssehub.easy.varModel.confModel.IAssignmentState assignmentState, boolean assignmentsOnly, net.ssehub.easy.varModel.cstEvaluation.IValueChangeListener listener) Constructor for initializing superclass.

Method Summary

Modifier and Type	Method and Description
void	clear()
protected net.ssehub.easy.varModel.confModel.IAssignmentState	getTargetState(net.ssehub.easy.varModel.confModel.IDecisionVariable var)
private boolean	isAssignable(net.ssehub.easy.varModel.confModel.IDecisionVariable var, net.ssehub.easy.varModel.confModel.IDecisionVariable compound) Method for determining if variable is valid for value assignment.
void	setScopeAssignments(ScopeAssignments scopeAssignments) Method for setting ScopeAssignments register to check if variable was already assigned in this scope.
private boolean	wasAssignedInThisScope(net.ssehub.easy.varModel.confModel.IDecisionVariable var, net.ssehub.easy.varModel.confModel.IDecisionVariable compound) Method for determining if variable was already aasigned in this scope.

Methods inherited from class net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor

clearIntermediary, clearResult, constraintFailed, constraintFailed, constraintFulfilled, constraintFulfilled, constraintIsAWarning, constraintUndefined, constraintUndefined, getFailedExpression, getIteratorEvaluator, getMessage, getMessageCount, getOperationEvaluator, getResult, getResultAccessor, getResultVariable, init, setAssignmentState, setDispatchScope, setResolutionListener, setResultAcessor, setSelfValue, setValueChangeListener, visit, visitAnnotationVariable, visitBlockExpression, visitComment, visitCompoundAccess, visitCompoundInitializer, visitConstantValue, visitContainerInitializer, visitContainerOperationCall, 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

scopeAssignments

private ScopeAssignments scopeAssignments

Constructor Detail

EvalVisitor

public EvalVisitor()

Creates an evaluation visitor.

EvalVisitor

public EvalVisitor(net.ssehub.easy.varModel.confModel.IConfiguration config,
                   net.ssehub.easy.varModel.confModel.IAssignmentState assignmentState,
                   boolean assignmentsOnly,
                   net.ssehub.easy.varModel.cstEvaluation.IValueChangeListener listener)

Constructor for initializing superclass.

Parameters:

config - the configuration to take already evaluated values from

assignmentState - the state for the assignments (may be null if no assignment shall take place)

assignmentsOnly - if true process only assignments, else process all constraints

listener - listener a listener to notify some external mechanism about a changed variable

Method Detail

clear

public void clear()

Overrides:

clear in class net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor

setScopeAssignments

public void setScopeAssignments(ScopeAssignments scopeAssignments)

Method for setting ScopeAssignments register to check if variable was already assigned in this scope.

Parameters:

scopeAssignments - register.

getTargetState

protected net.ssehub.easy.varModel.confModel.IAssignmentState getTargetState(net.ssehub.easy.varModel.confModel.IDecisionVariable var)

Overrides:

getTargetState in class net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor

isAssignable

private boolean isAssignable(net.ssehub.easy.varModel.confModel.IDecisionVariable var,
                             net.ssehub.easy.varModel.confModel.IDecisionVariable compound)

Method for determining if variable is valid for value assignment.

Parameters:

var - Variable to be checked.

compound - Parent compound (might be null).

Returns:

true if assignment is valid.

wasAssignedInThisScope

private boolean wasAssignedInThisScope(net.ssehub.easy.varModel.confModel.IDecisionVariable var,
                                       net.ssehub.easy.varModel.confModel.IDecisionVariable compound)

Method for determining if variable was already aasigned in this scope.

Parameters:

var - Variable to be checked.

compound - Parent compound (might be null).

Returns:

true if assignment is valid.