public class GraphPainter extends BaseGraphVisitor
| Modifier and Type | Method and Description |
|---|---|
void |
completeGraph(Graph graph) |
StatusProvider |
getStatusProvider() |
void |
visitEdge(Edge edge) |
void |
visitGraph(Graph graph) |
void |
visitVertex(Vertex vertex) |
public StatusProvider getStatusProvider()
public void visitGraph(Graph graph) throws com.vaadin.server.PaintException
visitGraph in interface GraphVisitorvisitGraph in class BaseGraphVisitorcom.vaadin.server.PaintExceptionpublic void visitVertex(Vertex vertex) throws com.vaadin.server.PaintException
visitVertex in interface GraphVisitorvisitVertex in class BaseGraphVisitorcom.vaadin.server.PaintExceptionpublic void visitEdge(Edge edge) throws com.vaadin.server.PaintException
visitEdge in interface GraphVisitorvisitEdge in class BaseGraphVisitorcom.vaadin.server.PaintExceptionpublic void completeGraph(Graph graph) throws com.vaadin.server.PaintException
completeGraph in interface GraphVisitorcompleteGraph in class BaseGraphVisitorcom.vaadin.server.PaintExceptionCopyright © 2018. All rights reserved.