@ParametersAreNonnullByDefault public abstract class AbstractETFWriter<I,A extends Automaton<?,I,?>> extends Object implements InputModelSerializer<I,A>
Constructor and Description |
---|
AbstractETFWriter() |
Modifier and Type | Method and Description |
---|---|
protected void |
write(PrintWriter printWriter,
A a,
Alphabet<I> inputs)
Write the full ETF.
|
protected abstract void |
writeEdge(PrintWriter printWriter)
Write an edge in the LTS.
|
protected abstract void |
writeETF(PrintWriter printWriter,
A a,
Alphabet<I> inputs)
Write parts of the ETF that are dependent on A.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
writeModel, writeModel, writeModel
writeModel
protected abstract void writeEdge(PrintWriter printWriter)
printWriter
- the Writer.protected abstract void writeETF(PrintWriter printWriter, A a, Alphabet<I> inputs)
a
- the automaton to write.inputs
- the alphabet.protected final void write(PrintWriter printWriter, A a, Alphabet<I> inputs)
printWriter
- the Writer.a
- the automaton to write.inputs
- the alphabet.Copyright © 2019. All rights reserved.