Package org.eclipse.ui.texteditor
Class AbstractDocumentProvider.ElementInfo
java.lang.Object
org.eclipse.ui.texteditor.AbstractDocumentProvider.ElementInfo
- All Implemented Interfaces:
IDocumentListener
- Direct Known Subclasses:
StorageDocumentProvider.StorageInfo
- Enclosing class:
- AbstractDocumentProvider
Collection of all information managed for a connected element.
-
Field Summary
Modifier and TypeFieldDescriptionboolean
Can the element be savedint
How often the element has been connectedThe element's documentThe element for which the info is storedboolean
Has element state been validatedThe element's annotation modelThe status of this element -
Constructor Summary
ConstructorDescriptionElementInfo
(IDocument document, IAnnotationModel model) Creates a new element info, initialized with the given document and annotation model. -
Method Summary
Modifier and TypeMethodDescriptionvoid
The manipulation described by the document event will be performed.void
documentChanged
(DocumentEvent event) The manipulation described by the document event has been performed.boolean
An element info equals another object if this object is an element info and if the documents of the two element infos are equal.int
hashCode()
-
Field Details
-
fElement
The element for which the info is stored -
fCount
public int fCountHow often the element has been connected -
fCanBeSaved
public boolean fCanBeSavedCan the element be saved -
fDocument
The element's document -
fModel
The element's annotation model -
fIsStateValidated
public boolean fIsStateValidatedHas element state been validated- Since:
- 2.0
-
fStatus
The status of this element- Since:
- 2.0
-
-
Constructor Details
-
ElementInfo
Creates a new element info, initialized with the given document and annotation model.- Parameters:
document
- the documentmodel
- the annotation model
-
-
Method Details
-
equals
An element info equals another object if this object is an element info and if the documents of the two element infos are equal. -
hashCode
public int hashCode() -
documentChanged
Description copied from interface:IDocumentListener
The manipulation described by the document event has been performed.- Specified by:
documentChanged
in interfaceIDocumentListener
- Parameters:
event
- the document event describing the document change
-
documentAboutToBeChanged
Description copied from interface:IDocumentListener
The manipulation described by the document event will be performed.- Specified by:
documentAboutToBeChanged
in interfaceIDocumentListener
- Parameters:
event
- the document event describing the document change
-