edu.uci.eecs.doc.cascade.graph
Class GraphMLWriter

java.lang.Object
  edu.uci.eecs.doc.cascade.graph.AbstractGraphWriter
      edu.uci.eecs.doc.cascade.graph.GraphMLWriter

All Implemented Interfaces:

GraphWriter

public class GraphMLWriter
extends AbstractGraphWriter

Exports a control flow graph to GraphML format.

Author:

Trevor Harmon

Field Summary

Fields inherited from class edu.uci.eecs.doc.cascade.graph.AbstractGraphWriter

edgeIDProvider, edgeLabelProvider, graph, vertexIDProvider, vertexLabelProvider

Constructor Summary

GraphMLWriter(Graph graph)
Creates a new GraphMLWriter object.

GraphMLWriter(Graph graph, VertexIDProvider vertexIDProvider, VertexLabelProvider vertexLabelProvider, EdgeIDProvider edgeIDProvider, EdgeLabelProvider edgeLabelProvider)
Creates a new GraphMLWriter object.

Method Summary

void	write(Writer out) Exports the control flow graph to the specified output stream.

Methods inherited from class edu.uci.eecs.doc.cascade.graph.AbstractGraphWriter

write

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

GraphMLWriter

public GraphMLWriter(Graph graph)

Creates a new GraphMLWriter object. Default IDs and labels will be provided for the vertices and edges of the graph.

Parameters:

graph - the control flow graph to be exported

GraphMLWriter

public GraphMLWriter(Graph graph,
                     VertexIDProvider vertexIDProvider,
                     VertexLabelProvider vertexLabelProvider,
                     EdgeIDProvider edgeIDProvider,
                     EdgeLabelProvider edgeLabelProvider)

Creates a new GraphMLWriter object.

Parameters:

graph - the control flow graph to be exported

vertexIDProvider - for generating vertex IDs

vertexLabelProvider - for generating vertex labels

edgeIDProvider - for generating edge IDs

edgeLabelProvider - for generating edge labels

Method Detail

write

public void write(Writer out)
           throws IOException

Exports the control flow graph to the specified output stream.

Specified by:

write in interface GraphWriter

Specified by:

write in class AbstractGraphWriter

Parameters:

out - an output stream in which to save the graph

Throws:

IOException - if the graph cannot be written to the stream