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 Object
The workspace operation used to do the actual save.
- Since:
- 0.11
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
saveOptions
private final Map<Resource,Map<?,?>> saveOptions
savedResources
private final Set<Resource> savedResources
DefaultPersistencyBehavior.SaveOperation
private DefaultPersistencyBehavior.SaveOperation(Map<Resource,Map<?,?>> saveOptions,
Set<Resource> savedResources)
run
public void run(IProgressMonitor monitor)
threadChange
public void threadChange(Thread thread)
Copyright (c) SAP AG 2005, 2012.