Package org.processmining.poemsconformancecheckingforbpmn.plugins.bpmn

Class BpmnReachabilityGraphPlugin

java.lang.Object

org.processmining.poemsconformancecheckingforbpmn.plugins.bpmn.BpmnReachabilityGraphPlugin

public class BpmnReachabilityGraphPlugin
extends java.lang.Object

Constructor Summary

Constructors

Constructor	Description
BpmnReachabilityGraphPlugin()

Method Summary

Modifier and Type	Method	Description
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph	run(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram)	The plug-in variant that runs in any context and requires a parameters.
org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph	run(org.processmining.framework.plugin.PluginContext context, org.processmining.plugins.bpmn.Bpmn bpmn)	The plug-in variant that runs in any context and requires a parameters.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

BpmnReachabilityGraphPlugin

public BpmnReachabilityGraphPlugin()

Method Detail

run

public org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph run(org.processmining.framework.plugin.PluginContext context,
                                                                                           org.processmining.models.graphbased.directed.bpmn.BPMNDiagram diagram)
                                                                                    throws BpmnNoOptionToCompleteException,
                                                                                           BpmnUnboundedException

The plug-in variant that runs in any context and requires a parameters.

Parameters:

context - The context to run in.

diagram - The first input is a BPMN Diagram.

Returns:

The output.

Throws:

BpmnNoOptionToCompleteException

BpmnUnboundedException

run

public org.processmining.models.graphbased.directed.transitionsystem.ReachabilityGraph run(org.processmining.framework.plugin.PluginContext context,
                                                                                           org.processmining.plugins.bpmn.Bpmn bpmn)
                                                                                    throws BpmnNoOptionToCompleteException,
                                                                                           BpmnUnboundedException

The plug-in variant that runs in any context and requires a parameters.

Parameters:

context - The context to run in.

bpmn - The first input is a bpmn model.

Returns:

The output.

Throws:

BpmnNoOptionToCompleteException

BpmnUnboundedException