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

Class AbstractFrozenElementsFinder

java.lang.Object
net.ssehub.easy.varModel.model.AbstractProjectVisitor
net.ssehub.easy.varModel.model.filter.AbstractFrozenElementsFinder
All Implemented Interfaces:
ICustomDatatypeVisitor, IModelVisitor
Direct Known Subclasses:
FreezeBlockFinder, FrozenElementsFinder
abstract class AbstractFrozenElementsFinder extends AbstractProjectVisitor
Abstract superclass for FreezeBlockFinder and FrozenElementsFinder for discovering frozen elements.
Author:
El-Sharkawy

  • Constructor Details

    • AbstractFrozenElementsFinder

      protected AbstractFrozenElementsFinder(Project originProject, FilterType filterType)
      Sole constructor for this class.
      Parameters:
      originProject - The project on where the filtering was started.
      filterType - Specifies whether imports shall be considered or not.

  • Method Details

    • 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.

    • 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