Package net.ssehub.easy.reasoning.sseReasoner.model

Class VariablesInNotSimpleAssignmentConstraintsFinder

java.lang.Object

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

All Implemented Interfaces:

IConstraintTreeVisitor

public class VariablesInNotSimpleAssignmentConstraintsFinder
extends java.lang.Object
implements IConstraintTreeVisitor

A visitor to retrieve variables from constraints.

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	add
private Configuration	config
private Constraint	constraint
private VariablesMap	constraintMap
private EvaluationVisitor	evaluator

Constructor Summary

Constructors

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

Method Summary

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

Methods inherited from class java.lang.Object

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

Field Detail

config

private Configuration config

constraintMap

private VariablesMap constraintMap

constraint

private Constraint constraint

add

private boolean add

evaluator

private 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(Constraint constraint,
                   Configuration config)

Accepts and visits a constraint.

Parameters:

constraint - the constraint to accept

config - the configuration used to resolve expressions

acceptAndClear

public void acceptAndClear(Constraint constraint,
                           Configuration config)

Combines #accept(Constraint) and clear().

Parameters:

constraint - the constraint to accept

config - the configuration used to resolve expressions

acceptAndClear

public void acceptAndClear(Constraint constraint,
                           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<Constraint> constraints,
                           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(ConstantValue value)

Description copied from interface: IConstraintTreeVisitor

Visits a constant value.

Specified by:

visitConstantValue in interface IConstraintTreeVisitor

Parameters:

value - the value which should be visited

visitVariable

public void visitVariable(Variable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a variable.

Specified by:

visitVariable in interface IConstraintTreeVisitor

Parameters:

variable - the variable which should be visited

modifyRelation

private void modifyRelation(AbstractVariable variable,
                            Constraint constraint)

Modifies the relationship between variable and constraint due to add.

Parameters:

variable - the variable

constraint - the constraint

visitAnnotationVariable

public void visitAnnotationVariable(AttributeVariable variable)

Description copied from interface: IConstraintTreeVisitor

Visits a AttributeVariable.

Specified by:

visitAnnotationVariable in interface IConstraintTreeVisitor

Parameters:

variable - the attribute variable which should be visited

visitParenthesis

public void visitParenthesis(Parenthesis parenthesis)

Description copied from interface: IConstraintTreeVisitor

Visits a parenthesis.

Specified by:

visitParenthesis in interface IConstraintTreeVisitor

Parameters:

parenthesis - the parenthesis which should be visited

visitComment

public void visitComment(Comment comment)

Description copied from interface: IConstraintTreeVisitor

Visits a comment.

Specified by:

visitComment in interface IConstraintTreeVisitor

Parameters:

comment - the comment node which should be visited

isConstraint

private boolean isConstraint(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(OCLFeatureCall call)

Description copied from interface: IConstraintTreeVisitor

Visits an OCL feature call.

Specified by:

visitOclFeatureCall in interface IConstraintTreeVisitor

Parameters:

call - the feature call which should be visited

visitMultiAndExpression

public void visitMultiAndExpression(MultiAndExpression expression)

Description copied from interface: IConstraintTreeVisitor

Visits a multi-and expression.

Specified by:

visitMultiAndExpression in interface IConstraintTreeVisitor

Parameters:

expression - the expression to be visited

visitLet

public void visitLet(Let let)

Description copied from interface: IConstraintTreeVisitor

Visits a let expression.

Specified by:

visitLet in interface IConstraintTreeVisitor

Parameters:

let - the let expression which should be visited

visitIfThen

public void visitIfThen(IfThen ifThen)

Description copied from interface: IConstraintTreeVisitor

Visits an if-then-else expression.

Specified by:

visitIfThen in interface IConstraintTreeVisitor

Parameters:

ifThen - the if-then-else expression which should be visited

visitContainerOperationCall

public void visitContainerOperationCall(ContainerOperationCall call)

Description copied from interface: IConstraintTreeVisitor

Visits a container operation call (e.g. quantors, iterators).

Specified by:

visitContainerOperationCall in interface IConstraintTreeVisitor

Parameters:

call - the container operation call

visitCompoundAccess

public void visitCompoundAccess(CompoundAccess access)

Description copied from interface: IConstraintTreeVisitor

Visits a compound access node.

Specified by:

visitCompoundAccess in interface IConstraintTreeVisitor

Parameters:

access - the compound access node

visitUnresolvedExpression

public void visitUnresolvedExpression(UnresolvedExpression expression)

Description copied from interface: IConstraintTreeVisitor

Visits an unresolved expression. Please note that an unresolved expression may represent a leaf as well as an inner tree node. Typically, visitors shall continue visiting transparently at UnresolvedExpression.getActualExpression().

Specified by:

visitUnresolvedExpression in interface IConstraintTreeVisitor

Parameters:

expression - the expression

visitCompoundInitializer

public void visitCompoundInitializer(CompoundInitializer initializer)

Description copied from interface: IConstraintTreeVisitor

Visits a compound initializer.

Specified by:

visitCompoundInitializer in interface IConstraintTreeVisitor

Parameters:

initializer - the compound initializer node

visitContainerInitializer

public void visitContainerInitializer(ContainerInitializer initializer)

Description copied from interface: IConstraintTreeVisitor

Visits a container initializer.

Specified by:

visitContainerInitializer in interface IConstraintTreeVisitor

Parameters:

initializer - the container initializer node

visitSelf

public void visitSelf(Self self)

Description copied from interface: IConstraintTreeVisitor

Visits self.

Specified by:

visitSelf in interface IConstraintTreeVisitor

Parameters:

self - the self object to visit

visitBlockExpression

public void visitBlockExpression(BlockExpression block)

Description copied from interface: IConstraintTreeVisitor

Visits the block.

Specified by:

visitBlockExpression in interface IConstraintTreeVisitor

Parameters:

block - the block to be visited