public class TransactionUpdateCompleteProvider
extends org.eclipse.viatra.transformation.evm.update.UpdateCompleteProvider
Constructor and Description |
---|
TransactionUpdateCompleteProvider(org.eclipse.emf.transaction.TransactionalEditingDomain editingDomain)
Creates a new provider for the given
TransactionalEditingDomain |