import org.jgrapht.ext.DOTExporter; //导入依赖的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.DOTExporter; //导入依赖的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.DOTExporter; //导入依赖的package包/类
private void exportGraph() {
  DOTExporter<GraphItem, JGraphEdge> dotExporter = new DOTExporter<>(new ExportVertexNameProvider(), null, null);
  try {
    dotExporter.export(new FileWriter(graphDotIn), graph);
  } catch (IOException e) {
    log.error("Voronoi treatment failed", e);
    throw new VoronoiTreatmentException(e.getMessage());
  }
}
 

import org.jgrapht.ext.DOTExporter; //导入依赖的package包/类
private void writeGraphDot(ClusteringGraph clusteringGraph) throws IOException {
  JGraphTBuilder jGraphTBuilder = new JGraphTBuilder();
  AbstractBaseGraph<GraphItem, JGraphEdge> graph = jGraphTBuilder.getJGraphTFrom(clusteringGraph);
  DOTExporter exporter = new DOTExporter(new IdProvider(), null, new EdgeLabelProvider(), new VertexAttributeProvider(imagesDir), null);
  FileWriter writer = new FileWriter(graphDot);
  exporter.export(writer, graph);
}
 

import org.jgrapht.ext.DOTExporter; //导入依赖的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.DOTExporter; //导入依赖的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.DOTExporter; //导入依赖的package包/类
private static void export(AbstractBaseGraph<GraphItem, JGraphEdge> graph, String fileName, Optional<File> imageDirectory) throws IOException {
  DOTExporter exporter = new DOTExporter(new IdProvider(), labelProvider(), new EdgeLabelProvider(), new VertexAttributeProvider(imageDirectory), null);
  FileWriter writer = new FileWriter(fileName);
  exporter.export(writer, graph);
}