Class TAFSerializationMealy
- java.lang.Object
-
- net.automatalib.serialization.taf.TAFSerializationMealy
-
- All Implemented Interfaces:
InputModelDeserializer<String,MealyMachine<?,String,?,String>>
,InputModelSerializationProvider<String,MealyMachine<?,String,?,?>,MealyMachine<?,String,?,String>>
,InputModelSerializer<String,MealyMachine<?,String,?,?>>
,ModelDeserializer<InputModelData<String,MealyMachine<?,String,?,String>>>
,ModelSerializer<InputModelData<String,MealyMachine<?,String,?,?>>>
,SerializationProvider<InputModelData<String,MealyMachine<?,String,?,?>>,InputModelData<String,MealyMachine<?,String,?,String>>>
public final class TAFSerializationMealy extends Object implements InputModelSerializationProvider<String,MealyMachine<?,String,?,?>,MealyMachine<?,String,?,String>>
-
-
Method Summary
All Methods Static Methods Instance Methods Concrete Methods Modifier and Type Method Description static TAFSerializationMealy
getInstance()
InputModelData<String,MealyMachine<?,String,?,String>>
readModel(InputStream is)
Reads the contents from the given input stream and de-serializes it into a model instance.void
writeModel(OutputStream os, MealyMachine<?,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 TAFSerializationMealy getInstance()
-
writeModel
public void writeModel(OutputStream os, MealyMachine<?,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,MealyMachine<?,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,MealyMachine<?,String,?,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,MealyMachine<?,String,?,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
-
-