import org.jgrapht.ext.IntegerNameProvider; //导入依赖的package包/类
void toDOT(File file, DirectedGraph<AddonVertex, AddonDependencyEdge> graph)
{
   DOTExporter<AddonVertex, AddonDependencyEdge> exporter = new DOTExporter<>(
            new IntegerNameProvider<AddonVertex>(),
            new AddonVertexNameProvider(),
            new AddonDependencyEdgeNameProvider());
   try (FileWriter fw = new FileWriter(file))
   {
      exporter.export(fw, graph);
      fw.flush();
   }
   catch (IOException e)
   {
      e.printStackTrace();
   }
}
 

import org.jgrapht.ext.IntegerNameProvider; //导入依赖的package包/类
public void toDOT(File file)
{
   FileWriter fw = null;
   try
   {
      DOTExporter<AddonVertex, AddonDependencyEdge> exporter = new DOTExporter<AddonVertex, AddonDependencyEdge>(
               new IntegerNameProvider<AddonVertex>(),
               new AddonVertexNameProvider(),
               new AddonDependencyEdgeNameProvider());

      fw = new FileWriter(file);
      exporter.export(fw, graph);
      fw.flush();
   }
   catch (IOException e)
   {
      e.printStackTrace();
   }
   finally
   {
      Streams.closeQuietly(fw);
   }
}
 

import org.jgrapht.ext.IntegerNameProvider; //导入依赖的package包/类
private void toDot(String filename) {

		// TODO check if graphviz/dot is actually available on the current
		// machine

		try {

			FileWriter fstream = new FileWriter(filename);
			BufferedWriter out = new BufferedWriter(fstream);
			if (!graph.vertexSet().isEmpty()) {
				// FrameVertexNameProvider nameprovider = new
				// FrameVertexNameProvider(mn.instructions);
				// DOTExporter<Integer,DefaultEdge> exporter = new
				// DOTExporter<Integer,DefaultEdge>();
				// DOTExporter<Integer,DefaultEdge> exporter = new
				// DOTExporter<Integer,DefaultEdge>(new IntegerNameProvider(),
				// nameprovider, new IntegerEdgeNameProvider());
				// DOTExporter<Integer,DefaultEdge> exporter = new
				// DOTExporter<Integer,DefaultEdge>(new LineNumberProvider(),
				// new LineNumberProvider(), new IntegerEdgeNameProvider());
				DOTExporter<V, E> exporter = new DOTExporter<V, E>(
						new IntegerNameProvider<V>(),
						new StringNameProvider<V>(),
						new StringEdgeNameProvider<E>(),
						vertexAttributeProvider, edgeAttributeProvider);

				// new IntegerEdgeNameProvider<E>());
				exporter.export(out, graph);

				logger.info("exportet " + getName());
			}
		} catch (IOException e) {
			// TODO Auto-generated catch block
			e.printStackTrace();
		}
	}
 

import org.jgrapht.ext.IntegerNameProvider; //导入依赖的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();
	}
}
 

import org.jgrapht.ext.IntegerNameProvider; //导入依赖的package包/类
public static void exportGraph(Graph<StringLabeledObject,StringLabeledObject> g, File f) throws IOException{
	GmlExporter<StringLabeledObject,StringLabeledObject> export =
		new GmlExporter<StringLabeledObject,StringLabeledObject>(
				new IntegerNameProvider<StringLabeledObject>(), null,
				new IntegerEdgeNameProvider<StringLabeledObject>(), null);
	export.setPrintLabels(GmlExporter.PRINT_EDGE_VERTEX_LABELS);
	
	FileWriter out = new FileWriter(f);
	if(g instanceof DirectedGraph){
		export.export(out, (DirectedGraph<StringLabeledObject, StringLabeledObject>) g);
	} else if(g instanceof UndirectedGraph){
		export.export(out, (UndirectedGraph<StringLabeledObject, StringLabeledObject>) g);
	}
	out.close();
}
 

import org.jgrapht.ext.IntegerNameProvider; //导入依赖的package包/类
/**
 * Constructs a new DOTExporter object with an integer name provider for the
 * vertex IDs and null providers for the vertex and edge labels.
 */
public DOTExporter()
{
    this(new IntegerNameProvider<V>(), null, null);
}
 

import org.jgrapht.ext.IntegerNameProvider; //导入依赖的package包/类
public void toGraphML(Writer writer) throws SAXException, TransformerConfigurationException {
    GraphMLExporter gme = new GraphMLExporter(new IntegerNameProvider(), new StringNameProvider(), new IntegerEdgeNameProvider(), new StringEdgeNameProvider());
    gme.export(writer, this);
}
 

import org.jgrapht.ext.IntegerNameProvider; //导入依赖的package包/类
public void toGML(Writer writer)  {
    GmlExporter gme = new GmlExporter(new IntegerNameProvider(), new StringNameProvider(), new IntegerEdgeNameProvider(), new StringEdgeNameProvider());
    gme.setPrintLabels(GmlExporter.PRINT_EDGE_VERTEX_LABELS);
    gme.export(writer, this);
}