public class AutomatonFileReader extends Object implements AutomatonReader
Constructor and Description |
---|
AutomatonFileReader() |
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.
|
public Automaton readAutomaton(String filename) throws FileNotFoundException, IOException
AutomatonReader
readAutomaton
in interface AutomatonReader
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