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

Class DatatypeFinder

java.lang.Object
net.ssehub.easy.varModel.model.AbstractProjectVisitor
net.ssehub.easy.varModel.model.filter.DatatypeFinder
All Implemented Interfaces:
ICustomDatatypeVisitor, IModelVisitor
public class DatatypeFinder extends AbstractProjectVisitor
Visitor for finding CustomDatatype of a specific type.
Author:
El-Sharkawy, Sizonenko

  • Field Details

  • Constructor Details

    • DatatypeFinder

      public DatatypeFinder(Project originProject, FilterType filterType, IDatatype type)
      Sole constructor for creating a new DatatypeFinder.
      Parameters:
      originProject - The project where the visiting shall start
      filterType - Specifies whether project imports shall be considered or not.
      type - An optional parameter of which kind the found elements should be. This should be a CustomDatatype. If it is null all CustomDatatype will be collected.

  • Method Details

    • getFoundDatatypes

      public List<CustomDatatype> getFoundDatatypes()
      Returns a list of all found datatypes of the specified CustomDatatype.
      Returns:
      a list of found CustomDatatype defined inside the given Project. This list maybe empty.

    • 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

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

    • visitIDatatype

      private void visitIDatatype(CustomDatatype typeDefinition)
      Checks whether the visited datatype definition is an instance of the specified type and adds the type definition to the list of found elements.
      Parameters:
      typeDefinition - The visited datatype definition, which should be added to the list of found elements, if it is an instance of type.

    • 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