Class SAFSerializationNFA
- java.lang.Object
-
- net.automatalib.serialization.saf.SAFSerializationNFA
-
- All Implemented Interfaces:
InputModelDeserializer<Integer,NFA<Integer,Integer>>
,InputModelSerializationProvider<Integer,NFA<?,Integer>,NFA<Integer,Integer>>
,InputModelSerializer<Integer,NFA<?,Integer>>
,ModelDeserializer<InputModelData<Integer,NFA<Integer,Integer>>>
,ModelSerializer<InputModelData<Integer,NFA<?,Integer>>>
,SerializationProvider<InputModelData<Integer,NFA<?,Integer>>,InputModelData<Integer,NFA<Integer,Integer>>>
public final class SAFSerializationNFA extends Object implements InputModelSerializationProvider<Integer,NFA<?,Integer>,NFA<Integer,Integer>>
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static SAFSerializationNFA
getInstance()
InputModelData<Integer,NFA<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, NFA<?,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 SAFSerializationNFA getInstance()
-
readModel
public InputModelData<Integer,NFA<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,NFA<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, NFA<?,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 interfaceInputModelSerializer<Integer,NFA<?,Integer>>
- 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.
-
-