net.ssehub.easy.reasoning.sseReasoner.model

Class VariablesInNotSimpleAssignmentConstraintsFinder

java.lang.Object

net.ssehub.easy.reasoning.sseReasoner.model.VariablesInNotSimpleAssignmentConstraintsFinder

All Implemented Interfaces:

net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

public class VariablesInNotSimpleAssignmentConstraintsFinder
extends java.lang.Object
implements net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

A visitor to retrieve variables from constraints.

Field Summary

Fields

Modifier and Type	Field and Description
private boolean	add
private net.ssehub.easy.varModel.confModel.Configuration	config
private net.ssehub.easy.varModel.model.Constraint	constraint
private VariablesMap	constraintMap
private net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor	evaluator

Constructor Summary

Constructors

Constructor and Description
VariablesInNotSimpleAssignmentConstraintsFinder(VariablesMap constraintMap) Creates a visitor instance.

Method Summary

Modifier and Type	Method and Description
void	accept(net.ssehub.easy.varModel.model.Constraint constraint, net.ssehub.easy.varModel.confModel.Configuration config) Accepts and visits a constraint.
void	acceptAndClear(net.ssehub.easy.varModel.model.Constraint constraint, net.ssehub.easy.varModel.confModel.Configuration config) Combines #accept(Constraint) and clear().
void	acceptAndClear(net.ssehub.easy.varModel.model.Constraint constraint, net.ssehub.easy.varModel.confModel.Configuration config, boolean add) Combines #accept(Constraint) and clear().
void	acceptAndClear(java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints, net.ssehub.easy.varModel.confModel.Configuration config, boolean add) Combines #accept(Constraint) and clear() for an iterable of constraints.
void	clear() Clears this visitor for reuse.
VariablesInNotSimpleAssignmentConstraintsFinder	forRemove() Turns this finder into remove mode.
private boolean	isConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst) Returns whether the type of cst is a constraint type.
private void	modifyRelation(net.ssehub.easy.varModel.model.AbstractVariable variable, net.ssehub.easy.varModel.model.Constraint constraint) Modifies the relationship between variable and constraint due to add.
void	visitAnnotationVariable(net.ssehub.easy.varModel.cst.AttributeVariable variable)
void	visitBlockExpression(net.ssehub.easy.varModel.cst.BlockExpression block)
void	visitComment(net.ssehub.easy.varModel.cst.Comment comment)
void	visitCompoundAccess(net.ssehub.easy.varModel.cst.CompoundAccess access)
void	visitCompoundInitializer(net.ssehub.easy.varModel.cst.CompoundInitializer initializer)
void	visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue value)
void	visitContainerInitializer(net.ssehub.easy.varModel.cst.ContainerInitializer initializer)
void	visitContainerOperationCall(net.ssehub.easy.varModel.cst.ContainerOperationCall call)
void	visitDeferInitExpression(net.ssehub.easy.varModel.cst.DeferInitExpression expression)
void	visitIfThen(net.ssehub.easy.varModel.cst.IfThen ifThen)
void	visitLet(net.ssehub.easy.varModel.cst.Let let)
void	visitMultiAndExpression(net.ssehub.easy.varModel.cst.MultiAndExpression expression)
void	visitOclFeatureCall(net.ssehub.easy.varModel.cst.OCLFeatureCall call)
void	visitParenthesis(net.ssehub.easy.varModel.cst.Parenthesis parenthesis)
void	visitSelf(net.ssehub.easy.varModel.cst.Self self)
void	visitUnresolvedExpression(net.ssehub.easy.varModel.cst.UnresolvedExpression expression)
void	visitVariable(net.ssehub.easy.varModel.cst.Variable variable)

Methods inherited from class java.lang.Object

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

Field Detail

config

private net.ssehub.easy.varModel.confModel.Configuration config

constraintMap

private VariablesMap constraintMap

constraint

private net.ssehub.easy.varModel.model.Constraint constraint

add

private boolean add

evaluator

private net.ssehub.easy.varModel.cstEvaluation.EvaluationVisitor evaluator

Constructor Detail

VariablesInNotSimpleAssignmentConstraintsFinder

public VariablesInNotSimpleAssignmentConstraintsFinder(VariablesMap constraintMap)

Creates a visitor instance.

Parameters:

constraintMap - the constraint map to use for storing results

