|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface GraphExporter
Classes implementing this interface provide exporting graphs into
different file types.
It is a one-way operation, in contrary to the GraphFileType
, which
must support both input and output. The usual application of the exporter
would be to export graphs in graphics file, such as GIF, TIFF, PS, WMV.
GraphFileType
Method Summary | |
---|---|
void |
export(java.io.File file,
GraphData data)
Exports the graph in the specified file. |
java.lang.String |
getExtension()
Retrieves the file extension for the file type that the exporter exports to. |
java.lang.String |
getName()
Retrieves the name of the exporter. |
Method Detail |
---|
void export(java.io.File file, GraphData data) throws GraphRWException, java.io.IOException
file
- The file where the graph is exported.data
- The graph data.
GraphRWException
- In the case of the write error.
java.io.IOException
- In the case of the IO error.java.lang.String getName()
java.lang.String getExtension()
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |