Package net.automatalib.serialization.dot

Class DOTSerializationProvider<N,E>

java.lang.Object

net.automatalib.serialization.dot.DOTSerializationProvider<N,E>

All Implemented Interfaces:

ModelSerializer<Graph<N,E>>

public final class DOTSerializationProvider<N,E>
extends Object
implements ModelSerializer<Graph<N,E>>

Method Summary

Modifier and Type	Method	Description
static <N,E> DOTSerializationProvider<N,E>	getInstance()
void	writeModel(OutputStream os, Graph<N,E> model)	Writes the model to the given output stream.

Methods inherited from class java.lang.Object

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

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Method Detail

getInstance

public static <N,E> DOTSerializationProvider<N,E> getInstance()

writeModel

public void writeModel(OutputStream os,
                       Graph<N,E> model)
                throws IOException

Description copied from interface: ModelSerializer

Writes the model to the given output stream.

Note: the output stream will not be closed.

Specified by:

writeModel in interface ModelSerializer<N>

Parameters:

os - the output stream to write to

model - the model to write

Throws:

IOException - when writing to the output stream fails.