Package net.automatalib.serialization.dot

Interface DOTInputModelDeserializer<S,I,M extends SimpleTS<S,I>>

Type Parameters:

S - the state type of the de-serialized automaton

I - the type of input symbols

M - the type of objects implementing classes can deserialize

All Superinterfaces:

InputModelDeserializer<I,M>, ModelDeserializer<InputModelData<I,M>>

All Known Implementing Classes:

DOTMutableAutomatonParser

public interface DOTInputModelDeserializer<S,I,M extends SimpleTS<S,I>>
extends InputModelDeserializer<I,M>

A specialization of the InputModelDeserializer that returns a DOTInputModelData object which holds additional information about the state labels of the de-serialized automaton.

Method Summary

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

Method Detail

readModel

DOTInputModelData<S,I,M> 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 interface ModelDeserializer<S>

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

readModel

default DOTInputModelData<S,I,M> readModel(URL url)
                                                throws IOException

Description copied from interface: ModelDeserializer

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

Specified by:

readModel in interface ModelDeserializer<S>

Parameters:

url - the url to read data from

Returns:

the de-serialized model

Throws:

IOException - if an error occurred while reading from the stream

readModel

default DOTInputModelData<S,I,M> readModel(File f)
                                                throws IOException

Description copied from interface: ModelDeserializer

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

Specified by:

readModel in interface ModelDeserializer<S>

Parameters:

f - the file to read data from

Returns:

the de-serialized model

Throws:

IOException - if an error occurred while reading from the stream

readModel

default DOTInputModelData<S,I,M> readModel(byte[] buf)
                                                throws IOException

Description copied from interface: ModelDeserializer

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

Specified by:

readModel in interface ModelDeserializer<S>

Parameters:

buf - the buffer to read data from

Returns:

the de-serialized model

Throws:

IOException - if an error occurred while reading from the stream