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

Class FreezeBlockFinder

java.lang.Object

net.ssehub.easy.varModel.model.AbstractProjectVisitor

net.ssehub.easy.varModel.model.filter.AbstractFrozenElementsFinder

net.ssehub.easy.varModel.model.filter.FreezeBlockFinder

All Implemented Interfaces:

ICustomDatatypeVisitor, IModelVisitor

public class FreezeBlockFinder
extends AbstractFrozenElementsFinder

Finds all freeze blocks in a given project.

Author:

El-Sharkawy

Field Summary

Fields

Modifier and Type	Field	Description
private java.util.List<FreezeBlock>	freezeBlocks

Constructor Summary

Constructors

Constructor	Description
FreezeBlockFinder(Project project, FilterType filtertype)	Default constructor for this class.

Method Summary

Modifier and Type	Method	Description
java.util.List<FreezeBlock>	getFreezeBlocks()	Returns a list of all freeze blocks in the specified project.
void	visitCompoundAccessStatement(CompoundAccessStatement access)	Visits a compound access statement (may occur in freeze blocks.
void	visitFreezeBlock(FreezeBlock freeze)	Method for visiting a freeze block.

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

visitAttribute, visitAttributeAssignment, visitComment, visitCompound, visitConstraint, visitDecisionVariableDeclaration, visitDerivedDatatype, visitEnum, visitEnumLiteral, visitOperationDefinition, visitOrderedEnum, visitPartialEvaluationBlock, visitProjectInterface, visitReference, visitSequence, visitSet

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

freezeBlocks

private java.util.List<FreezeBlock> freezeBlocks

Constructor Detail

FreezeBlockFinder

public FreezeBlockFinder(Project project,
                         FilterType filtertype)

Default constructor for this class.

Parameters:

project - The project which should be inspected.

filtertype - Specifies whether imports shall be considered or not.

Method Detail

getFreezeBlocks

public java.util.List<FreezeBlock> getFreezeBlocks()

Returns a list of all freeze blocks in the specified project.

Returns:

A maybe empty list of existing freeze blocks.

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.

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