public class DotGraph
extends java.lang.Object
Constructor and Description |
---|
DotGraph() |
Modifier and Type | Method and Description |
---|---|
void |
generateDotFromGraph(Graph graph,
java.lang.String fileName)
This function generates a Dot File from the input
graph structure.
|
void |
generateJpgFromGraph(Graph graph,
java.lang.String fileName)
This function generates a JPEG File from the input
graph structure.
|
java.lang.String |
getDotDataInString(Graph graph)
This function return a string which contains the code for the DOT file.
|
public java.lang.String getDotDataInString(Graph graph)
graph
- object which has the informations of actors, ports, channels etc.public void generateJpgFromGraph(Graph graph, java.lang.String fileName)
graph
- object which has the informations of actors, ports, channels etc.public void generateDotFromGraph(Graph graph, java.lang.String fileName)
graph
- object which has the informations of actors, ports, channels etc.