public interface AutomatonReader
Modifier and Type | Method and Description |
---|---|
Automaton |
readAutomaton(String filename)
Reads an automaton from the given zip archive, puts it into the
repository and returns it.
|
Automaton readAutomaton(String filename) throws FileNotFoundException, IOException
filename
- the name of the zip fileFileNotFoundException
- thrown if the specified zip file can not
be foundIOException
- thrown if I/O errors occur while reading the zip file
or the object input stream