public class SymbolicAutomatonWriter extends Object implements AutomatonWriter
Constructor and Description |
---|
SymbolicAutomatonWriter() |
Modifier and Type | Method and Description |
---|---|
static SymbolicAutomatonWriter |
getWriter()
Returns a
DataObjectFileWriter to save Data objects to files. |
void |
write(Automaton automaton,
String zipname)
Writes an automaton to the zip archive specified by
zipname . |
public static SymbolicAutomatonWriter getWriter()
DataObjectFileWriter
to save Data
objects to files.public void write(Automaton automaton, String zipname) throws FileNotFoundException, IOException
zipname
.write
in interface AutomatonWriter
automaton
- the automaton to be writtenzipname
- the name of the zip archive to which the automaton is writtenFileNotFoundException
- thrown if the file exists but is a directory rather than a
regular file, does not exist but cannot be created, or cannot be opened for any other reasonIOException
- thrown if an I/O error occurs while writing the automaton