org.eclipse.ui.editors.text
Class FileDocumentProvider.FileInfo
java.lang.Object
|
+--org.eclipse.ui.texteditor.AbstractDocumentProvider.ElementInfo
|
+--org.eclipse.ui.editors.text.StorageDocumentProvider.StorageInfo
|
+--org.eclipse.ui.editors.text.FileDocumentProvider.FileInfo
- All Implemented Interfaces:
- IDocumentListener
- Enclosing class:
- FileDocumentProvider
- protected class FileDocumentProvider.FileInfo
- extends StorageDocumentProvider.StorageInfo
Bundle of all required information to allow files as underlying document resources.
fFileSynchronizer
public FileDocumentProvider.FileSynchronizer fFileSynchronizer
- The file synchronizer
fModificationStamp
public long fModificationStamp
- The time stamp at which this provider changed the file
FileDocumentProvider.FileInfo
public FileDocumentProvider.FileInfo(IDocument document,
IAnnotationModel model,
FileDocumentProvider.FileSynchronizer fileSynchronizer)
- Creates a new file info.
- Parameters:
document
- the documentmodel
- the annotation modelfileSynchronizer
- the file synchronizer
Copyright (c) IBM Corp. and others 2000, 2002. All Rights Reserved.