net.automatalib.serialization

Interface ModelDeserializer<M>

Type Parameters:

M - the type of objects implementing classes can deserialize

All Known Subinterfaces:

InputModelDeserializer<I,M>, InputModelSerializationProvider<I,OUT,IN>, SerializationProvider<OUT,IN>, SimpleAutomatonDeserializer<S,I>, SimpleAutomatonSerializationProvider<S,I>

All Known Implementing Classes:

AbstractFSM2MealyParser, AUTSerializationProvider, DOTGraphParser, DOTMutableAutomatonParser, FSM2DFAParser, FSM2MealyParserAlternating, FSM2MealyParserIO, LearnLibV2Serialization, SAFSerializationDFA, SAFSerializationNFA, TAFSerializationDFA, TAFSerializationMealy

public interface ModelDeserializer<M>

A generic interface for formalizing an arbitrary deserializer for a given model type.

Author:

frohme

Method Summary

Modifier and Type	Method and Description
default M	readModel(byte[] buf) Reads the contents from the given byte buffer and de-serializes it into a model instance.
default M	readModel(File f) Reads the contents from the given file and de-serializes it into a model instance.
M	readModel(InputStream is) Reads the contents from the given input stream and de-serializes it into a model instance.
default M	readModel(URL url) Reads the contents from the given URL and de-serializes it into a model instance.

Method Detail

readModel

M readModel(InputStream is)
     throws IOException

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

Note: the input stream will not be closed.

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

FormatException - if the content of the stream was not in the expected format

readModel

default M readModel(URL url)
             throws IOException

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

Parameters:

url - the url to read data from

Returns:

the de-serialized model

Throws:

IOException - if an error occurred while reading from the stream

FormatException - if the content of the stream was not in the expected format

readModel

default M readModel(File f)
             throws IOException

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

Parameters:

f - the file to read data from

Returns:

the de-serialized model

Throws:

IOException - if an error occurred while reading from the stream

FormatException - if the content of the stream was not in the expected format

readModel

default M readModel(byte[] buf)
             throws IOException

Reads the contents from the given byte buffer and de-serializes it into a model instance.

Parameters:

buf - the buffer to read data from

Returns:

the de-serialized model

Throws:

IOException - if an error occurred while reading from the stream

FormatException - if the content of the stream was not in the expected format