public class SymbolicAutomatonReader extends Object implements AutomatonFileReader
Constructor and Description |
---|
SymbolicAutomatonReader() |
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
AutomatonFileReader
readAutomaton
in interface AutomatonFileReader
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