org.processmining.datapetrinets.dsl.editor

Class PNTextEditorPlugin

java.lang.Object

org.processmining.datapetrinets.dsl.editor.PNTextEditorPlugin

public final class PNTextEditorPlugin
extends java.lang.Object

Constructor Summary

Constructors

Constructor and Description
PNTextEditorPlugin()

Method Summary

Modifier and Type	Method and Description
static DPNTextEditor	createDPN(org.processmining.framework.plugin.PluginContext context)
static DPNTextEditor	editDPN(org.processmining.framework.plugin.PluginContext context, org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)

Methods inherited from class java.lang.Object

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

Constructor Detail

PNTextEditorPlugin

public PNTextEditorPlugin()

Method Detail

createDPN

public static DPNTextEditor createDPN(org.processmining.framework.plugin.PluginContext context)

editDPN

public static DPNTextEditor editDPN(org.processmining.framework.plugin.PluginContext context,
                                    org.processmining.models.graphbased.directed.petrinet.PetrinetGraph net)