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>

Nested Class Summary

Nested classes/interfaces inherited from interface net.automatalib.graphs.dot.GraphDOTHelper

GraphDOTHelper.CommonAttrs, GraphDOTHelper.CommonStyles, GraphDOTHelper.EdgeAttrs, GraphDOTHelper.NodeAttrs, GraphDOTHelper.NodeShapes, GraphDOTHelper.NodeStyles

Constructor Summary

Constructors

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

Method Summary

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)
void	getGlobalEdgeProperties(Map<String,String> properties)
void	getGlobalNodeProperties(Map<String,String> properties)
boolean	getNodeProperties(N node, Map<String,String> properties)
void	writePostamble(Mapping<N,String> identifiers, Appendable a)
void	writePreamble(Appendable a)

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

Specified by:

writePreamble in interface GraphDOTHelper<N,E>

Throws:

IOException

writePostamble

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

Specified by:

writePostamble in interface GraphDOTHelper<N,E>

Throws:

IOException

getNodeProperties

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

Specified by:

getNodeProperties in interface GraphDOTHelper<N,E>

getEdgeProperties

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

Specified by:

getEdgeProperties in interface GraphDOTHelper<N,E>

getGlobalNodeProperties

public void getGlobalNodeProperties(Map<String,String> properties)

Specified by:

getGlobalNodeProperties in interface GraphDOTHelper<N,E>

getGlobalEdgeProperties

public void getGlobalEdgeProperties(Map<String,String> properties)

Specified by:

getGlobalEdgeProperties in interface GraphDOTHelper<N,E>