I
- The default input symbol typepublic interface SimpleAutomatonSerializer<I> extends InputModelSerializer<I,SimpleAutomaton<?,I>>
InputModelSerializer
that binds the model to SimpleAutomaton
s. 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).
Modifier and Type | Method and 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.
|
writeModel, writeModel
writeModel
<I2> void writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer) throws IOException
Note: the output stream will not be closed.
I2
- the input symbol type of the modelos
- the output stream to write tomodel
- the model to writealphabet
- the inputs of the model to which serialization should be limitinputTransformer
- a function to transform the inputs of the model to the inputs of this
serializer.IOException
- when writing to the output stream fails.default <I2> void writeModel(File f, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,I> inputTransformer) throws IOException
I2
- the input symbol type of the modelf
- the file to write tomodel
- the model to writealphabet
- the inputs of the model to which serialization should be limitinputTransformer
- a function to transform the inputs of the model to the inputs of this
serializer.IOException
- when writing to the output stream fails.default void writeModel(OutputStream os, SimpleAutomaton<?,I> model, Alphabet<I> alphabet) throws IOException
InputModelSerializer
Note: the output stream will not be closed.
writeModel
in interface InputModelSerializer<I,SimpleAutomaton<?,I>>
os
- the output stream to write tomodel
- the model to writealphabet
- the inputs of the model to which serialization should be limitIOException
- when writing to the output stream fails.Copyright © 2020. All rights reserved.