org.processmining.exporting.log
Class LogFilterExportPlugin

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

public class LogFilterExportPlugin
extends java.lang.Object
implements ExportPlugin

Title:

Description:

Copyright: Copyright (c) 2004

Company:

Version:
1.0
Author:
not attributable

Constructor Summary
LogFilterExportPlugin()
           
 
Method Summary
 boolean accepts(ProvidedObject object)
          accepts
 void export(ProvidedObject object, java.io.OutputStream output)
          export a LogFilter using the java.io.Serializable interface
 java.lang.String getFileExtension()
          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
 

Constructor Detail

LogFilterExportPlugin

public LogFilterExportPlugin()
Method Detail

accepts

public boolean accepts(ProvidedObject object)
accepts

Specified by:
accepts in interface ExportPlugin
Parameters:
object - ProvidedObject
Returns:
boolean

export

public void export(ProvidedObject object,
                   java.io.OutputStream output)
            throws java.io.IOException
export a LogFilter using the java.io.Serializable interface

Specified by:
export in interface ExportPlugin
Parameters:
object - ProvidedObject
output - OutputStream
Throws:
java.io.IOException

getFileExtension

public java.lang.String getFileExtension()
getFileExtension

Specified by:
getFileExtension in interface ExportPlugin
Returns:
String

getHtmlDescription

public java.lang.String getHtmlDescription()
Gets a description of this plugin in HTML.

Specified by:
getHtmlDescription in interface Plugin
Returns:
a description of this plugin in HTML

getName

public java.lang.String getName()
Gets the name of this plugin.

Specified by:
getName in interface Plugin
Returns:
the name of this plugin