Class LearnLibV2Serialization
- java.lang.Object
-
- net.automatalib.serialization.learnlibv2.LearnLibV2Serialization
-
- 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 class LearnLibV2Serialization extends Object implements InputModelSerializationProvider<Integer,DFA<?,Integer>,DFA<Integer,Integer>>
-
-
Constructor Summary
Constructors Constructor Description LearnLibV2Serialization()
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static LearnLibV2Serialization
getInstance()
CompactDFA<Integer>
readGenericDFA(InputStream is)
InputModelData<Integer,DFA<Integer,Integer>>
readModel(InputStream is)
Reads the contents from the given input stream and de-serializes it into a model instance.<I> void
writeGenericModel(OutputStream os, DFA<?,I> model, Alphabet<I> alphabet)
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 LearnLibV2Serialization getInstance()
-
writeModel
public void writeModel(OutputStream os, DFA<?,Integer> model, Alphabet<Integer> alphabet)
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<Integer,DFA<?,Integer>>
- Parameters:
os
- the output stream to write tomodel
- the model to writealphabet
- the inputs of the model to which serialization should be limited
-
writeGenericModel
public <I> void writeGenericModel(OutputStream os, DFA<?,I> model, Alphabet<I> alphabet)
-
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 interfaceModelDeserializer<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
-
readGenericDFA
public CompactDFA<Integer> readGenericDFA(InputStream is) throws IOException
- Throws:
IOException
-
-