public class ExecutionManagerRegistry
extends java.lang.Object
ExecutionManager from its editing domain.| Modifier and Type | Method and Description |
|---|---|
ExecutionManager |
addNewManager()
Create and register a new
ExecutionManager. |
void |
dispose()
Dispose registry content.
|
java.util.Collection<org.eclipse.emf.transaction.TransactionalEditingDomain> |
getAllEditingDomains() |
ExecutionManager |
getExecutionManager(org.eclipse.emf.edit.domain.EditingDomain editingDomain)
Get execution manager from editing domain.
|
static ExecutionManagerRegistry |
getInstance()
Get
ExecutionManagerRegistry unique instance. |
void |
removeManager(ExecutionManager executionManager)
Remove manager from all maps.
|
public void dispose()
public static ExecutionManagerRegistry getInstance()
ExecutionManagerRegistry unique instance.public ExecutionManager addNewManager()
ExecutionManager.public void removeManager(ExecutionManager executionManager)
executionManager - public ExecutionManager getExecutionManager(org.eclipse.emf.edit.domain.EditingDomain editingDomain)
editingDomain - the editing domain.null if none could be found.public java.util.Collection<org.eclipse.emf.transaction.TransactionalEditingDomain> getAllEditingDomains()