public class GraphPainter extends Object implements GraphVisitor
| Modifier and Type | Field and Description |
|---|---|
static int |
DEFAULT_EDGE_PATH_OFFSET |
| Modifier and Type | Method and Description |
|---|---|
void |
completeGraph(Graph graph) |
void |
visitEdge(Edge edge) |
void |
visitGraph(Graph graph) |
void |
visitVertex(Vertex vertex) |
public void visitGraph(Graph graph) throws com.vaadin.server.PaintException
visitGraph in interface GraphVisitorcom.vaadin.server.PaintExceptionpublic void visitVertex(Vertex vertex) throws com.vaadin.server.PaintException
visitVertex in interface GraphVisitorcom.vaadin.server.PaintExceptionpublic void visitEdge(Edge edge) throws com.vaadin.server.PaintException
visitEdge in interface GraphVisitorcom.vaadin.server.PaintExceptionpublic void completeGraph(Graph graph) throws com.vaadin.server.PaintException
completeGraph in interface GraphVisitorcom.vaadin.server.PaintExceptionCopyright © 2022. All rights reserved.