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
All Methods Static Methods Instance Methods Concrete Methods 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 interfaceModelSerializer<N>
- Parameters:
os
- the output stream to write tomodel
- the model to write- Throws:
IOException
- when writing to the output stream fails.
-
-