org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.document
Class FileDocumentProvider.SafeChange
java.lang.Object
org.eclipse.gmf.runtime.diagram.ui.resources.editor.ide.document.FileDocumentProvider.SafeChange
-
All Implemented Interfaces:
- java.lang.Runnable
-
Enclosing class:
-
FileDocumentProvider
-
protected class FileDocumentProvider.SafeChange
- extends java.lang.Object
- implements java.lang.Runnable
Runnable encapsulating an element state change. This runnable ensures
that a element change failed message is sent out to the element state listeners
in case an exception occurred.
Methods inherited from class java.lang.Object
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
|
FileDocumentProvider.SafeChange
public FileDocumentProvider.SafeChange(
IFileEditorInput input)
- Creates a new safe runnable for the given input.
-
Parameters:
-
input
- the input
execute
protected void execute(
IFileEditorInput input)
throws java.lang.Exception
- Execute the change.
Subclass responsibility.
-
-
-
Parameters:
-
input
- the input
-
Throws:
-
java.lang.Exception
- an exception in case of error
run
public void run()
-
-
Specified by:
-
run
in interface java.lang.Runnable
-
Guidelines for using Eclipse APIs.
Copyright (c) IBM Corp., Borland Software Corp., and others 2005,2006. All rights reserved.