org.eclipse.graphiti.ui.editor
Class DefaultPersistencyBehavior.SaveOperation

java.lang.Object
  extended by 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

Field Summary
private  Set<Resource> savedResources
           
private  Map<Resource,Map<?,?>> saveOptions
           
 
Constructor Summary
private DefaultPersistencyBehavior.SaveOperation(Map<Resource,Map<?,?>> saveOptions, Set<Resource> savedResources)
           
 
Method Summary
 void run(IProgressMonitor monitor)
           
 void threadChange(Thread thread)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

saveOptions

private final Map<Resource,Map<?,?>> saveOptions

savedResources

private final Set<Resource> savedResources
Constructor Detail

DefaultPersistencyBehavior.SaveOperation

private DefaultPersistencyBehavior.SaveOperation(Map<Resource,Map<?,?>> saveOptions,
                                                 Set<Resource> savedResources)
Method Detail

run

public void run(IProgressMonitor monitor)

threadChange

public void threadChange(Thread thread)


Copyright (c) SAP AG 2005, 2012.