|
Eclipse Platform 2.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--org.eclipse.ui.editors.text.FileDocumentProvider.FileSynchronizer
Synchronizes the document with external resource changes.
Field Summary | |
protected IFileEditorInput |
fFileEditorInput
The file editor input |
Constructor Summary | |
FileDocumentProvider.FileSynchronizer(FileEditorInput fileEditorInput)
Deprecated. use FileSynchronizer(IFileEditorInput) |
|
FileDocumentProvider.FileSynchronizer(IFileEditorInput fileEditorInput)
Creates a new file synchronizer. |
Method Summary | |
protected IFile |
getFile()
Returns the file wrapped by the file editor input. |
void |
install()
Installs the synchronizer on the input's file. |
void |
resourceChanged(IResourceChangeEvent e)
Notifies this listener that some resource changes are happening, or have already happened. |
void |
uninstall()
Uninstalls the synchronizer from the input's file. |
protected void |
update(Runnable runnable)
Posts the update code "behind" the running operation. |
boolean |
visit(IResourceDelta delta)
Visits the given resource delta. |
Methods inherited from class java.lang.Object |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
Field Detail |
protected IFileEditorInput fFileEditorInput
Constructor Detail |
public FileDocumentProvider.FileSynchronizer(IFileEditorInput fileEditorInput)
fileEditorInput
- the editor input to be synchronizedpublic FileDocumentProvider.FileSynchronizer(FileEditorInput fileEditorInput)
fileEditorInput
- the editor input to be synchronizedMethod Detail |
protected IFile getFile()
public void install()
public void uninstall()
public void resourceChanged(IResourceChangeEvent e)
IResourceChangeListener
The supplied event gives details. This event object (and the resource delta within it) is valid only for the duration of the invocation of this method.
Note: This method is called by the platform; it is not intended to be called directly by clients.
Note that during resource change event notification, further changes to resources may be disallowed.
resourceChanged
in interface IResourceChangeListener
e
- the resource change eventIResourceDelta
public boolean visit(IResourceDelta delta) throws CoreException
IResourceDeltaVisitor
visit
in interface IResourceDeltaVisitor
true
if the resource delta's children should
be visited; false
if they should be skipped.
CoreException
- if the visit fails for some reason.protected void update(Runnable runnable)
runnable
- the update code
|
Eclipse Platform 2.0 |
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |