|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectorg.processmining.exporting.epcs.PPMGraphFormatExportPlugin
public class PPMGraphFormatExportPlugin
Title:
Description:
Copyright: Copyright (c) 2004
Company:
Constructor Summary | |
---|---|
PPMGraphFormatExportPlugin()
|
Method Summary | |
---|---|
boolean |
accepts(ProvidedObject object)
|
void |
export(ProvidedObject object,
java.io.OutputStream output)
|
java.lang.String |
getFileExtension()
|
java.lang.String |
getHtmlDescription()
Gets a description of this plugin in HTML. |
java.lang.String |
getName()
Gets the name of this plugin. |
void |
write(java.io.OutputStream output,
ConfigurableEPC epc)
|
Methods inherited from class java.lang.Object |
---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Constructor Detail |
---|
public PPMGraphFormatExportPlugin()
Method Detail |
---|
public boolean accepts(ProvidedObject object)
accepts
in interface ExportPlugin
public java.lang.String getFileExtension()
getFileExtension
in interface ExportPlugin
public void export(ProvidedObject object, java.io.OutputStream output) throws java.io.IOException
export
in interface ExportPlugin
java.io.IOException
public java.lang.String getName()
Plugin
getName
in interface Plugin
public java.lang.String getHtmlDescription()
Plugin
html
, head
and
body
tags should not be used.
This HTML page is displayed in the help system or as context sensitive help.
The HTML body can be stored in an external file in the /lib/documentation/ sub
folder and in this case it can be obtained by calling PluginDocumentationLoader.load(this)
getHtmlDescription
in interface Plugin
public void write(java.io.OutputStream output, ConfigurableEPC epc) throws java.io.IOException
java.io.IOException
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |