Package net.automatalib.serialization.saf

Class SAFSerializationDFA

java.lang.Object

net.automatalib.serialization.saf.SAFSerializationDFA

All Implemented Interfaces:

InputModelDeserializer<Integer,DFA<Integer,Integer>>, InputModelSerializationProvider<Integer,DFA<?,Integer>,DFA<Integer,Integer>>, InputModelSerializer<Integer,DFA<?,Integer>>, ModelDeserializer<InputModelData<Integer,DFA<Integer,Integer>>>, ModelSerializer<InputModelData<Integer,DFA<?,Integer>>>, SerializationProvider<InputModelData<Integer,DFA<?,Integer>>,InputModelData<Integer,DFA<Integer,Integer>>>

public final class SAFSerializationDFA
extends Object
implements InputModelSerializationProvider<Integer,DFA<?,Integer>,DFA<Integer,Integer>>

Method Summary

Modifier and Type	Method	Description
static SAFSerializationDFA	getInstance()
InputModelData<Integer,DFA<Integer,Integer>>	readModel(InputStream is)	Reads the contents from the given input stream and de-serializes it into a model instance.
void	writeModel(OutputStream os, DFA<?,Integer> model, Alphabet<Integer> alphabet)	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.InputModelSerializer

writeModel, writeModel

Methods inherited from interface net.automatalib.serialization.ModelDeserializer

readModel, readModel, readModel

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Method Detail

getInstance

public static SAFSerializationDFA getInstance()

readModel

public InputModelData<Integer,DFA<Integer,Integer>> readModel(InputStream is)
                                                                   throws IOException

Description copied from interface: ModelDeserializer

Reads the contents from the given input stream and de-serializes it into a model instance.

Note: the input stream will not be closed.

Specified by:

readModel in interface ModelDeserializer<InputModelData<Integer,DFA<Integer,Integer>>>

Parameters:

is - the input stream to read data from

Returns:

the de-serialized model

Throws:

IOException - if an error occurred while reading from the stream

writeModel

public void writeModel(OutputStream os,
                       DFA<?,Integer> model,
                       Alphabet<Integer> alphabet)
                throws IOException

Description copied from interface: InputModelSerializer

Writes the model to the given output stream.

Note: the output stream will not be closed.

Specified by:

writeModel in interface InputModelSerializer<Integer,DFA<?,Integer>>

Parameters:

os - the output stream to write to

model - the model to write

alphabet - the inputs of the model to which serialization should be limited

Throws:

IOException - when writing to the output stream fails.