Package | Description |
---|---|
org.processmining.contexts.cli |
Modifier and Type | Method and Description |
---|---|
protected CLIPluginContext |
CLIContext.getMainPluginContext() |
CLIPluginContext |
CLIPluginContext.getRootContext() |
Constructor and Description |
---|
CLIPluginContext(CLIPluginContext context,
java.lang.String label) |