Class AbstractSpecVisitor

    • Constructor Detail

      • AbstractSpecVisitor

        public AbstractSpecVisitor()
    • Method Detail

      • visitSpec

        public void visitSpec​(Spec spec)
                       throws java.lang.Exception
        Specified by:
        visitSpec in interface ISpecVisitor
        Throws:
        java.lang.Exception
      • visitSpecAgain

        public void visitSpecAgain​(Spec spec)
                            throws java.lang.Exception
        Specified by:
        visitSpecAgain in interface ISpecVisitor
        Throws:
        java.lang.Exception
      • visitField

        public void visitField​(Field field)
                        throws java.lang.Exception
        Specified by:
        visitField in interface ISpecVisitor
        Throws:
        java.lang.Exception
      • visitMethod

        public void visitMethod​(Method method)
                         throws java.lang.Exception
        Specified by:
        visitMethod in interface ISpecVisitor
        Throws:
        java.lang.Exception
      • visitMethodAgain

        public void visitMethodAgain​(Method method)
                              throws java.lang.Exception
        Specified by:
        visitMethodAgain in interface ISpecVisitor
        Throws:
        java.lang.Exception
      • visitAnyBlock

        public void visitAnyBlock​(Block block)
                           throws java.lang.Exception
        Specified by:
        visitAnyBlock in interface ISpecVisitor
        Throws:
        java.lang.Exception
      • visitWhenBlock

        public void visitWhenBlock​(WhenBlock block)
                            throws java.lang.Exception
        Specified by:
        visitWhenBlock in interface ISpecVisitor
        Throws:
        java.lang.Exception
      • visitThenBlock

        public void visitThenBlock​(ThenBlock block)
                            throws java.lang.Exception
        Specified by:
        visitThenBlock in interface ISpecVisitor
        Throws:
        java.lang.Exception