Package com.uppaal.model.core2

Interface Visitor

    • Method Detail

      • visitElement

        void visitElement​(Element element)
           throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitNode

        void visitNode​(Node node)
        throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitProperty

        void visitProperty​(Property property)
            throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitDocument

        void visitDocument​(Document document)
            throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitTemplate

        void visitTemplate​(AbstractTemplate template)
            throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitLocation

        void visitLocation​(Location location)
            throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitBranchPoint

        void visitBranchPoint​(BranchPoint branchPoint)
               throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitEdge

        void visitEdge​(Edge edge)
        throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitNail

        void visitNail​(Nail nail)
        throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitInstanceLine

        void visitInstanceLine​(InstanceLine instance)
                throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitPrechart

        void visitPrechart​(Prechart prechart)
            throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitMessage

        void visitMessage​(Message message)
           throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitUpdate

        void visitUpdate​(Update update)
          throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitCondition

        void visitCondition​(Condition condition)
             throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitCut

        void visitCut​(Cut cut)
       throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitQueries

        void visitQueries​(QueryList queries)
           throws java.lang.Exception
        Throws:
        java.lang.Exception

      • visitQuery

        void visitQuery​(Query query)
         throws java.lang.Exception
        Throws:
        java.lang.Exception