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