public class SVGWriter extends Object implements GraphWriter, CospanWriter
Constructor and Description |
---|
SVGWriter() |
Modifier and Type | Method and Description |
---|---|
void |
write(Cospan cospan,
String filename)
Writes a cospan to the file specified by
filename . |
void |
write(Graph graph,
String filename)
Writes a graph to the file specified by
filename . |
void |
write(VisualGraph graph,
String filename)
Writes a graph to the file specified by
filename . |
public void write(Graph graph, String filename) throws FileNotFoundException, IOException
GraphWriter
filename
.write
in interface GraphWriter
graph
- the graph to be writtenfilename
- the filename of the file to which the graph 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 graphpublic void write(Cospan cospan, String filename) throws FileNotFoundException, IOException
CospanWriter
filename
.write
in interface CospanWriter
cospan
- the cospan to be writtenfilename
- the filename of the file to which the cospan 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 automatonpublic void write(VisualGraph graph, String filename) throws FileNotFoundException, IOException
filename
.graph
- the visual graph to be writtenfilename
- the filename of the file to which the visual graph 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 visual graph