}
@SuppressWarnings({"unchecked"})
private static void printGraph( Writer writer, SimpleDirectedGraph graph )
{
DOTExporter dot = new DOTExporter( new IntegerNameProvider(), new VertexNameProvider()
{
public String getVertexName( Object object )
{
if( object == null )
return "none";
return object.toString().replaceAll( "\"", "\'" );
}
}, new EdgeNameProvider<Object>()
{
public String getEdgeName( Object object )
{
if( object == null )
return "none";
return object.toString().replaceAll( "\"", "\'" );
}
}
);
dot.export( writer, graph );
}