Class PalladioComponentModelDocumentProvider.ResourceSetInfo
java.lang.Object
de.uka.ipd.sdq.pcm.gmf.allocation.part.PalladioComponentModelDocumentProvider.ResourceSetInfo
- All Implemented Interfaces:
org.eclipse.gmf.runtime.diagram.ui.resources.editor.document.IDocumentListener
- Enclosing class:
- PalladioComponentModelDocumentProvider
- Generated class or method.
-
Constructor Summary
ConstructorDescriptionResourceSetInfo
(org.eclipse.gmf.runtime.diagram.ui.resources.editor.document.IDiagramDocument document, IEditorInput editorInput) -
Method Summary
Modifier and TypeMethodDescriptionvoid
dispose()
org.eclipse.emf.transaction.TransactionalEditingDomain
long
boolean
boolean
boolean
boolean
void
setModifiable
(boolean modifiable) void
setModificationStamp
(long modificationStamp) void
setReadOnly
(boolean readOnly) void
setSynchronized
(Resource resource) void
setUnSynchronized
(Resource resource) void
setUpdateCache
(boolean update) final void
final void
-
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
- Generated class or method.
-
getLoadedResourcesIterator
- Generated class or method.
-
getEditorInput
- Generated class or method.
-
dispose
public void dispose()- Generated class or method.
-
isSynchronized
public boolean isSynchronized()- Generated class or method.
-
setUnSynchronized
- Generated class or method.
-
setSynchronized
- 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.
-