Method Detail

accept

public void accept(net.ssehub.easy.varModel.model.Constraint constraint,
                   net.ssehub.easy.varModel.confModel.Configuration config)

Accepts and visits a constraint.

Parameters:

constraint - the constraint to accept

config - the configuration used to resolve expressions

acceptAndClear

public void acceptAndClear(net.ssehub.easy.varModel.model.Constraint constraint,
                           net.ssehub.easy.varModel.confModel.Configuration config)

Combines #accept(Constraint) and clear().

Parameters:

constraint - the constraint to accept

config - the configuration used to resolve expressions

acceptAndClear

public void acceptAndClear(net.ssehub.easy.varModel.model.Constraint constraint,
                           net.ssehub.easy.varModel.confModel.Configuration config,
                           boolean add)

Combines #accept(Constraint) and clear().

Parameters:

constraint - the constraint to accept

config - the configuration used to resolve expressions

add - add true or remove false

acceptAndClear

public void acceptAndClear(java.util.List<net.ssehub.easy.varModel.model.Constraint> constraints,
                           net.ssehub.easy.varModel.confModel.Configuration config,
                           boolean add)

Combines #accept(Constraint) and clear() for an iterable of constraints.

Parameters:

constraints - the constraints to accept

config - the configuration used to resolve expressions

add - add true or remove false

clear

public void clear()

Clears this visitor for reuse.

forRemove

public VariablesInNotSimpleAssignmentConstraintsFinder forRemove()

Turns this finder into remove mode.

Returns:

this

visitConstantValue

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

Specified by:

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

visitVariable

public void visitVariable(net.ssehub.easy.varModel.cst.Variable variable)

Specified by:

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

modifyRelation

private void modifyRelation(net.ssehub.easy.varModel.model.AbstractVariable variable,
                            net.ssehub.easy.varModel.model.Constraint constraint)

Modifies the relationship between variable and constraint due to add.

Parameters:

variable - the variable

constraint - the constraint

visitAnnotationVariable

public void visitAnnotationVariable(net.ssehub.easy.varModel.cst.AttributeVariable variable)

Specified by:

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

visitParenthesis

public void visitParenthesis(net.ssehub.easy.varModel.cst.Parenthesis parenthesis)

Specified by:

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

visitComment

public void visitComment(net.ssehub.easy.varModel.cst.Comment comment)

Specified by:

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

isConstraint

private boolean isConstraint(net.ssehub.easy.varModel.cst.ConstraintSyntaxTree cst)

Returns whether the type of cst is a constraint type.

Parameters:

cst - the constraint syntax tree to look for

Returns:

true for constraint type, false else

visitOclFeatureCall

public void visitOclFeatureCall(net.ssehub.easy.varModel.cst.OCLFeatureCall call)

Specified by:

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

visitDeferInitExpression

public void visitDeferInitExpression(net.ssehub.easy.varModel.cst.DeferInitExpression expression)

Specified by:

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

visitMultiAndExpression

public void visitMultiAndExpression(net.ssehub.easy.varModel.cst.MultiAndExpression expression)

Specified by:

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

visitLet

public void visitLet(net.ssehub.easy.varModel.cst.Let let)

Specified by:

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

visitIfThen

public void visitIfThen(net.ssehub.easy.varModel.cst.IfThen ifThen)

Specified by:

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

visitContainerOperationCall

public void visitContainerOperationCall(net.ssehub.easy.varModel.cst.ContainerOperationCall call)

Specified by:

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

visitCompoundAccess

public void visitCompoundAccess(net.ssehub.easy.varModel.cst.CompoundAccess access)

Specified by:

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

visitUnresolvedExpression

public void visitUnresolvedExpression(net.ssehub.easy.varModel.cst.UnresolvedExpression expression)

Specified by:

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

visitCompoundInitializer

public void visitCompoundInitializer(net.ssehub.easy.varModel.cst.CompoundInitializer initializer)

Specified by:

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

visitContainerInitializer

public void visitContainerInitializer(net.ssehub.easy.varModel.cst.ContainerInitializer initializer)

Specified by:

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

visitSelf

public void visitSelf(net.ssehub.easy.varModel.cst.Self self)

Specified by:

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

visitBlockExpression

public void visitBlockExpression(net.ssehub.easy.varModel.cst.BlockExpression block)

Specified by:

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