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.

Field Summary

Fields

Modifier and Type	Field	Description
FileDocumentProvider.FileSynchronizer	fFileSynchronizer	The file synchronizer.
long	fModificationStamp	The time stamp at which this provider changed the file.

Fields inherited from class StorageDocumentProvider.StorageInfo

fEncoding, fIsModifiable, fIsReadOnly, fUpdateCache

Fields inherited from class AbstractDocumentProvider.ElementInfo

fCanBeSaved, fCount, fDocument, fElement, fIsStateValidated, fModel, fStatus

Constructor Summary

Constructors

Constructor	Description
FileInfo(IDocument document, IAnnotationModel model, FileDocumentProvider.FileSynchronizer fileSynchronizer)	Creates and returns a new file info.

Method Summary

Methods inherited from class AbstractDocumentProvider.ElementInfo

documentAboutToBeChanged, documentChanged, equals, hashCode

Methods inherited from class Object

clone, finalize, getClass, notify, notifyAll, toString, wait, wait, wait

Field Details

fFileSynchronizer

public FileDocumentProvider.FileSynchronizer fFileSynchronizer

The file synchronizer.

fModificationStamp

public long fModificationStamp

The 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 document

model - the annotation model

fileSynchronizer - the file synchronizer