Package net.ssehub.easy.varModel.cst

Interface IConstraintTreeVisitor

    • Method Detail

      • 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