net.automatalib.visualization

Class DummyVP

java.lang.Object

net.automatalib.visualization.DummyVP

All Implemented Interfaces:

VisualizationProvider

public class DummyVP
extends Object
implements VisualizationProvider

Constructor Summary

Constructors

Constructor and Description
DummyVP()

Method Summary

Modifier and Type	Method and Description
boolean	checkUsable()
String	getId()
int	getPriority()
<N,E> void	visualize(Graph<N,E> graph, GraphDOTHelper<N,? super E> helper, boolean modal, Map<String,String> options)

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.visualization.VisualizationProvider

getDescription, getName

Constructor Detail

DummyVP

public DummyVP()

Method Detail

getId

public String getId()

Specified by:

getId in interface VisualizationProvider

checkUsable

public boolean checkUsable()

Specified by:

checkUsable in interface VisualizationProvider

visualize

public <N,E> void visualize(Graph<N,E> graph,
                            GraphDOTHelper<N,? super E> helper,
                            boolean modal,
                            Map<String,String> options)

Specified by:

visualize in interface VisualizationProvider

getPriority

public int getPriority()

Specified by:

getPriority in interface VisualizationProvider