Package org.harctoolbox.irscrutinizer.exporter

Class ProntoClassicExporter

java.lang.Object

org.harctoolbox.irscrutinizer.exporter.Exporter

org.harctoolbox.irscrutinizer.exporter.RemoteSetExporter

org.harctoolbox.irscrutinizer.exporter.ProntoClassicExporter

public class ProntoClassicExporter
extends RemoteSetExporter

This class does something interesting and useful. Or not...

Field Summary

Fields

Modifier and Type	Field	Description
static final String[]	prontoModelNames

Constructor Summary

Constructors

Constructor	Description
ProntoClassicExporter(com.neuron.app.tonto.ProntoModel prontomodel, int buttonwidth, int buttonheight, int screenwidth, int screenheight)

Method Summary

Modifier and Type	Method	Description
void	export(org.harctoolbox.girr.RemoteSet remoteSet, String title, File saveFile, String charsetName)
DocumentFragment	getDocumentation()
String[][]	getFileExtensions()
String	getName()
String	getPreferredFileExtension()

Methods inherited from class org.harctoolbox.irscrutinizer.exporter.RemoteSetExporter

export, export, export, export, export, export, export, supportsEmbeddedFormats, supportsMetaData

Methods inherited from class org.harctoolbox.irscrutinizer.exporter.Exporter

considersRepetitions, export, export, export, export, exportFilename, getCharset, getCreatingUser, getDateFormatString, getDateString, getDocument, getDocument, getEncoding, getLastSaveFileOrCopy, parseToDocumentFragment, possiblyMakeExecutable, setCreatingUser, setDateFormatFileString, setDateFormatString, setEncoding

Methods inherited from class java.lang.Object

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

Field Details

prontoModelNames

public static final String[] prontoModelNames

Constructor Details

ProntoClassicExporter

public ProntoClassicExporter(com.neuron.app.tonto.ProntoModel prontomodel,
 int buttonwidth,
 int buttonheight,
 int screenwidth,
 int screenheight)

Method Details

getFileExtensions

public String[][] getFileExtensions()

Specified by:

getFileExtensions in class Exporter

getPreferredFileExtension

public String getPreferredFileExtension()

Specified by:

getPreferredFileExtension in class Exporter

getName

public String getName()

Specified by:

getName in class Exporter

getDocumentation

public DocumentFragment getDocumentation()

Specified by:

getDocumentation in class Exporter

export

public void export(org.harctoolbox.girr.RemoteSet remoteSet,
 String title,
 File saveFile,
 String charsetName)
            throws IOException,
org.harctoolbox.girr.GirrException,
org.harctoolbox.irp.IrpException,
org.harctoolbox.ircore.IrCoreException

Specified by:

export in class RemoteSetExporter

Throws:

IOException

org.harctoolbox.girr.GirrException

org.harctoolbox.irp.IrpException

org.harctoolbox.ircore.IrCoreException