net.automatalib.graphs.dot

Class AggregateDOTHelper<N,E>

java.lang.Object

net.automatalib.graphs.dot.AggregateDOTHelper<N,E>

All Implemented Interfaces:

GraphDOTHelper<N,E>

public class AggregateDOTHelper<N,E>
extends Object
implements GraphDOTHelper<N,E>

Field Summary

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

LABEL, SHAPE

Constructor Summary

Constructors

Constructor and Description
AggregateDOTHelper()
AggregateDOTHelper(List<? extends GraphDOTHelper<N,? super E>> helpers)

Method Summary

Methods

Modifier and Type	Method and Description
void	add(GraphDOTHelper<N,? super E> helper)
boolean	getEdgeProperties(N src, E edge, N tgt, Map<String,String> properties) Retrieves the GraphVIZ properties for rendering a single edge.
boolean	getNodeProperties(N node, Map<String,String> properties) Retrieves the GraphVIZ properties for rendering a single node.
void	writePostamble(Mapping<N,String> identifiers, Appendable a) Called after the node and edge data are written, but before the closing brace.
void	writePreamble(Appendable a) Called before the node and edge data are written, but after the opening "digraph {" statement.

Methods inherited from class java.lang.Object

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

Constructor Detail

AggregateDOTHelper

public AggregateDOTHelper()

AggregateDOTHelper

public AggregateDOTHelper(List<? extends GraphDOTHelper<N,? super E>> helpers)

Method Detail

add

public void add(GraphDOTHelper<N,? super E> helper)

writePreamble

public void writePreamble(Appendable a)
                   throws IOException

Description copied from interface: GraphDOTHelper

Called before the node and edge data are written, but after the opening "digraph {" statement.

Specified by:

writePreamble in interface GraphDOTHelper<N,E>

Parameters:

a - the Appendable to write to

Throws:

IOException - if writing to a throws.

writePostamble

public void writePostamble(Mapping<N,String> identifiers,
                  Appendable a)
                    throws IOException

Description copied from interface: GraphDOTHelper

Called after the node and edge data are written, but before the closing brace.

Specified by:

writePostamble in interface GraphDOTHelper<N,E>

a - the Appendable to write to

Throws:

IOException - if writing to a throws.

getNodeProperties

public boolean getNodeProperties(N 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<N,E>

Parameters:

node - the node to be rendered

properties - the property map

Returns:

whether or not this node should be rendered

getEdgeProperties

public boolean getEdgeProperties(N src,
                        E edge,
                        N tgt,
                        Map<String,String> properties)

Description copied from interface: GraphDOTHelper

Retrieves the GraphVIZ properties for rendering a single edge. Additionally, the return value allows to control whether or not to omit this edge from rendering. If false is returned, the edge 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.getEdgeProperties(node, properties); at the beginning of the method.

Specified by:

getEdgeProperties in interface GraphDOTHelper<N,E>

edge - the edge to be rendered

properties - the property map

Returns:

whether or not this edge should be rendered