org.processmining.exporting.transitionsystem
Class TS2Petrify
java.lang.Object
org.processmining.exporting.transitionsystem.TS2Petrify
- All Implemented Interfaces:
- ExportPlugin, Plugin
public class TS2Petrify
- extends java.lang.Object
- implements ExportPlugin
- Version:
- 1.0
- Author:
- Vladimir Rubin
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
TS2Petrify
public TS2Petrify()
getName
public java.lang.String getName()
- Description copied from interface:
Plugin
- Gets the name of this plugin.
Implementing classes should use this method to return their own name.
- Specified by:
getName
in interface Plugin
- Returns:
- the name of this plugin
accepts
public boolean accepts(ProvidedObject object)
- Specified by:
accepts
in interface ExportPlugin
export
public void export(ProvidedObject object,
java.io.OutputStream output)
throws java.io.IOException
- Specified by:
export
in interface ExportPlugin
- Throws:
java.io.IOException
getFileExtension
public java.lang.String getFileExtension()
- Specified by:
getFileExtension
in interface ExportPlugin
getHtmlDescription
public java.lang.String getHtmlDescription()
- Description copied from interface:
Plugin
- Gets a description of this plugin in HTML.
The string returned by this method should only contain the contents of
the body of the html page, so the
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)
- Specified by:
getHtmlDescription
in interface Plugin
- Returns:
- a description of this plugin in HTML