controller2.getVisualisedObjectManager().showObject(parNode);
}
public void renderGraph()
{
GraphOutputRenderer ren = new DotOutputGraphRenderer(new DefaultNodeLabelRenderer(), new DefaultEdgeLabelRenderer());
JFileChooser chooser = new JFileChooser();
if(chooser.showSaveDialog(frame1) == JFileChooser.APPROVE_OPTION)
{
try
{
FileOutputStream fos = new FileOutputStream(chooser.getSelectedFile());
ren.renderGraph(controller1.getGraphGenerator().getGraph(), fos);
fos.close();
System.out.println("Rendered");