- getExtensionsManager
ExtensionsManager getExtensionsManager()
Undocumented in source.
- getPluginLoader
PluginLoader getPluginLoader()
Undocumented in source.
- getResourceContentProvider
ResourceContentProvider getResourceContentProvider()
Undocumented in source.
- getResourceValidator
ResourceValidator getResourceValidator()
Undocumented in source.
- getURIResolver
URIResolver getURIResolver()
Undocumented in source.
- getWorkflowRunner
WorkflowRunner getWorkflowRunner()
Undocumented in source.