Package net.ssehub.easy.varModel.cst

Interface IConstraintTreeVisitor

All Known Implementing Classes:
AbstractConstraintTreeVisitor, AbstractStateVariablesInConstraintFinder, AbstractVariableInConstraintFinder, AbstractVarModelWriter, AssignmentReducer, BasicCopyVisitor, CompoundValueSetter, ConfigurableIVMLWriter, ConstraintClassifier, ConstraintReplacer, ConstraintSplitWriter, ContainsSelfVisitor, CopyVisitor, CSTCopyVisitor, DebugConstraintTreeVisitor, DeclrationInConstraintFinder, EvaluationVisitor, ExpressionVersionRestrictionValidator, IDecisionVariableInConstraintFinder, IvmlValidationVisitor, IVMLWriter, MandatoryDeclarationClassifier, PrefixSearchVisitor, StaticAccessFinder, ValidationVisitor, VariablesInConstraintFinder, VariableUsage
public interface IConstraintTreeVisitor
Defines the interface for a visitor for the constraint tree.
Author:
Holger Eichelberger

  • Method Details

    • visitConstantValue

      void visitConstantValue(ConstantValue value)
      Visits a constant value.
      Parameters:
      value - the value which should be visited

    • visitVariable

      void visitVariable(Variable variable)
      Visits a variable.
      Parameters:
      variable - the variable which should be visited

    • visitAnnotationVariable

      void visitAnnotationVariable(AttributeVariable variable)
      Visits a AttributeVariable.
      Parameters:
      variable - the attribute variable which should be visited

    • visitParenthesis

      void visitParenthesis(Parenthesis parenthesis)
      Visits a parenthesis.
      Parameters:
      parenthesis - the parenthesis which should be visited

    • visitComment

      void visitComment(Comment comment)
      Visits a comment.
      Parameters:
      comment - the comment node which should be visited

    • visitOclFeatureCall

      void visitOclFeatureCall(OCLFeatureCall call)
      Visits an OCL feature call.
      Parameters:
      call - the feature call which should be visited

    • visitLet

      void visitLet(Let let)
      Visits a let expression.
      Parameters:
      let - the let expression which should be visited

    • visitIfThen

      void visitIfThen(IfThen ifThen)
      Visits an if-then-else expression.
      Parameters:
      ifThen - the if-then-else expression which should be visited

    • visitContainerOperationCall

      void visitContainerOperationCall(ContainerOperationCall call)
      Visits a container operation call (e.g. quantors, iterators).
      Parameters:
      call - the container operation call

    • visitCompoundAccess

      void visitCompoundAccess(CompoundAccess access)
      Visits a compound access node.
      Parameters:
      access - the compound access node

    • visitUnresolvedExpression

      void visitUnresolvedExpression(UnresolvedExpression expression)
      Visits an unresolved expression. Please note that an unresolved expression may represent a leaf as well as an inner tree node. Typically, visitors shall continue visiting transparently at UnresolvedExpression.getActualExpression().
      Parameters:
      expression - the expression

    • visitCompoundInitializer

      void visitCompoundInitializer(CompoundInitializer initializer)
      Visits a compound initializer.
      Parameters:
      initializer - the compound initializer node

    • visitContainerInitializer

      void visitContainerInitializer(ContainerInitializer initializer)
      Visits a container initializer.
      Parameters:
      initializer - the container initializer node

    • visitSelf

      void visitSelf(Self self)
      Visits self.
      Parameters:
      self - the self object to visit

    • visitBlockExpression

      void visitBlockExpression(BlockExpression block)
      Visits the block.
      Parameters:
      block - the block to be visited

    • visitMultiAndExpression

      void visitMultiAndExpression(MultiAndExpression expression)
      Visits a multi-and expression.
      Parameters:
      expression - the expression to be visited

    • visitDeferInitExpression

      void visitDeferInitExpression(DeferInitExpression expression)
      Visits a default init expression.
      Parameters:
      expression - the expression