Class IDecisionVariableInConstraintFinder
- java.lang.Object
-
- net.ssehub.easy.varModel.model.filter.AbstractVariableInConstraintFinder
-
- net.ssehub.easy.varModel.model.filter.IDecisionVariableInConstraintFinder
-
- All Implemented Interfaces:
IConstraintTreeVisitor
public class IDecisionVariableInConstraintFinder extends AbstractVariableInConstraintFinder
Searches forIDecisionVariables in aConstraintSyntaxTree.- Author:
- El-Sharkawy
- See Also:
DeclarationInContainerFinder
-
-
Field Summary
Fields Modifier and Type Field Description private Configurationconfigprivate IDecisionVariablelastVariableprivate java.util.Deque<IDecisionVariable>parentsprivate java.util.Set<IDecisionVariable>variables
-
Constructor Summary
Constructors Constructor Description IDecisionVariableInConstraintFinder(Configuration config)Single constructor for this class.
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description protected voidaddVariable(AbstractVariable declaration)Handle a discovered declaration.java.util.Set<IDecisionVariable>getVariables()Returns allAbstractVariable's inside the givenConstraintSyntaxTree.voidvisitAnnotationVariable(AttributeVariable variable)Visits aAttributeVariable.voidvisitCompoundAccess(CompoundAccess access)Visits a compound access node.voidvisitContainerOperationCall(ContainerOperationCall call)Visits a container operation call (e.g.voidvisitLet(Let let)Visits a let expression.voidvisitOclFeatureCall(OCLFeatureCall call)Visits an OCL feature call.protected voidvisitValue(Value value)Recursive method to find reference values pointing to aAbstractVariable.-
Methods inherited from class net.ssehub.easy.varModel.model.filter.AbstractVariableInConstraintFinder
visitBlockExpression, visitComment, visitCompoundInitializer, visitConstantValue, visitContainerInitializer, visitIfThen, visitMultiAndExpression, visitParenthesis, visitSelf, visitUnresolvedExpression, visitVariable
-
-
-
-
Field Detail
-
config
private Configuration config
-
parents
private java.util.Deque<IDecisionVariable> parents
-
lastVariable
private IDecisionVariable lastVariable
-
variables
private java.util.Set<IDecisionVariable> variables
-
-
Constructor Detail
-
IDecisionVariableInConstraintFinder
public IDecisionVariableInConstraintFinder(Configuration config)
Single constructor for this class.
This will not start the visitation, for this the#accept(net.ssehub.easy.varModel.cst.IConstraintTreeVisitor)must be called.- Parameters:
config- The underlying configuration, from which theIDecisionVariables shall come from.
-
-
Method Detail
-
getVariables
public java.util.Set<IDecisionVariable> getVariables()
Returns allAbstractVariable's inside the givenConstraintSyntaxTree.- Returns:
- A set of nested
AbstractVariable's (This set must not be null).
-
visitAnnotationVariable
public void visitAnnotationVariable(AttributeVariable variable)
Description copied from interface:IConstraintTreeVisitorVisits aAttributeVariable.- Parameters:
variable- the attribute variable which should be visited
-
visitLet
public void visitLet(Let let)
Description copied from interface:IConstraintTreeVisitorVisits a let expression.- Parameters:
let- the let expression which should be visited
-
visitContainerOperationCall
public void visitContainerOperationCall(ContainerOperationCall call)
Description copied from interface:IConstraintTreeVisitorVisits a container operation call (e.g. quantors, iterators).- Parameters:
call- the container operation call
-
visitCompoundAccess
public void visitCompoundAccess(CompoundAccess access)
Description copied from interface:IConstraintTreeVisitorVisits a compound access node.- Parameters:
access- the compound access node
-
visitValue
protected void visitValue(Value value)
Recursive method to find reference values pointing to aAbstractVariable.- Overrides:
visitValuein classAbstractVariableInConstraintFinder- Parameters:
value- the content of aConstantValue.- See Also:
AbstractVariableInConstraintFinder.visitConstantValue(net.ssehub.easy.varModel.cst.ConstantValue)
-
addVariable
protected void addVariable(AbstractVariable declaration)
Description copied from class:AbstractVariableInConstraintFinderHandle a discovered declaration.- Specified by:
addVariablein classAbstractVariableInConstraintFinder- Parameters:
declaration- The declaration which was found and should be added to the list of found elements.
-
visitOclFeatureCall
public void visitOclFeatureCall(OCLFeatureCall call)
Description copied from interface:IConstraintTreeVisitorVisits an OCL feature call.- Specified by:
visitOclFeatureCallin interfaceIConstraintTreeVisitor- Overrides:
visitOclFeatureCallin classAbstractVariableInConstraintFinder- Parameters:
call- the feature call which should be visited
-
-