Package net.ssehub.easy.reasoning.sseReasoner

Class CheckInitializerVisitor

java.lang.Object

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

net.ssehub.easy.reasoning.sseReasoner.CheckInitializerVisitor

All Implemented Interfaces:

IConstraintTreeVisitor, IValueVisitor

class CheckInitializerVisitor
extends ValueVisitorAdapter
implements IConstraintTreeVisitor

Visits constraints and checks for contained constraints for constraint variables. Call #accept(ContainerConstraintsFinder, IModelElement, IDecisionVariable) to use. This visitor is inherently reusable as instance.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private ConstraintSyntaxTree	expression
private boolean	isCompoundInitializer
private IModelElement	parent
private boolean	process
private Resolver	resolver
private boolean	substituteVars
private Value	value
private IDecisionVariable	variable

Constructor Summary

Constructors

Constructor	Description
CheckInitializerVisitor(Resolver resolver)	Creates the visitor.

Method Summary

Modifier and Type	Method	Description
void	accept(ConstraintSyntaxTree cst, IModelElement parent, IDecisionVariable variable)	Accepts the results of a container constraints finder and derives constraints from the contained constraints / constraint values.
private void	checkForConstraint(IDatatype type, ConstraintSyntaxTree cst)	Checks for a constraint expression.
private void	createConstraintFromValue(Value value)	Creates a constraint from a value.
void	visitAnnotationVariable(AttributeVariable variable)	Visits a AttributeVariable.
void	visitBlockExpression(BlockExpression block)	Visits the block.
void	visitBooleanValue(BooleanValue value)	This method is used for visiting BooleanValue.
void	visitComment(Comment comment)	Visits a comment.
void	visitCompoundAccess(CompoundAccess access)	Visits a compound access node.
void	visitCompoundInitializer(CompoundInitializer compoundInit)	Visits a compound initializer.
void	visitCompoundValue(CompoundValue value)	This method is used for visiting CompoundValue.
void	visitConstantValue(ConstantValue value)	Visits a constant value.
void	visitConstraintValue(ConstraintValue value)	This method is used for visiting ConstraintValue.
void	visitContainerInitializer(ContainerInitializer containerInit)	Visits a container initializer.
void	visitContainerOperationCall(ContainerOperationCall call)	Visits a container operation call (e.g.
void	visitContainerValue(ContainerValue value)	This method is used for visiting ContainerValue.
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 net.ssehub.easy.varModel.model.values.ValueVisitorAdapter

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

resolver

private Resolver resolver

isCompoundInitializer

private boolean isCompoundInitializer

expression

private ConstraintSyntaxTree expression

value

private Value value

process

private boolean process

variable

private IDecisionVariable variable

parent

private IModelElement parent

substituteVars

private boolean substituteVars

Constructor Detail

CheckInitializerVisitor

public CheckInitializerVisitor(Resolver resolver)

Creates the visitor.

Parameters:

resolver - the resolver instance to use for transforming and adding constraints

Method Detail

accept

public void accept(ConstraintSyntaxTree cst,
                   IModelElement parent,
                   IDecisionVariable variable)

Accepts the results of a container constraints finder and derives constraints from the contained constraints / constraint values.

Parameters:

cst - the constraint to accept / visit

parent - parent for temporary constraints

variable - the actually (nested) variable, used to relate the created constraint to, may be null

visitCompoundValue

public void visitCompoundValue(CompoundValue value)

Description copied from interface: IValueVisitor

This method is used for visiting CompoundValue.

Specified by:

visitCompoundValue in interface IValueVisitor

Overrides:

visitCompoundValue in class ValueVisitorAdapter

Parameters:

value - One CompoundValue which should be visited.

visitContainerValue

public void visitContainerValue(ContainerValue value)

Description copied from interface: IValueVisitor

This method is used for visiting ContainerValue.

Specified by:

visitContainerValue in interface IValueVisitor

Overrides:

visitContainerValue in class ValueVisitorAdapter

Parameters:

value - One CompoundValue which should be visited.

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.

visitBooleanValue

public void visitBooleanValue(BooleanValue value)

Description copied from interface: IValueVisitor

This method is used for visiting BooleanValue.

Specified by:

visitBooleanValue in interface IValueVisitor

Overrides:

visitBooleanValue in class ValueVisitorAdapter

Parameters:

value - One BooleanValue which should be visited.

createConstraintFromValue

private void createConstraintFromValue(Value value)

Creates a constraint from a value.

Parameters:

value - the value

visitCompoundInitializer

public void visitCompoundInitializer(CompoundInitializer compoundInit)

Description copied from interface: IConstraintTreeVisitor

Visits a compound initializer.

Specified by:

visitCompoundInitializer in interface IConstraintTreeVisitor

Parameters:

compoundInit - the compound initializer node

visitContainerInitializer

public void visitContainerInitializer(ContainerInitializer containerInit)

Description copied from interface: IConstraintTreeVisitor

Visits a container initializer.

Specified by:

visitContainerInitializer in interface IConstraintTreeVisitor

Parameters:

containerInit - the container initializer node

checkForConstraint

private void checkForConstraint(IDatatype type,
                                ConstraintSyntaxTree cst)

Checks for a constraint expression. Considers substituteVars.

Parameters:

type - the actual data type

cst - the constraint expression

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

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

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

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

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

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