Package 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
Bundle of all required information to allow files as underlying document resources.
-
Field Summary
Modifier and TypeFieldDescriptionThe file synchronizer.long
The time stamp at which this provider changed the file.Fields inherited from class org.eclipse.ui.editors.text.StorageDocumentProvider.StorageInfo
fEncoding, fIsModifiable, fIsReadOnly, fUpdateCache
Fields inherited from class org.eclipse.ui.texteditor.AbstractDocumentProvider.ElementInfo
fCanBeSaved, fCount, fDocument, fElement, fIsStateValidated, fModel, fStatus
-
Constructor Summary
ConstructorDescriptionFileInfo
(IDocument document, IAnnotationModel model, FileDocumentProvider.FileSynchronizer fileSynchronizer) Creates and returns a new file info. -
Method Summary
Methods inherited from class org.eclipse.ui.texteditor.AbstractDocumentProvider.ElementInfo
documentAboutToBeChanged, documentChanged, equals, hashCode
-
Field Details
-
fFileSynchronizer
The file synchronizer. -
fModificationStamp
public long fModificationStampThe time stamp at which this provider changed the file.
-
-
Constructor Details
-
FileInfo
public FileInfo(IDocument document, IAnnotationModel model, FileDocumentProvider.FileSynchronizer fileSynchronizer) Creates and returns a new file info.- Parameters:
document
- the documentmodel
- the annotation modelfileSynchronizer
- the file synchronizer
-