Interface DOTInputModelDeserializer<S,I,M extends SimpleTS<S,I>>
-
- Type Parameters:
S- the state type of the de-serialized automatonI- the type of input symbolsM- the type of objects implementing classes can deserialize
- All Superinterfaces:
InputModelDeserializer<I,M>,ModelDeserializer<InputModelData<I,M>>
- All Known Implementing Classes:
DOTMutableAutomatonParser
public interface DOTInputModelDeserializer<S,I,M extends SimpleTS<S,I>> extends InputModelDeserializer<I,M>
A specialization of theInputModelDeserializerthat returns aDOTInputModelDataobject which holds additional information about the state labels of the de-serialized automaton.
-
-
Method Summary
All Methods Instance Methods Abstract Methods Default Methods Modifier and Type Method Description default DOTInputModelData<S,I,M>readModel(byte[] buf)default DOTInputModelData<S,I,M>readModel(File f)DOTInputModelData<S,I,M>readModel(InputStream is)default DOTInputModelData<S,I,M>readModel(URL url)
-
-
-
Method Detail
-
readModel
DOTInputModelData<S,I,M> readModel(InputStream is) throws IOException
- Specified by:
readModelin interfaceModelDeserializer<S>- Throws:
IOException
-
readModel
default DOTInputModelData<S,I,M> readModel(URL url) throws IOException
- Specified by:
readModelin interfaceModelDeserializer<S>- Throws:
IOException
-
readModel
default DOTInputModelData<S,I,M> readModel(File f) throws IOException
- Specified by:
readModelin interfaceModelDeserializer<S>- Throws:
IOException
-
readModel
default DOTInputModelData<S,I,M> readModel(byte[] buf) throws IOException
- Specified by:
readModelin interfaceModelDeserializer<S>- Throws:
IOException
-
-