Module net.automatalib.serialization.ba

Package net.automatalib.serialization.ba

Class BAWriter<I>

java.lang.Object

net.automatalib.serialization.ba.BAWriter<I>

All Implemented Interfaces:

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

public final class BAWriter<I>
extends Object
implements InputModelSerializer<I,FiniteStateAcceptor<?,I>>

A writer that exports automata to the BA format. For further information about the BA format, see https://languageinclusion.org/doku.php?id=tools#the_ba_format.

Constructor Summary

Constructors

Constructor	Description
BAWriter()

Method Summary

Modifier and Type	Method	Description
static <S,I> void	writeAutomaton(FiniteStateAcceptor<S,I> automaton, Alphabet<I> alphabet, OutputStream os)
void	writeModel(OutputStream os, FiniteStateAcceptor<?,I> model, Alphabet<I> alphabet)	Writes the model to the given output stream.

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.ModelSerializer

writeModel

Constructor Detail

BAWriter

public BAWriter()

Method Detail

writeModel

public void writeModel(OutputStream os,
                       FiniteStateAcceptor<?,I> model,
                       Alphabet<I> alphabet)
                throws IOException

Description copied from interface: InputModelSerializer

Writes the model to the given output stream. If the format is a textual one, the output is typically encoded in UTF-8.

Note: the output stream will not be closed.

Specified by:

writeModel in interface InputModelSerializer<I,FiniteStateAcceptor<?,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.

writeAutomaton

public static <S,I> void writeAutomaton(FiniteStateAcceptor<S,I> automaton,
                                              Alphabet<I> alphabet,
                                              OutputStream os)
                                       throws IOException

Throws:

IOException