Package net.ssehub.easy.varModel.model.filter

Class EvalBlockFinder

java.lang.Object

net.ssehub.easy.varModel.model.AbstractProjectVisitor

net.ssehub.easy.varModel.model.filter.EvalBlockFinder

All Implemented Interfaces:

ICustomDatatypeVisitor, IModelVisitor

public class EvalBlockFinder
extends AbstractProjectVisitor

This class locates all PartialEvaluationBlock in a project.

Author:

El-Sharkawy

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.List<PartialEvaluationBlock>	evalBlocks

Constructor Summary

Constructors

Constructor	Description
EvalBlockFinder(Project project, FilterType filtertype)	Sole constructor for this class.

Method Summary

Modifier and Type	Method	Description
java.util.List<PartialEvaluationBlock>	getEvalBlocks()	Returns all discovered PartialEvaluationBlocks.
void	visitAttribute(Attribute attribute)	Method for visiting an attribute.
void	visitAttributeAssignment(AttributeAssignment assignment)	Visits an attribute assignment.
void	visitComment(Comment comment)	Method for visiting a comment.
void	visitCompound(Compound compound)	Method for visiting a compound.
void	visitCompoundAccessStatement(CompoundAccessStatement access)	Visits a compound access statement (may occur in freeze blocks.
void	visitConstraint(Constraint constraint)	Method for visiting a constraint.
void	visitDecisionVariableDeclaration(DecisionVariableDeclaration decl)	This method is used for visiting a decision variable declaration.
void	visitDerivedDatatype(DerivedDatatype datatype)	Method for visiting a derived datatype.
void	visitEnum(Enum eenum)	Method for visiting an enum.
void	visitEnumLiteral(EnumLiteral literal)	Method for visiting an enum literal.
void	visitFreezeBlock(FreezeBlock freeze)	Method for visiting a freeze block.
void	visitOperationDefinition(OperationDefinition opdef)	Method for visiting an operation definition.
void	visitOrderedEnum(OrderedEnum eenum)	Method for visiting an ordered enum.
void	visitPartialEvaluationBlock(PartialEvaluationBlock block)	Method for visiting a partial evaluation block.
void	visitProjectInterface(ProjectInterface iface)	Method for visiting a project interface.
void	visitReference(Reference reference)	Method for visiting a reference.
void	visitSequence(Sequence sequence)	Method for visiting a sequence.
void	visitSet(Set set)	Method for visiting a set.

Methods inherited from class net.ssehub.easy.varModel.model.AbstractProjectVisitor

clear, getFilterType, getStartingProject, visitProject, visitProjectImport

Methods inherited from class java.lang.Object

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

Field Detail

evalBlocks

private java.util.List<PartialEvaluationBlock> evalBlocks

Constructor Detail

EvalBlockFinder

public EvalBlockFinder(Project project,
                       FilterType filtertype)

Sole constructor for this class. Searches inside the specified project for PartialEvaluationBlocks.

Parameters:

project - The project which should be inspected.

filtertype - Specifies whether imports shall be considered or not.

Method Detail

getEvalBlocks

public java.util.List<PartialEvaluationBlock> getEvalBlocks()

Returns all discovered PartialEvaluationBlocks.

Returns:

All PartialEvaluationBlocks.

visitEnum

public void visitEnum(Enum eenum)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting an enum.

Parameters:

eenum - The enum which should be visited.

visitOrderedEnum

public void visitOrderedEnum(OrderedEnum eenum)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting an ordered enum.

Parameters:

eenum - The enum which should be visited.

visitCompound

public void visitCompound(Compound compound)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting a compound.

Parameters:

compound - The compound which should be visited.

visitDerivedDatatype

public void visitDerivedDatatype(DerivedDatatype datatype)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting a derived datatype.

Parameters:

datatype - The datatype which should be visited.

visitEnumLiteral

public void visitEnumLiteral(EnumLiteral literal)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting an enum literal.

Parameters:

literal - The literal which should be visited.

visitReference

public void visitReference(Reference reference)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting a reference.

Parameters:

reference - The reference which should be visited.

visitSequence

public void visitSequence(Sequence sequence)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting a sequence.

Parameters:

sequence - The sequence which should be visited.

visitSet

public void visitSet(Set set)

Description copied from interface: ICustomDatatypeVisitor

Method for visiting a set.

Parameters:

set - The set which should be visited.

visitDecisionVariableDeclaration

public void visitDecisionVariableDeclaration(DecisionVariableDeclaration decl)

Description copied from interface: IModelVisitor

This method is used for visiting a decision variable declaration.

Parameters:

decl - One declaration which should be visited.

visitAttribute

public void visitAttribute(Attribute attribute)

Description copied from interface: IModelVisitor

Method for visiting an attribute.

Parameters:

attribute - The attribute which should be visited.

visitConstraint

public void visitConstraint(Constraint constraint)

Description copied from interface: IModelVisitor

Method for visiting a constraint.

Parameters:

constraint - The constraint which should be visited.

visitFreezeBlock

public void visitFreezeBlock(FreezeBlock freeze)

Description copied from interface: IModelVisitor

Method for visiting a freeze block.

Parameters:

freeze - The freeze block which should be visited.

visitOperationDefinition

public void visitOperationDefinition(OperationDefinition opdef)

Description copied from interface: IModelVisitor

Method for visiting an operation definition.

Parameters:

opdef - The operation definition which should be visited.

visitPartialEvaluationBlock

public void visitPartialEvaluationBlock(PartialEvaluationBlock block)

Description copied from interface: IModelVisitor

Method for visiting a partial evaluation block.

Parameters:

block - The partial evaluation block which should be visited.

visitProjectInterface

public void visitProjectInterface(ProjectInterface iface)

Description copied from interface: IModelVisitor

Method for visiting a project interface.

Parameters:

iface - The interface which should be visited.

visitComment

public void visitComment(Comment comment)

Description copied from interface: IModelVisitor

Method for visiting a comment.

Parameters:

comment - the comment to visit

visitAttributeAssignment

public void visitAttributeAssignment(AttributeAssignment assignment)

Description copied from interface: IModelVisitor

Visits an attribute assignment.

Parameters:

assignment - the assignment to visit

visitCompoundAccessStatement

public void visitCompoundAccessStatement(CompoundAccessStatement access)

Description copied from interface: IModelVisitor

Visits a compound access statement (may occur in freeze blocks.

Parameters:

access - the access statement