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 GraphVisitor
com.vaadin.server.PaintException
public void visitVertex(Vertex vertex) throws com.vaadin.server.PaintException
visitVertex
in interface GraphVisitor
com.vaadin.server.PaintException
public void visitEdge(Edge edge) throws com.vaadin.server.PaintException
visitEdge
in interface GraphVisitor
com.vaadin.server.PaintException
public void completeGraph(Graph graph) throws com.vaadin.server.PaintException
completeGraph
in interface GraphVisitor
com.vaadin.server.PaintException
Copyright © 2021. All rights reserved.