org.processmining.mining.petrinetmining
Class PetriNetResult

java.lang.Object
  extended by org.processmining.mining.petrinetmining.PetriNetResult
All Implemented Interfaces:
Provider, LogReaderConnection, MiningResult

public class PetriNetResult
extends java.lang.Object
implements MiningResult, Provider, LogReaderConnection

Version:
1.0
Author:
Peter van den Brand

Field Summary
protected  LogReader log
           
 
Constructor Summary
PetriNetResult(LogReader log, PetriNet net)
           
PetriNetResult(LogReader log, PetriNet net, MiningPlugin algorithm)
           
PetriNetResult(PetriNet net)
           
 
Method Summary
 void addInHierarchy(java.lang.Object child, java.lang.Object parent, java.lang.String label)
           
 void connectWith(LogReader newLog, java.util.HashMap eventsMapping)
          Connects a LogReader to the object.
 java.util.ArrayList getConnectableObjects()
          Returns all connectable objects of the underlying model.
 LogReader getLogReader()
          Returns the LogReader object that was used to generate this mining result.
 PetriNet getPetriNet()
           
 ProvidedObject[] getProvidedObjects()
           
 javax.swing.JComponent getVisualization()
          Returns a component that contains the visualization of this mining result.
protected  void repaint()
           
 void unSelectAll()
          unSelectAll
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

log

protected LogReader log
Constructor Detail

PetriNetResult

public PetriNetResult(PetriNet net)

PetriNetResult

public PetriNetResult(LogReader log,
                      PetriNet net)

PetriNetResult

public PetriNetResult(LogReader log,
                      PetriNet net,
                      MiningPlugin algorithm)
Method Detail

addInHierarchy

public void addInHierarchy(java.lang.Object child,
                           java.lang.Object parent,
                           java.lang.String label)

getProvidedObjects

public ProvidedObject[] getProvidedObjects()
Specified by:
getProvidedObjects in interface Provider

getPetriNet

public PetriNet getPetriNet()

getLogReader

public LogReader getLogReader()
Description copied from interface: MiningResult
Returns the LogReader object that was used to generate this mining result. This function may return null.

Specified by:
getLogReader in interface MiningResult
Returns:
the LogReader object that was used to generate this mining result or null.

getVisualization

public javax.swing.JComponent getVisualization()
Description copied from interface: MiningResult
Returns a component that contains the visualization of this mining result. This function should return null if this result cannot be visualized.

Specified by:
getVisualization in interface MiningResult
Returns:
a component that contains the visualization of this mining result or null if this result cannot be visualized

repaint

protected void repaint()

getConnectableObjects

public java.util.ArrayList getConnectableObjects()
Description copied from interface: LogReaderConnection
Returns all connectable objects of the underlying model.

Specified by:
getConnectableObjects in interface LogReaderConnection
Returns:
all connectable objects of the underlying model

connectWith

public void connectWith(LogReader newLog,
                        java.util.HashMap eventsMapping)
Description copied from interface: LogReaderConnection
Connects a LogReader to the object. The eventsMapping variable is a HashMap that has a key for every Object returned by the getConnectableObjects method. Each key is an Object and it is associated with an Object[2] object. This array contains two objects. The first object is a LogEvent object, to which the original should be mapped. The second is a String object, representing the label that should be used for the identifier of the underlying graphical object. The eventsMapping parameter may be null.

Specified by:
connectWith in interface LogReaderConnection
Parameters:
newLog - the log reader to connect
eventsMapping - the events to map

unSelectAll

public void unSelectAll()
unSelectAll