org.processmining.mining.benchmark
Class LogReaderBenchmark
java.lang.Object
org.processmining.mining.benchmark.LogReaderBenchmark
- All Implemented Interfaces:
- Plugin, MiningPlugin
public class LogReaderBenchmark
- extends java.lang.Object
- implements MiningPlugin
- Author:
- Christian W. Guenther (christian@deckfour.org)
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
panel
protected BenchmarkPanel panel
rnd
protected java.util.Random rnd
timings
protected java.util.ArrayList<java.lang.Long> timings
readAtes
protected long readAtes
LogReaderBenchmark
public LogReaderBenchmark()
getOptionsPanel
public javax.swing.JPanel getOptionsPanel(LogSummary summary)
- Description copied from interface:
MiningPlugin
- Returns the option panel associated with this mining algorithm
or
null
if it has no options panel.
The option panel is the panel that is shown when a log file has just been opened.
The user can set the options for the mining algorithm here.
- Specified by:
getOptionsPanel
in interface MiningPlugin
- Parameters:
summary
- all known information about the log that's going to be mined with this algorithm
- Returns:
- the option panel associated with this mining algorithm
or
null
if it has no options panel
mine
public MiningResult mine(LogReader log)
- Description copied from interface:
MiningPlugin
- Execute this mining algorithm on the given log file.
The
log
parameter provides methods to
extract the process instances and audit trail entries (cases) from the log file.
This method is allowed to return null
in case there are no results.
- Specified by:
mine
in interface MiningPlugin
- Parameters:
log
- process instances and audit trail entries
- Returns:
- the result of the mining algorithm, in a
MininResult
object
readInstance
protected void readInstance(AuditTrailEntryList list)
throws java.lang.IndexOutOfBoundsException,
java.io.IOException
- Throws:
java.lang.IndexOutOfBoundsException
java.io.IOException
calculateRandomIndex
protected int calculateRandomIndex(int currentIndex,
int listSize)
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
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