Class EditingDomainListener

  • public class EditingDomainListener
    extends Object
    Listener for an EditingDomain.
    herrmama, $Author$
    • Constructor Detail

      • EditingDomainListener

        public EditingDomainListener​(org.eclipse.emf.edit.domain.EditingDomain editingDomain)
    • Method Detail

      • beginListening

        public void beginListening()
        Start the listener.
      • endListening

        public void endListening()
        Stop the listener.
      • isListening

        public boolean isListening()
        Returns listening.
      • resetRecorder

        public void resetRecorder()
        Reset the recorder if it no longer works on the real metamodel.
      • loadHistory

        public boolean loadHistory()
        Load the history from a metamodel resource
      • isRecorded

        public boolean isRecorded​(org.eclipse.emf.ecore.resource.Resource metamodel)
        Check whether the history is already recorded for a metamodel.
      • addHistory

        public void addHistory​(org.eclipse.emf.ecore.resource.Resource metamodel)
        Add a metamodel resource to the history.
      • createHistory

        public void createHistory​(List<org.eclipse.emf.ecore.resource.Resource> metamodelResources)
        Create history for a certain metamodel.
      • createHistory

        public void createHistory​(List<org.eclipse.emf.ecore.resource.Resource> metamodelResources,
                                  org.eclipse.emf.common.util.URI historyURI)
        Create history for a certain metamodel.
      • release

        public void release()
        Release a metamodel.
      • getHistory

        public History getHistory()
        Get the history that is listened to.
        the history. may be null if it cannot be loaded
      • getEditingDomain

        public org.eclipse.emf.edit.domain.EditingDomain getEditingDomain()
        Returns editingDomain.
      • addResourceListener

        public void addResourceListener​(IResourceLoadListener listener)
        Add a listener.
      • removeResourceListener

        public void removeResourceListener​(IResourceLoadListener listener)
        Remove a listener.