Package de.uni_hildesheim.sse.translation

Class RefByCheckVisitor

  • All Implemented Interfaces:
    net.ssehub.easy.varModel.cst.IConstraintTreeVisitor
    public class RefByCheckVisitor
extends java.lang.Object
implements net.ssehub.easy.varModel.cst.IConstraintTreeVisitor
    A simple visitor checking whether an expression can be dereferenced.
    Author:
    Holger Eichelberger

    • Field Detail

      • canBeDereferenced

        private boolean canBeDereferenced

    • Constructor Detail

      • RefByCheckVisitor

        public RefByCheckVisitor()

    • Method Detail

      • canBeDereferenced

        public boolean canBeDereferenced()
        Returns whether the visited expression can be dereferenced.
        Returns:
        true if it can be dereferenced, false else

      • reset

        public void reset()
        Resets the value determined by this visitor.

      • visitConstantValue

        public void visitConstantValue​(net.ssehub.easy.varModel.cst.ConstantValue value)
        Specified by:
        visitConstantValue in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitVariable

        public void visitVariable​(net.ssehub.easy.varModel.cst.Variable variable)
        Specified by:
        visitVariable in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitAnnotationVariable

        public void visitAnnotationVariable​(net.ssehub.easy.varModel.cst.AttributeVariable variable)
        Specified by:
        visitAnnotationVariable in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitParenthesis

        public void visitParenthesis​(net.ssehub.easy.varModel.cst.Parenthesis parenthesis)
        Specified by:
        visitParenthesis in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitComment

        public void visitComment​(net.ssehub.easy.varModel.cst.Comment comment)
        Specified by:
        visitComment in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitOclFeatureCall

        public void visitOclFeatureCall​(net.ssehub.easy.varModel.cst.OCLFeatureCall call)
        Specified by:
        visitOclFeatureCall in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitDeferInitExpression

        public void visitDeferInitExpression​(net.ssehub.easy.varModel.cst.DeferInitExpression expression)
        Specified by:
        visitDeferInitExpression in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitMultiAndExpression

        public void visitMultiAndExpression​(net.ssehub.easy.varModel.cst.MultiAndExpression expression)
        Specified by:
        visitMultiAndExpression in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitLet

        public void visitLet​(net.ssehub.easy.varModel.cst.Let let)
        Specified by:
        visitLet in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitIfThen

        public void visitIfThen​(net.ssehub.easy.varModel.cst.IfThen ifThen)
        Specified by:
        visitIfThen in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitContainerOperationCall

        public void visitContainerOperationCall​(net.ssehub.easy.varModel.cst.ContainerOperationCall call)
        Specified by:
        visitContainerOperationCall in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitCompoundAccess

        public void visitCompoundAccess​(net.ssehub.easy.varModel.cst.CompoundAccess access)
        Specified by:
        visitCompoundAccess in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitUnresolvedExpression

        public void visitUnresolvedExpression​(net.ssehub.easy.varModel.cst.UnresolvedExpression expression)
        Specified by:
        visitUnresolvedExpression in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitCompoundInitializer

        public void visitCompoundInitializer​(net.ssehub.easy.varModel.cst.CompoundInitializer initializer)
        Specified by:
        visitCompoundInitializer in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitContainerInitializer

        public void visitContainerInitializer​(net.ssehub.easy.varModel.cst.ContainerInitializer initializer)
        Specified by:
        visitContainerInitializer in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitSelf

        public void visitSelf​(net.ssehub.easy.varModel.cst.Self self)
        Specified by:
        visitSelf in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor

      • visitBlockExpression

        public void visitBlockExpression​(net.ssehub.easy.varModel.cst.BlockExpression block)
        Specified by:
        visitBlockExpression in interface net.ssehub.easy.varModel.cst.IConstraintTreeVisitor