Package net.ssehub.easy.reasoning.sseReasoner

Class RescheduleValueChangeVisitor

java.lang.Object

net.ssehub.easy.varModel.model.values.ValueVisitorAdapter

net.ssehub.easy.reasoning.sseReasoner.RescheduleValueChangeVisitor

All Implemented Interfaces:

IValueChangeListener, IValueVisitor

class RescheduleValueChangeVisitor
extends ValueVisitorAdapter
implements IValueChangeListener

Reschedules value changes. Uses the provided resolver instance to perform further transformations and to register new constraints with the constraint base.

Author:

Holger Eichelberger

Nested Class Summary

Nested classes/interfaces inherited from interface net.ssehub.easy.varModel.cstEvaluation.IValueChangeListener

IValueChangeListener.ChangeKind

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	clear
private static EASyLoggerFactory.EASyLogger	LOGGER
private Value	oldValue
private Resolver	resolver
private IDecisionVariable	variable
private IDecisionVariable	varParent

Constructor Summary

Constructors

Constructor	Description
RescheduleValueChangeVisitor(Resolver resolver)	Creates a rescheduling value change visitor for a certain resolver instance.

Method Summary

Modifier and Type	Method	Description
private boolean	isValueTypeChange(IDecisionVariable variable, Value newValue, Value oldValue)	Returns whether a value change from oldValue to newValue on variable is a value type change.
void	notifyChanged(IDecisionVariable variable, Value oldValue, IAssignmentState oldState, IValueChangeListener.ChangeKind kind)	Called if the value of a variable has been modified.
void	notifyUnresolved(IDecisionVariable variable)	Called if an assignment to the given variable failed as the defining expression cannot be evaluated, e.g., due to an undefined variable.
private void	rescheduleConstraintsForChilds(IDecisionVariable variable, boolean decl)	Determines the constraints needed for variable and its (transitive) child slots.
private void	rescheduleConstraintsForParent(IDecisionVariable variable)	Determines the constraints needed for the parents of variable.
(package private) void	rescheduleValueChange(IDecisionVariable varParent, IDecisionVariable variable, Value oldValue, boolean clear)	Re-schedules a changed constraint value but only if rescheduling is needed.
void	visitCompoundValue(CompoundValue newValue)	This method is used for visiting CompoundValue.
void	visitConstraintValue(ConstraintValue value)	This method is used for visiting ConstraintValue.
void	visitContainerValue(ContainerValue newValue)	This method is used for visiting ContainerValue.

Methods inherited from class net.ssehub.easy.varModel.model.values.ValueVisitorAdapter

visitBooleanValue, visitEnumValue, visitIntValue, visitMetaTypeValue, visitNullValue, visitRealValue, visitReferenceValue, visitStringValue, visitVersionValue

Methods inherited from class java.lang.Object

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

Field Detail

LOGGER

private static final EASyLoggerFactory.EASyLogger LOGGER

resolver

private Resolver resolver

clear

private boolean clear

oldValue

private Value oldValue

variable

private IDecisionVariable variable

varParent

private IDecisionVariable varParent

Constructor Detail

RescheduleValueChangeVisitor

public RescheduleValueChangeVisitor(Resolver resolver)

Creates a rescheduling value change visitor for a certain resolver instance.

Parameters:

resolver - the resolver instance

Method Detail

visitConstraintValue

public void visitConstraintValue(ConstraintValue value)

Description copied from interface: IValueVisitor

This method is used for visiting ConstraintValue.

Specified by:

visitConstraintValue in interface IValueVisitor

Overrides:

visitConstraintValue in class ValueVisitorAdapter

Parameters:

value - One ConstraintValue which should be visited.

visitCompoundValue

public void visitCompoundValue(CompoundValue newValue)

Description copied from interface: IValueVisitor

This method is used for visiting CompoundValue.

Specified by:

visitCompoundValue in interface IValueVisitor

Overrides:

visitCompoundValue in class ValueVisitorAdapter

Parameters:

newValue - One CompoundValue which should be visited.

visitContainerValue

public void visitContainerValue(ContainerValue newValue)

Description copied from interface: IValueVisitor

This method is used for visiting ContainerValue.

Specified by:

visitContainerValue in interface IValueVisitor

Overrides:

visitContainerValue in class ValueVisitorAdapter

Parameters:

newValue - One CompoundValue which should be visited.

rescheduleValueChange

void rescheduleValueChange(IDecisionVariable varParent,
                           IDecisionVariable variable,
                           Value oldValue,
                           boolean clear)

Re-schedules a changed constraint value but only if rescheduling is needed.

Parameters:

varParent - the parent variable holding variable, if not nested use variable

variable - the variable for which the value changed

oldValue - the old value

clear - whether constraints for holder shall be cleared

notifyChanged

public void notifyChanged(IDecisionVariable variable,
                          Value oldValue,
                          IAssignmentState oldState,
                          IValueChangeListener.ChangeKind kind)

Description copied from interface: IValueChangeListener

Called if the value of a variable has been modified.

Specified by:

notifyChanged in interface IValueChangeListener

Parameters:

variable - the modified variable

oldValue - the value of variable before the change (may be null)

oldState - the old state of the variable before the change

kind - the change kind

notifyUnresolved

public void notifyUnresolved(IDecisionVariable variable)

Description copied from interface: IValueChangeListener

Called if an assignment to the given variable failed as the defining expression cannot be evaluated, e.g., due to an undefined variable.

Specified by:

notifyUnresolved in interface IValueChangeListener

Parameters:

variable - the variable that the evaluator was about to modify

isValueTypeChange

private boolean isValueTypeChange(IDecisionVariable variable,
                                  Value newValue,
                                  Value oldValue)

Returns whether a value change from oldValue to newValue on variable is a value type change.

Parameters:

variable - the variable

newValue - the new value (in variable

oldValue - the old value

Returns:

true for type change, false else

rescheduleConstraintsForParent

private void rescheduleConstraintsForParent(IDecisionVariable variable)

Determines the constraints needed for the parents of variable.

Parameters:

variable - the variable to analyze

rescheduleConstraintsForChilds

private void rescheduleConstraintsForChilds(IDecisionVariable variable,
                                            boolean decl)

Determines the constraints needed for variable and its (transitive) child slots.

Parameters:

variable - the variable to analyze

decl - reschedule on the declaration of variable or on variable itself