public abstract class GraphExporter
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
GraphExporter.Format |
Constructor and Description |
---|
GraphExporter(GraphExporter.Format format)
Creates a new GraphExporter instance.
|
Modifier and Type | Method and Description |
---|---|
void |
exportGraph(Graph graph,
java.io.File file)
Exports a graph.
|
protected abstract void |
exportGraphToStream(Graph graph,
java.io.OutputStream binOut)
Writes a visual representation of a graph to a binary stream.
|
void |
exportRule(Rule rule,
java.io.File file)
Exports a rule.
|
protected abstract void |
exportRuleToStream(Rule graph,
java.io.OutputStream binOut)
Writes a visual representation of a rule to a binary stream.
|
protected abstract void |
exportSystemToStream(ExplicitTransitionSystem system,
java.io.OutputStream binOut)
Writes a visual representation of a labeled transition system to a
binary stream.
|
void |
exportTransformationSequence(java.util.List<Transition> sequence,
java.io.File file)
Write a representation of a transformation sequence to a file.
|
void |
exportTransitionSystem(ExplicitTransitionSystem system,
java.io.File file)
Writes a visual representation of an explicit transition system to
a file.
|
GraphExporter.Format |
getFormat()
Returns the graphics format this GraphExporter exports to.
|
public GraphExporter(GraphExporter.Format format)
format
- graphics format this GraphExporter exports topublic final GraphExporter.Format getFormat()
protected abstract void exportGraphToStream(Graph graph, java.io.OutputStream binOut) throws java.io.IOException
graph
- graph to exportbinOut
- binary stream where the visual representation of the graph is
written tojava.io.IOException
protected abstract void exportRuleToStream(Rule graph, java.io.OutputStream binOut) throws java.io.IOException
graph
- graph to exportbinOut
- binary stream where the visual representation of the graph is
written tojava.io.IOException
protected abstract void exportSystemToStream(ExplicitTransitionSystem system, java.io.OutputStream binOut) throws java.io.IOException
system
- system to write a visual representation ofbinOut
- stream where the visual representation is written tographIds
- id strings of graphs in the systemjava.io.IOException
- if an IO error occurspublic void exportGraph(Graph graph, java.io.File file) throws java.io.IOException
graph
- the graph to write a visual representation offile
- the file to write the visual representation tojava.io.IOException
public void exportRule(Rule rule, java.io.File file) throws java.io.IOException
rule
- the graph to write a visual representation offile
- the file to write the visual representation tojava.io.IOException
public void exportTransitionSystem(ExplicitTransitionSystem system, java.io.File file) throws java.io.IOException
system
- transition system to write a visual representation offile
- file to write the visual representation tojava.io.IOException
- if an IO error occurspublic void exportTransformationSequence(java.util.List<Transition> sequence, java.io.File file) throws java.io.IOException
Calling exportTransformationSequence(sequence, out)
is
equivalent to calling
exportTransitionSystem(sequence, out, null)
.
sequence
- transformation sequence to be exportedout
- file to export the transformation sequence tojava.io.IOException
- when an IO error occurs