templates.io
Class PNGExporter

java.lang.Object
  templates.io.PNGExporter

All Implemented Interfaces:

ides.api.plugin.io.ImportExportPlugin

public class PNGExporter
extends java.lang.Object
implements ides.api.plugin.io.ImportExportPlugin

Exporter of TemplateDiagrams to the PNG format.

Author:

Lenko Grigorov

Field Summary

protected static int	BORDER_SIZE The number of pixels to use as a frame around the output image.
protected static java.lang.String	description The description of the exporter which will appear in the dialog box where the user selects the export filter.
protected static java.lang.String	ext The file extension of the output file format.

Constructor Summary

PNGExporter()

Method Summary

void	exportFile(java.io.File src, java.io.File dst)
java.lang.String	getFileDescription()
java.lang.String	getFileExtension()
void	importFile(java.io.File src, java.io.File dst) Do nothing as import is not supported.

Methods inherited from class java.lang.Object

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

Field Detail

description

protected static final java.lang.String description

The description of the exporter which will appear in the dialog box where the user selects the export filter.

ext

protected static final java.lang.String ext

The file extension of the output file format.

See Also:

Constant Field Values

BORDER_SIZE

protected static final int BORDER_SIZE

The number of pixels to use as a frame around the output image.

See Also:

Constant Field Values

Constructor Detail

PNGExporter

public PNGExporter()

Method Detail

exportFile

public void exportFile(java.io.File src,
                       java.io.File dst)
                throws ides.api.plugin.io.FormatTranslationException

Specified by:

exportFile in interface ides.api.plugin.io.ImportExportPlugin

Throws:

ides.api.plugin.io.FormatTranslationException

importFile

public void importFile(java.io.File src,
                       java.io.File dst)

Do nothing as import is not supported.

Specified by:

importFile in interface ides.api.plugin.io.ImportExportPlugin

getFileDescription

public java.lang.String getFileDescription()

Specified by:

getFileDescription in interface ides.api.plugin.io.ImportExportPlugin

getFileExtension

public java.lang.String getFileExtension()

Specified by:

getFileExtension in interface ides.api.plugin.io.ImportExportPlugin