grph.io

Class DGSWriter

java.lang.Object

grph.io.AbstractGraphWriter

grph.io.AbstractGraphTextWriter

grph.io.DGSWriter

public class DGSWriter
extends AbstractGraphTextWriter

Field Summary

Fields inherited from class grph.io.AbstractGraphWriter

extension_writer

Constructor Summary

Constructors

Constructor and Description
DGSWriter()

Method Summary

Modifier and Type	Method and Description
void	printGraph(Grph graph, java.io.PrintStream printStream)

Methods inherited from class grph.io.AbstractGraphTextWriter

printGraph, writeGraph

Methods inherited from class grph.io.AbstractGraphWriter

findWriter, getExtensions, writeGraph, writeGraph

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

DGSWriter

public DGSWriter()

Method Detail

printGraph

public void printGraph(Grph graph,
                       java.io.PrintStream printStream)
                throws java.io.IOException

Specified by:

printGraph in class AbstractGraphTextWriter

Throws:

java.io.IOException