Package org.tweetyproject.graphs.util

Class GraphPlotter<T extends Node,S extends GeneralEdge<T>>

java.lang.Object

org.tweetyproject.graphs.util.GraphPlotter<T,S>

Type Parameters:

T - the node class of the graph which is to plot

S - the edge class of the grpah which is to plot

Direct Known Subclasses:

BpmnModelPlotter, DungTheoryPlotter, PetriNetPlotter, ReachabilityGraphPlotter, SerialisationGraphPlotter

public abstract class GraphPlotter<T extends Node,S extends GeneralEdge<T>>
extends Object

A generic class for plotting graphs

Author:

Benedikt Knopp

Constructor Summary

Constructors

Constructor	Description
GraphPlotter(Plotter plotter, Graph<T> graph)	Create a new instance

Method Summary

Modifier and Type	Method	Description
void	addLabels(List<String> labels)	Add some description to the panel
void	createGraph()	Parse the elements of the graph to visual elements and align them in a hierarchical (top-to-bottom) layout
void	createGraph(boolean isVertical)	Parse the elements of the graph to visual elements and align them in a hierarchical layout in a specified orientation

Methods inherited from class java.lang.Object

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

Constructor Details

GraphPlotter

public GraphPlotter(Plotter plotter,
 Graph<T> graph)

Create a new instance

Parameters:

plotter - the ground plotter

graph - the graph to plot

Method Details

addLabels

public void addLabels(List<String> labels)

Add some description to the panel

Parameters:

labels - some labels that will be aligned vertically

createGraph

public void createGraph()

Parse the elements of the graph to visual elements and align them in a hierarchical (top-to-bottom) layout

createGraph

public void createGraph(boolean isVertical)

Parse the elements of the graph to visual elements and align them in a hierarchical layout in a specified orientation

Parameters:

isVertical - If TRUE layout of graph is "top-to-bottom", if FALSE, layout is "left-to-right"