net.automatalib.automata.dot

Class DOTHelperFSA<S,I>

java.lang.Object

net.automatalib.graphs.dot.DefaultDOTHelper<S,TransitionEdge<I,T>>

net.automatalib.automata.dot.DefaultDOTHelperAutomaton<S,I,S,FiniteStateAcceptor<S,I>>

net.automatalib.automata.dot.DOTHelperFSA<S,I>

All Implemented Interfaces:

GraphDOTHelper<S,TransitionEdge<I,S>>

public class DOTHelperFSA<S,I>
extends DefaultDOTHelperAutomaton<S,I,S,FiniteStateAcceptor<S,I>>

Field Summary

Fields inherited from class net.automatalib.automata.dot.DefaultDOTHelperAutomaton

automaton

Fields inherited from class net.automatalib.graphs.dot.DefaultDOTHelper

START_PREFIX

Fields inherited from interface net.automatalib.graphs.dot.GraphDOTHelper

LABEL, SHAPE

Constructor Summary

Constructors

Constructor and Description
DOTHelperFSA(FiniteStateAcceptor<S,I> automaton)

Method Summary

Methods

Modifier and Type	Method and Description
boolean	getNodeProperties(S node, Map<String,String> properties) Retrieves the GraphVIZ properties for rendering a single node.

Methods inherited from class net.automatalib.automata.dot.DefaultDOTHelperAutomaton

getEdgeProperties, initialNodes

Methods inherited from class net.automatalib.graphs.dot.DefaultDOTHelper

getInstance, writePostamble, writePreamble

Methods inherited from class java.lang.Object

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

Constructor Detail

DOTHelperFSA

public DOTHelperFSA(FiniteStateAcceptor<S,I> automaton)

Method Detail

getNodeProperties

public boolean getNodeProperties(S node,
                        Map<String,String> properties)

Description copied from interface: GraphDOTHelper

Retrieves the GraphVIZ properties for rendering a single node. Additionally, the return value allows to control whether or not to omit this node from rendering. If false is returned, the node will not be rendered. Consequently, any modifications to the properties map will have no effect. The properties are stored in the Map argument. Note that if an implementation of a base class is overridden, it is probably a good idea to call super.getNodeProperties(node, properties); at the beginning of the method.

Specified by:

getNodeProperties in interface GraphDOTHelper<S,TransitionEdge<I,S>>

Overrides:

getNodeProperties in class DefaultDOTHelper<S,TransitionEdge<I,S>>

Parameters:

node - the node to be rendered

properties - the property map

Returns:

whether or not this node should be rendered