org.processmining.exporting.heuristicsNet
Class HnExport

java.lang.Object
  extended by org.processmining.exporting.heuristicsNet.HnExport
All Implemented Interfaces:
ExportPlugin, Plugin

public class HnExport
extends java.lang.Object
implements ExportPlugin

Title: Heuristics net's exporter

Description: This class exports heuristics net to a text file whose termination is ".ind".

Copyright: Copyright (c) 2004

Company: TU/e

Version:
1.0
Author:
Ana Karla A. de Medeiros

Field Summary
static java.lang.String FILE_TERMINATION
           
static java.lang.String FILE_TYPE
           
 
Constructor Summary
HnExport()
           
 
Method Summary
 boolean accepts(ProvidedObject original)
           
 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.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

FILE_TERMINATION

public static final java.lang.String FILE_TERMINATION
See Also:
Constant Field Values

FILE_TYPE

public static final java.lang.String FILE_TYPE
See Also:
Constant Field Values
Constructor Detail

HnExport

public HnExport()
Method Detail

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 original)
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