Class PalladioComponentModelDocumentProvider.ResourceSetInfo

java.lang.Object
de.uka.ipd.sdq.pcm.gmf.seff.part.PalladioComponentModelDocumentProvider.ResourceSetInfo
All Implemented Interfaces:
org.eclipse.gmf.runtime.diagram.ui.resources.editor.document.IDocumentListener
Enclosing class:
PalladioComponentModelDocumentProvider

protected class PalladioComponentModelDocumentProvider.ResourceSetInfo extends Object
Generated class or method.
  • Constructor Details

    • ResourceSetInfo

      public ResourceSetInfo(org.eclipse.gmf.runtime.diagram.ui.resources.editor.document.IDiagramDocument document, IEditorInput editorInput)
      Generated class or method.
  • Method Details

    • getModificationStamp

      public long getModificationStamp()
      Generated class or method.
    • setModificationStamp

      public void setModificationStamp(long modificationStamp)
      Generated class or method.
    • getEditingDomain

      public org.eclipse.emf.transaction.TransactionalEditingDomain getEditingDomain()
      Generated class or method.
    • getResourceSet

      public ResourceSet getResourceSet()
      Generated class or method.
    • getLoadedResourcesIterator

      public Iterator<Resource> getLoadedResourcesIterator()
      Generated class or method.
    • getEditorInput

      public IEditorInput getEditorInput()
      Generated class or method.
    • dispose

      public void dispose()
      Generated class or method.
    • isSynchronized

      public boolean isSynchronized()
      Generated class or method.
    • setUnSynchronized

      public void setUnSynchronized(Resource resource)
      Generated class or method.
    • setSynchronized

      public void setSynchronized(Resource resource)
      Generated class or method.
    • stopResourceListening

      public final void stopResourceListening()
      Generated class or method.
    • startResourceListening

      public final void startResourceListening()
      Generated class or method.
    • isUpdateCache

      public boolean isUpdateCache()
      Generated class or method.
    • setUpdateCache

      public void setUpdateCache(boolean update)
      Generated class or method.
    • isModifiable

      public boolean isModifiable()
      Generated class or method.
    • setModifiable

      public void setModifiable(boolean modifiable)
      Generated class or method.
    • isReadOnly

      public boolean isReadOnly()
      Generated class or method.
    • setReadOnly

      public void setReadOnly(boolean readOnly)
      Generated class or method.