Package net.automatalib.serialization.aut

Class AUTSerializationProvider

java.lang.Object

net.automatalib.serialization.aut.AUTSerializationProvider

All Implemented Interfaces:

SimpleAutomatonDeserializer<Integer,String>, SimpleAutomatonSerializationProvider<Integer,String>, SimpleAutomatonSerializer<String>, InputModelDeserializer<String,SimpleAutomaton<Integer,String>>, InputModelSerializer<String,SimpleAutomaton<?,String>>, ModelDeserializer<InputModelData<String,SimpleAutomaton<Integer,String>>>, ModelSerializer<InputModelData<String,SimpleAutomaton<?,String>>>

public final class AUTSerializationProvider
extends Object
implements SimpleAutomatonSerializationProvider<Integer,String>

Method Summary

Modifier and Type	Method	Description
static AUTSerializationProvider	getInstance()
<I2> InputModelData<I2,SimpleAutomaton<Integer,I2>>	readModel(InputStream is, Function<String,I2> inputTransformer)
<I2> void	writeModel(OutputStream os, SimpleAutomaton<?,I2> model, Alphabet<I2> alphabet, Function<I2,String> inputTransformer)

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

Methods inherited from interface net.automatalib.serialization.automaton.SimpleAutomatonDeserializer

readModel, readModel, readModel, readModel

Methods inherited from interface net.automatalib.serialization.automaton.SimpleAutomatonSerializer

writeModel, writeModel

Method Detail

getInstance

public static AUTSerializationProvider getInstance()

writeModel

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

Specified by:

writeModel in interface SimpleAutomatonSerializer<String>

Throws:

IOException

readModel

public <I2> InputModelData<I2,SimpleAutomaton<Integer,I2>> readModel(InputStream is,
                                                                                 Function<String,I2> inputTransformer)
                                                                          throws IOException

Specified by:

readModel in interface SimpleAutomatonDeserializer<Integer,String>

Throws:

IOException