Class GraphPainter

    • Field Detail

      • DEFAULT_EDGE_PATH_OFFSET

        public static final int DEFAULT_EDGE_PATH_OFFSET
    • Method Detail

      • visitGraph

        public void visitGraph​(Graph graph)
                        throws com.vaadin.server.PaintException
        Specified by:
        visitGraph in interface GraphVisitor
        Throws:
        com.vaadin.server.PaintException
      • visitVertex

        public void visitVertex​(Vertex vertex)
                         throws com.vaadin.server.PaintException
        Specified by:
        visitVertex in interface GraphVisitor
        Throws:
        com.vaadin.server.PaintException
      • visitEdge

        public void visitEdge​(Edge edge)
                       throws com.vaadin.server.PaintException
        Specified by:
        visitEdge in interface GraphVisitor
        Throws:
        com.vaadin.server.PaintException
      • completeGraph

        public void completeGraph​(Graph graph)
                           throws com.vaadin.server.PaintException
        Specified by:
        completeGraph in interface GraphVisitor
        Throws:
        com.vaadin.server.PaintException