public class DOTHelperFSA<S,I> extends DefaultDOTHelperAutomaton<S,I,S,FiniteStateAcceptor<S,I>>
GraphDOTHelper.CommonAttrs, GraphDOTHelper.CommonStyles, GraphDOTHelper.EdgeAttrs, GraphDOTHelper.NodeAttrs, GraphDOTHelper.NodeShapes, GraphDOTHelper.NodeStyles
automaton
START_PREFIX
Constructor and Description |
---|
DOTHelperFSA(FiniteStateAcceptor<S,I> automaton) |
Modifier and Type | Method and Description |
---|---|
boolean |
getNodeProperties(S node,
Map<String,String> properties)
Retrieves the GraphVIZ properties for rendering a single node.
|
getEdgeProperties, initialNodes
writePostamble, writePreamble
getGlobalEdgeProperties, getGlobalNodeProperties
public DOTHelperFSA(FiniteStateAcceptor<S,I> automaton)
public boolean getNodeProperties(S node, Map<String,String> properties)
GraphDOTHelper
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.getNodeProperties
in interface GraphDOTHelper<S,TransitionEdge<I,S>>
getNodeProperties
in class DefaultDOTHelper<S,TransitionEdge<I,S>>
node
- the node to be renderedproperties
- the property mapCopyright © 2015. All rights reserved.