import org.jgrapht.ext.EdgeNameProvider; //导入依赖的package包/类
/**
 * Constructs a new DOTExporter object with the given ID and label
 * providers.
 *
 * @param vertexIDProvider for generating vertex IDs. Must not be null.
 * @param vertexLabelProvider for generating vertex labels. If null, vertex
 * labels will not be written to the file.
 * @param edgeLabelProvider for generating edge labels. If null, edge labels
 * will not be written to the file.
 */
public DOTExporter(
    VertexNameProvider<V> vertexIDProvider,
    VertexNameProvider<V> vertexLabelProvider,
    EdgeNameProvider<E> edgeLabelProvider)
{
    this(
        vertexIDProvider,
        vertexLabelProvider,
        edgeLabelProvider,
        null,
        null);
}
 

import org.jgrapht.ext.EdgeNameProvider; //导入依赖的package包/类
@SuppressWarnings("unchecked")
public void export(String filename){
	VertexNameProvider<ApplicationVertex> vertID = new IntegerNameProvider<ApplicationVertex>();
	VertexNameProvider<ApplicationVertex> vertName = new IntegerNameProvider<ApplicationVertex>();
	EdgeNameProvider<ApplicationEdge> edgeName = new StringEdgeNameProvider<ApplicationEdge>();
	@SuppressWarnings({ "unchecked", "rawtypes" })
	DOTExporter t = new DOTExporter(vertID,vertName,edgeName);
	try {
		t.export(new FileWriter(filename), this.graph );

	} catch (IOException e) {
		System.out.println("Eccezione");
		e.printStackTrace();
	}
}