package OurApplication; import logging.LogElementList; import visualisation.DrawArea; import visualizationElements.Edge; import java.awt.Graphics; /** * This class provides an example for using visualization.DrawArea. * @see logging.Algorithm @author MSch�fer * DHBW Stuttgart/Campus Horb AI2008
*
*/ public class OurDrawArea extends DrawArea{ private static final long serialVersionUID = 1L; private visualizationElements.Graph currentGraph; /** * Standard constructor. */ public OurDrawArea() { super(); } /** * Creates a test draw area and sets the specified log list. * @param logList the draw area's log list test log elements. * @param drawAreaName The display name over the draw area. */ public OurDrawArea(LogElementList logList, String drawAreaName){ super(logList, drawAreaName); } public void setCurrentGraph(visualizationElements.Graph graph) { this.currentGraph = graph; } /** * Draws a visualization element. */ public void draw(Graphics g) { OurLogElement logElement = (OurLogElement) logList.get(); logElement.getGraph().draw(g); for(Edge screenEdge : currentGraph.getEdges()){ g.drawString(screenEdge.getMarking(), (screenEdge.getSource().getXpos() + screenEdge.getDestination().getXpos())/2, (screenEdge.getSource().getYpos() + screenEdge.getDestination().getYpos())/2); } } }