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
FieldsModifier and TypeFieldDescriptionbooleanCan the element be savedintHow often the element has been connectedThe element's documentThe element for which the info is storedbooleanHas element state been validatedThe element's annotation modelThe status of this element -
Constructor Summary
ConstructorsConstructorDescriptionElementInfo(IDocument document, IAnnotationModel model) Creates a new element info, initialized with the given document and annotation model. -
Method Summary
Modifier and TypeMethodDescriptionvoidThe manipulation described by the document event will be performed.voiddocumentChanged(DocumentEvent event) The manipulation described by the document event has been performed.booleanAn element info equals another object if this object is an element info and if the documents of the two element infos are equal.inthashCode()
-
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:IDocumentListenerThe manipulation described by the document event has been performed.- Specified by:
documentChangedin interfaceIDocumentListener- Parameters:
event- the document event describing the document change
-
documentAboutToBeChanged
Description copied from interface:IDocumentListenerThe manipulation described by the document event will be performed.- Specified by:
documentAboutToBeChangedin interfaceIDocumentListener- Parameters:
event- the document event describing the document change
-