public final class TAFSerializationMealy extends Object implements InputModelSerializationProvider<String,MealyMachine<?,String,?,?>,MealyMachine<?,String,?,String>>
Modifier and Type | Method and Description |
---|---|
static TAFSerializationMealy |
getInstance() |
InputModelData<String,MealyMachine<?,String,?,String>> |
readModel(InputStream is) |
void |
writeModel(OutputStream os,
MealyMachine<?,String,?,?> model,
Alphabet<String> alphabet) |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
writeModel, writeModel
writeModel
readModel, readModel, readModel
public static TAFSerializationMealy getInstance()
public void writeModel(OutputStream os, MealyMachine<?,String,?,?> model, Alphabet<String> alphabet) throws IOException
writeModel
in interface InputModelSerializer<String,MealyMachine<?,String,?,?>>
IOException
public InputModelData<String,MealyMachine<?,String,?,String>> readModel(InputStream is) throws TAFParseException
readModel
in interface ModelDeserializer<InputModelData<String,MealyMachine<?,String,?,String>>>
TAFParseException
Copyright © 2019. All rights reserved.