Package net.automatalib.serialization.automaton

Interface SimpleAutomatonSerializer<I>

Type Parameters:

I - The default input symbol type

All Superinterfaces:

InputModelSerializer<I,SimpleAutomaton<?,I>>, ModelSerializer<InputModelData<I,SimpleAutomaton<?,I>>>

All Known Subinterfaces:

SimpleAutomatonSerializationProvider<S,I>

All Known Implementing Classes:

AUTSerializationProvider

public interface SimpleAutomatonSerializer<I>
extends InputModelSerializer<I,SimpleAutomaton<?,I>>

A refining interface of InputModelSerializer that binds the model to SimpleAutomatons. It also adds new functionality to dynamically serialize systems of arbitrary input type if a transformer to the default input type (specified by implementing class) is given.

Note: These model-specific interfaces may be omitted if Java starts supporting higher-kinded generics (or we switch to a language that supports these).

Method Summary

Modifier and Type	Method	Description
default <I2> void	writeModel(File f, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer)	Writes the model to the given file.
default void	writeModel(OutputStream os, SimpleAutomaton<?,I> model, Alphabet<I> alphabet)	Writes the model to the given output stream.
<I2> void	writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer)	Writes the model to the given output stream.

Methods inherited from interface net.automatalib.serialization.InputModelSerializer

writeModel, writeModel

Methods inherited from interface net.automatalib.serialization.ModelSerializer

writeModel

Method Detail

writeModel

<I2> void writeModel(OutputStream os,
                     SimpleAutomaton<?,I2> model,
                     Alphabet<I2> alphabet,
                     Function<I2,I> inputTransformer)
              throws IOException

Writes the model to the given output stream.

Note: the output stream will not be closed.

Type Parameters:

I2 - the input symbol type of the model

Parameters:

os - the output stream to write to

model - the model to write

alphabet - the inputs of the model to which serialization should be limited

inputTransformer - a function to transform the inputs of the model to the inputs of this serializer.

Throws:

IOException - when writing to the output stream fails.

writeModel

default <I2> void writeModel(File f,
                             SimpleAutomaton<?,I2> model,
                             Alphabet<I2> alphabet,
                             Function<I2,I> inputTransformer)
                      throws IOException

Writes the model to the given file.

Type Parameters:

I2 - the input symbol type of the model

Parameters:

f - the file to write to

model - the model to write

alphabet - the inputs of the model to which serialization should be limited

inputTransformer - a function to transform the inputs of the model to the inputs of this serializer.

Throws:

IOException - when writing to the output stream fails.

writeModel

default void writeModel(OutputStream os,
                        SimpleAutomaton<?,I> model,
                        Alphabet<I> 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 interface InputModelSerializer<I,SimpleAutomaton<?,I>>

Parameters:

os - the output stream to write to

model - the model to write

alphabet - the inputs of the model to which serialization should be limited

Throws:

IOException - when writing to the output stream fails.