cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz
Class GraphvizLayoutFactory

java.lang.Object
  cz.cuni.mff.ksi.jinfer.autoeditor.automatonvisualizer.layouts.graphviz.GraphvizLayoutFactory

All Implemented Interfaces:

LayoutFactory, Capabilities, NamedModule, UserModuleDescription

public class GraphvizLayoutFactory
extends Object
implements LayoutFactory

Can create instance of Layout using external Graphviz dot executable.

Field Summary

static String	DISPLAY_NAME
static String	NAME
static String	PROPERTIES_DOTBIN

Constructor Summary

GraphvizLayoutFactory()

Method Summary

<T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>>	createLayout(Automaton<T> automaton, edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph, org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
List<String>	getCapabilities() Returns the list of capabilities (strings) of this module.
String	getDisplayName() Returns a user friendly name of the module.
String	getModuleDescription() Returns the information about this module's inner workings.
String	getName() Returns a user friendly yet unique name of the module.
String	getUserModuleDescription() Text to be displayed to user in properties panel as a moderate description of module.

Methods inherited from class java.lang.Object

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

Field Detail

NAME

public static final String NAME

See Also:

Constant Field Values

DISPLAY_NAME

public static final String DISPLAY_NAME

See Also:

Constant Field Values

PROPERTIES_DOTBIN

public static final String PROPERTIES_DOTBIN

See Also:

Constant Field Values

Constructor Detail

GraphvizLayoutFactory

public GraphvizLayoutFactory()

Method Detail

createLayout

public <T> edu.uci.ics.jung.algorithms.layout.Layout<State<T>,Step<T>> createLayout(Automaton<T> automaton,
                                                                                    edu.uci.ics.jung.graph.Graph<State<T>,Step<T>> graph,
                                                                                    org.apache.commons.collections15.Transformer<Step<T>,String> edgeLabelTransformer)
                                                                         throws InterruptedException

Specified by:

createLayout in interface LayoutFactory

Throws:

InterruptedException

getName

public String getName()

Description copied from interface: NamedModule

Returns a user friendly yet unique name of the module.

Specified by:

getName in interface NamedModule

Returns:

Unique module name.

getModuleDescription

public String getModuleDescription()

Description copied from interface: NamedModule

Returns the information about this module's inner workings. Most of the time will be equal to a call to NamedModule.getDisplayName(), but if the module for example consists of more sub-modules, their names should be listed here.

Specified by:

getModuleDescription in interface NamedModule

Returns:

String describing inner structure of the module.

getCapabilities

public List<String> getCapabilities()

Description copied from interface: Capabilities

Returns the list of capabilities (strings) of this module.

Specified by:

getCapabilities in interface Capabilities

Returns:

List of capability names.

getDisplayName

public String getDisplayName()

Description copied from interface: NamedModule

Returns a user friendly name of the module. This name is not neccessary unique.

Specified by:

getDisplayName in interface NamedModule

Returns:

Displayable module name.

getUserModuleDescription

public String getUserModuleDescription()

Description copied from interface: UserModuleDescription

Text to be displayed to user in properties panel as a moderate description of module. 10-20 lines.

Specified by:

getUserModuleDescription in interface UserModuleDescription

Returns: