org.eclipse.graphiti.ui.editor
Class DefaultPersistencyBehavior.SaveOperation
java.lang.Object
org.eclipse.graphiti.ui.editor.DefaultPersistencyBehavior.SaveOperation
- Enclosing class:
- DefaultPersistencyBehavior
protected final class DefaultPersistencyBehavior.SaveOperation
- extends java.lang.Object
The workspace operation used to do the actual save.
- Since:
- 0.11
Method Summary |
void |
run(IProgressMonitor monitor)
|
void |
threadChange(java.lang.Thread thread)
|
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
saveOptions
private final java.util.Map<Resource,java.util.Map<?,?>> saveOptions
savedResources
private final java.util.Set<Resource> savedResources
DefaultPersistencyBehavior.SaveOperation
private DefaultPersistencyBehavior.SaveOperation(java.util.Map<Resource,java.util.Map<?,?>> saveOptions,
java.util.Set<Resource> savedResources)
run
public void run(IProgressMonitor monitor)
threadChange
public void threadChange(java.lang.Thread thread)
Copyright (c) SAP AG 2005, 2012.