public interface EventAtomEditingDomainProvider<EventAtom>
Modifier and Type | Method and Description |
---|---|
org.eclipse.emf.edit.domain.EditingDomain |
findEditingDomain(org.eclipse.viatra.transformation.evm.api.Activation<? extends EventAtom> activation,
org.eclipse.viatra.transformation.evm.api.Context context) |
org.eclipse.emf.edit.domain.EditingDomain findEditingDomain(org.eclipse.viatra.transformation.evm.api.Activation<? extends EventAtom> activation, org.eclipse.viatra.transformation.evm.api.Context context)