Class TAFSerializationDFA
- java.lang.Object
-
- net.automatalib.serialization.taf.TAFSerializationDFA
-
- All Implemented Interfaces:
InputModelDeserializer<String,DFA<Integer,String>>
,InputModelSerializationProvider<String,DFA<?,String>,DFA<Integer,String>>
,InputModelSerializer<String,DFA<?,String>>
,ModelDeserializer<InputModelData<String,DFA<Integer,String>>>
,ModelSerializer<InputModelData<String,DFA<?,String>>>
,SerializationProvider<InputModelData<String,DFA<?,String>>,InputModelData<String,DFA<Integer,String>>>
public final class TAFSerializationDFA extends Object implements InputModelSerializationProvider<String,DFA<?,String>,DFA<Integer,String>>
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static TAFSerializationDFA
getInstance()
InputModelData<String,DFA<Integer,String>>
readModel(InputStream is)
Reads the contents from the given input stream and de-serializes it into a model instance.void
writeModel(OutputStream os, DFA<?,String> model, Alphabet<String> 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 TAFSerializationDFA getInstance()
-
writeModel
public void writeModel(OutputStream os, DFA<?,String> model, Alphabet<String> 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 interfaceInputModelSerializer<String,DFA<?,String>>
- Parameters:
os
- the output stream to write tomodel
- the model to writealphabet
- the inputs of the model to which serialization should be limited- Throws:
IOException
- when writing to the output stream fails.
-
readModel
public InputModelData<String,DFA<Integer,String>> 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 interfaceModelDeserializer<InputModelData<String,DFA<Integer,String>>>
- 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
-
-