public final class SAFSerializationNFA extends Object implements InputModelSerializationProvider<Integer,NFA<?,Integer>,NFA<Integer,Integer>>
Modifier and Type | Method and Description |
---|---|
static SAFSerializationNFA |
getInstance() |
InputModelData<Integer,NFA<Integer,Integer>> |
readModel(InputStream is)
Reads the contents from the given input stream and de-serializes it into a model instance.
|
void |
writeModel(OutputStream os,
NFA<?,Integer> model,
Alphabet<Integer> alphabet)
Writes the model to the given output stream.
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
writeModel, writeModel
writeModel
readModel, readModel, readModel
public static SAFSerializationNFA getInstance()
public InputModelData<Integer,NFA<Integer,Integer>> readModel(InputStream is) throws IOException
ModelDeserializer
Note: the input stream will not be closed.
readModel
in interface ModelDeserializer<InputModelData<Integer,NFA<Integer,Integer>>>
is
- the input stream to read data fromIOException
- if an error occurred while reading from the streampublic void writeModel(OutputStream os, NFA<?,Integer> model, Alphabet<Integer> alphabet) throws IOException
InputModelSerializer
Note: the output stream will not be closed.
writeModel
in interface InputModelSerializer<Integer,NFA<?,Integer>>
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.