Class BigraphGraphvizExporter
java.lang.Object
org.bigraphs.framework.visualization.BigraphGraphvizExporter
- All Implemented Interfaces:
BigraphGraphicsExporter<Bigraph<?>>
This class visualizes a bigraph by means of GraphViz.
Several styling can be configured, such as color, shape and the label format of each node.
- Author:
- Dominik Grzelak
-
Method Details
-
toPNG
- Specified by:
toPNG
in interfaceBigraphGraphicsExporter<Bigraph<?>>
- Throws:
IOException
-
with
- Specified by:
with
in interfaceBigraphGraphicsExporter<Bigraph<?>>
-
toPNG
- Throws:
IOException
-
toDOT
-
convert
public <S extends Signature<?>> String convert(Bigraph<S> bigraph, File output, guru.nidi.graphviz.engine.Format format, boolean asTreeStructure) throws IOException Converts a bigraph into DOT format ready to be visualized. If no output file is specified the resulting file will not be written. The DOT representation of the bigraph will still be returned.- Type Parameters:
S
-- Parameters:
bigraph
-output
- ifnull
no output file is createdformat
-- Returns:
- the DOT representation of the bigraph
- Throws:
IOException
-