public class PngExporter extends GraphExporter
GraphExporter.Format
Constructor and Description |
---|
PngExporter()
Creates a new PNG exporter.
|
Modifier and Type | Method and Description |
---|---|
protected void |
exportGraphToStream(Graph graph,
java.io.OutputStream binOut)
Writes a visual representation of a graph to a binary stream.
|
protected void |
exportRuleToStream(Rule rule,
java.io.OutputStream binOut)
Writes a visual representation of a rule to a binary stream.
|
protected void |
exportSystemToStream(ExplicitTransitionSystem system,
java.io.OutputStream binOut)
Writes a visual representation of a labeled transition system to a
binary stream.
|
de.uni_due.inf.ti.visigraph.GraphDrawer |
getDrawer()
GraphDrawer object which is used to draw VxGraph instances.
|
de.uni_due.inf.ti.visigraph.Layouter |
getLayouter()
Returns the layouter object which this PngExporter uses to layout
new VxGraph instances.
|
GraphVisualizer |
getVisualizer()
Returns the GraphVisualizer which is used to transform Graph instances
to VxGraph instances.
|
void |
setLayouter(de.uni_due.inf.ti.visigraph.Layouter layouter)
Sets the Layouter object which this PngExporter uses to layout new
VxGraph instances.
|
void |
setVisualization(NamedObject obj,
de.uni_due.inf.ti.visigraph.VxGraph visi)
Associates an existing visualization object to an object.
|
void |
setVisualizer(GraphVisualizer visualizer)
Sets the GraphVisualizer object which transforms Graph instances to
VxGraph instances.
|
exportGraph, exportRule, exportTransformationSequence, exportTransitionSystem, getFormat
public void setVisualizer(GraphVisualizer visualizer)
public GraphVisualizer getVisualizer()
public de.uni_due.inf.ti.visigraph.GraphDrawer getDrawer()
public void setLayouter(de.uni_due.inf.ti.visigraph.Layouter layouter)
public de.uni_due.inf.ti.visigraph.Layouter getLayouter()
public void setVisualization(NamedObject obj, de.uni_due.inf.ti.visigraph.VxGraph visi)
protected void exportGraphToStream(Graph graph, java.io.OutputStream binOut) throws java.io.IOException
exportGraphToStream
in class GraphExporter
graph
- graph to exportbinOut
- binary stream where the visual representation of the graph is
written tojava.io.IOException
protected void exportRuleToStream(Rule rule, java.io.OutputStream binOut) throws java.io.IOException
exportRuleToStream
in class GraphExporter
rule
- graph to exportbinOut
- binary stream where the visual representation of the graph is
written tojava.io.IOException
protected void exportSystemToStream(ExplicitTransitionSystem system, java.io.OutputStream binOut) throws java.io.IOException
GraphExporter
exportSystemToStream
in class GraphExporter
system
- system to write a visual representation ofbinOut
- stream where the visual representation is written tojava.io.IOException
- if an IO error occurs