|
Runtime | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.gmf.runtime.emf.core.resources.GMFResourceModificationManager
public class GMFResourceModificationManager
Manages the isModified state of resources in a given editing
domain as operations are executed, undone and redone on the operation
history.
This allows clients to use the isModified state of a resource to
determine whether or not the resource is dirty and can be saved.
| Method Summary | |
|---|---|
static GMFResourceModificationManager |
manage(org.eclipse.emf.transaction.TransactionalEditingDomain domain)
Creates a new resource modification manager for domain, if
the domain's command stack is integrated with an
IOperationHistory. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Method Detail |
|---|
public static GMFResourceModificationManager manage(org.eclipse.emf.transaction.TransactionalEditingDomain domain)
domain, if
the domain's command stack is integrated with an
IOperationHistory. The isModified state of a
resource in domain will be set to false when
the last operation affecting that resource is undone on the history.
domain - the editing domain
null if
domain is not integrated with an operation history
|
Runtime | |||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp., Borland Software Corp., and others 2005,2006. All rights reserved.