Package net.ssehub.easy.reasoning.sseReasoner.functions

Class ConstraintFunctions.TransitiveConstraintFinder

java.lang.Object

net.ssehub.easy.varModel.model.filter.ConstraintFinder

net.ssehub.easy.reasoning.sseReasoner.functions.ConstraintFunctions.TransitiveConstraintFinder

All Implemented Interfaces:

IConstraintTreeVisitor, ICustomDatatypeVisitor, IDatatypeVisitor, IModelVisitor

Enclosing class:

ConstraintFunctions

private static class ConstraintFunctions.TransitiveConstraintFinder
extends ConstraintFinder
implements IConstraintTreeVisitor, IDatatypeVisitor

A transitive constraint/variables finder.

Author:

Holger Eichelberger

Field Summary

Fields

Modifier and Type	Field	Description
private boolean	add
private java.util.Set<AbstractVariable>	candidates
private java.util.Set<java.lang.Object>	done
private IModelVisitor	mVisitor
private java.util.Set<AbstractVariable>	scheduled
private Project	scope
private Project	target
private java.util.Set<AbstractVariable>	variables

Constructor Summary

Constructors

Constructor	Description
TransitiveConstraintFinder(Project scope, Project target)	Creates a finder with search scope and target project.

Method Summary

Modifier and Type	Method	Description
private void	addToVariables(AbstractVariable var)	Adds a variable to variables.
private void	handle(AbstractVariable variable)	Handles the occurrence of a variable.
protected void	startAccept(Project project)	Starts accepting in the constructor.
void	visit(AbstractVariable var)	Call for the top-level variable to be visited.
private void	visit(IDatatype type)	Internal method to start visiting a datatype.
void	visitAnnotationVariable(AttributeVariable variable)	Visits a AttributeVariable.
void	visitAnyType(AnyType datatype)	Is called by an AnyType.
void	visitAttributeAssignment(AttributeAssignment assignment)	Visits an attribute assignment.
void	visitBlockExpression(BlockExpression block)	Visits the block.
void	visitBooleanType(BooleanType type)	Visiting method for visiting a BooleanType.
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	visitCompoundType(Compound compound)	Visiting method for visiting a Compound.
void	visitConstantValue(ConstantValue value)	Visits a constant value.
void	visitConstraint(Constraint constraint)	Method for visiting a constraint.
void	visitConstraintType(ConstraintType type)	Visiting method for visiting a ConstraintType.
void	visitContainerInitializer(ContainerInitializer initializer)	Visits a container initializer.
void	visitContainerOperationCall(ContainerOperationCall call)	Visits a container operation call (e.g.
void	visitDatatype(IDatatype datatype)	Is called by an arbitrary data type.
void	visitDecisionVariableDeclaration(DecisionVariableDeclaration decl)	This method is used for visiting a decision variable declaration.
void	visitDerivedType(DerivedDatatype datatype)	Is called by an DerivedDatatype data type.
void	visitEnumType(Enum enumType)	Visiting method for visiting a Enum.
void	visitIfThen(IfThen ifThen)	Visits an if-then-else expression.
void	visitIntegerType(IntegerType type)	Visiting method for visiting a IntegerType.
void	visitLet(Let let)	Visits a let expression.
void	visitMetaType(MetaType datatype)	Is called by a MetaType.
void	visitMultiAndExpression(MultiAndExpression expression)	Visits a multi-and expression.
void	visitOclFeatureCall(OCLFeatureCall call)	Visits an OCL feature call.
void	visitOrderedEnumType(OrderedEnum enumType)	Visiting method for visiting a OrderredEnum.
void	visitParenthesis(Parenthesis parenthesis)	Visits a parenthesis.
void	visitProject(Project project)	Method for visiting a project.
void	visitRealType(RealType type)	Visiting method for visiting a RealType.
void	visitSelf(Self self)	Visits self.
void	visitSequence(Sequence sequence)	Method for visiting a sequence.
void	visitSet(Set set)	Method for visiting a set.
void	visitStringType(StringType type)	Visiting method for visiting a StringType.
void	visitUnresolvedExpression(UnresolvedExpression expression)	Visits an unresolved expression.
void	visitVariable(Variable variable)	Visits a variable.
void	visitVersionType(VersionType type)	Visiting method for visiting a VersionType.

Methods inherited from class net.ssehub.easy.varModel.model.filter.ConstraintFinder

getAttributeAssignments, getConstraints, getEvalConstraints, visitAttribute, visitComment, visitCompound, visitCompoundAccessStatement, visitDerivedDatatype, visitEnum, visitEnumLiteral, visitFreezeBlock, visitOperationDefinition, visitOrderedEnum, visitPartialEvaluationBlock, visitProjectImport, visitProjectInterface, visitReference

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.ssehub.easy.varModel.model.datatypes.IDatatypeVisitor

visitReference

Field Detail

add

private boolean add

variables

private java.util.Set<AbstractVariable> variables

scheduled

private java.util.Set<AbstractVariable> scheduled

candidates

private java.util.Set<AbstractVariable> candidates

done

private java.util.Set<java.lang.Object> done

scope

private Project scope

target

private Project target

mVisitor

private IModelVisitor mVisitor

Constructor Detail

TransitiveConstraintFinder

public TransitiveConstraintFinder(Project scope,
                                  Project target)

Creates a finder with search scope and target project.

Parameters:

scope - the scope

target - the target project

Method Detail

startAccept

protected void startAccept(Project project)

Description copied from class: ConstraintFinder

Starts accepting in the constructor. Overridden to allow for further initializations.

Overrides:

startAccept in class ConstraintFinder

Parameters:

project - the project to start accepting

visit

public void visit(AbstractVariable var)

Call for the top-level variable to be visited.

Parameters:

var - the variable

visit

private void visit(IDatatype type)

Internal method to start visiting a datatype. Due to additional checks, please do not visit the type directly.

Parameters:

type - the type to be visited

addToVariables

private void addToVariables(AbstractVariable var)

Adds a variable to variables.

Parameters:

var - the variable

visitDecisionVariableDeclaration

public void visitDecisionVariableDeclaration(DecisionVariableDeclaration decl)

Description copied from interface: IModelVisitor

This method is used for visiting a decision variable declaration.

Specified by:

visitDecisionVariableDeclaration in interface IModelVisitor

Overrides:

visitDecisionVariableDeclaration in class ConstraintFinder

Parameters:

decl - One declaration which should be visited.

visitConstraint

public void visitConstraint(Constraint constraint)

Description copied from interface: IModelVisitor

Method for visiting a constraint.

Specified by:

visitConstraint in interface IModelVisitor

Overrides:

visitConstraint in class ConstraintFinder

Parameters:

constraint - The constraint which should be visited.

visitProject

public void visitProject(Project project)

Description copied from interface: IModelVisitor

Method for visiting a project.

Specified by:

visitProject in interface IModelVisitor

Overrides:

visitProject in class ConstraintFinder

Parameters:

project - The project which should be visited.

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

handle

private void handle(AbstractVariable variable)

Handles the occurrence of a variable.

Parameters:

variable - the variable

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

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

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

visitDatatype

public void visitDatatype(IDatatype datatype)

Description copied from interface: IDatatypeVisitor

Is called by an arbitrary data type.

Specified by:

visitDatatype in interface IDatatypeVisitor

Parameters:

datatype - the data type.

visitAnyType

public void visitAnyType(AnyType datatype)

Description copied from interface: IDatatypeVisitor

Is called by an AnyType.

Specified by:

visitAnyType in interface IDatatypeVisitor

Parameters:

datatype - the data type.

visitMetaType

public void visitMetaType(MetaType datatype)

Description copied from interface: IDatatypeVisitor

Is called by a MetaType.

Specified by:

visitMetaType in interface IDatatypeVisitor

Parameters:

datatype - the data type.

visitDerivedType

public void visitDerivedType(DerivedDatatype datatype)

Description copied from interface: IDatatypeVisitor

Is called by an DerivedDatatype data type.

Specified by:

visitDerivedType in interface IDatatypeVisitor

Parameters:

datatype - the data type.

visitBooleanType

public void visitBooleanType(BooleanType type)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a BooleanType.

Specified by:

visitBooleanType in interface IDatatypeVisitor

Parameters:

type - The IDatatype which should be visited.

visitStringType

public void visitStringType(StringType type)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a StringType.

Specified by:

visitStringType in interface IDatatypeVisitor

Parameters:

type - The IDatatype which should be visited.

visitConstraintType

public void visitConstraintType(ConstraintType type)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a ConstraintType.

Specified by:

visitConstraintType in interface IDatatypeVisitor

Parameters:

type - The IDatatype which should be visited.

visitIntegerType

public void visitIntegerType(IntegerType type)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a IntegerType.

Specified by:

visitIntegerType in interface IDatatypeVisitor

Parameters:

type - The IDatatype which should be visited.

visitVersionType

public void visitVersionType(VersionType type)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a VersionType.

Specified by:

visitVersionType in interface IDatatypeVisitor

Parameters:

type - The IDatatype which should be visited.

visitRealType

public void visitRealType(RealType type)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a RealType.

Specified by:

visitRealType in interface IDatatypeVisitor

Parameters:

type - The IDatatype which should be visited.

visitCompoundType

public void visitCompoundType(Compound compound)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a Compound.

Specified by:

visitCompoundType in interface IDatatypeVisitor

Parameters:

compound - The Compound which should be visited.

visitAttributeAssignment

public void visitAttributeAssignment(AttributeAssignment assignment)

Description copied from interface: IModelVisitor

Visits an attribute assignment.

Specified by:

visitAttributeAssignment in interface IModelVisitor

Overrides:

visitAttributeAssignment in class ConstraintFinder

Parameters:

assignment - the assignment to visit

visitSet

public void visitSet(Set set)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting a set.

Specified by:

visitSet in interface ICustomDatatypeVisitor

Specified by:

visitSet in interface IDatatypeVisitor

Overrides:

visitSet in class ConstraintFinder

Parameters:

set - The set which should be visited.

visitSequence

public void visitSequence(Sequence sequence)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting a sequence.

Specified by:

visitSequence in interface ICustomDatatypeVisitor

Specified by:

visitSequence in interface IDatatypeVisitor

Overrides:

visitSequence in class ConstraintFinder

Parameters:

sequence - The sequence which should be visited.

visitEnumType

public void visitEnumType(Enum enumType)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a Enum.

Specified by:

visitEnumType in interface IDatatypeVisitor

Parameters:

enumType - The Enum which should be visited.

visitOrderedEnumType

public void visitOrderedEnumType(OrderedEnum enumType)

Description copied from interface: IDatatypeVisitor

Visiting method for visiting a OrderredEnum.

Specified by:

visitOrderedEnumType in interface IDatatypeVisitor

Parameters:

enumType - The Enum which should be visited.