public class PlainTextWriter extends Object implements AutomatonWriter
Modifier and Type | Method and Description |
---|---|
static PlainTextWriter |
getWriter()
Returns a
PlainTextWriter to save Data objects to files. |
void |
write(Automaton automaton,
String filename)
Writes an automaton to the file specified by
filename . |
public static PlainTextWriter getWriter()
PlainTextWriter
to save Data
objects to files.public void write(Automaton automaton, String filename) throws FileNotFoundException, IOException
AutomatonWriter
filename
.write
in interface AutomatonWriter
automaton
- the automaton to be writtenfilename
- the filename of the file 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