org.eclipse.jface.text
Class AbstractDocument

java.lang.Object
  org.eclipse.jface.text.AbstractDocument

All Implemented Interfaces:

IDocument, IDocumentExtension, IDocumentExtension2, IDocumentExtension3, IDocumentExtension4, IRepairableDocument

Direct Known Subclasses:

Document, ProjectionDocument

public abstract class AbstractDocument

extends Object

implements IDocument, IDocumentExtension, IDocumentExtension2, IDocumentExtension3, IDocumentExtension4, IRepairableDocument

Abstract default implementation of IDocument and its extension interfaces IDocumentExtension, IDocumentExtension2, IDocumentExtension3, IDocumentExtension4, as well as IRepairableDocument.

An AbstractDocument supports the following implementation plug-ins:

• a text store implementing ITextStore for storing and managing the document's content,
• a line tracker implementing ILineTracker to map character positions to line numbers and vice versa

The document can dynamically change the text store when switching between sequential rewrite mode and normal mode.

This class must be subclassed. Subclasses must configure which implementation plug-ins the document instance should use. Subclasses are not intended to overwrite existing methods.

See Also:

ITextStore, ILineTracker

Nested Class Summary

Nested classes inherited from class org.eclipse.jface.text.IDocumentExtension

IDocumentExtension.IReplace

Field Summary

Fields inherited from interface org.eclipse.jface.text.IDocument

DEFAULT_CATEGORY, DEFAULT_CONTENT_TYPE

Fields inherited from interface org.eclipse.jface.text.IDocumentExtension3

DEFAULT_PARTITIONING

Fields inherited from interface org.eclipse.jface.text.IDocumentExtension4

UNKNOWN_MODIFICATION_STAMP

Constructor Summary

protected

AbstractDocument() The default constructor does not perform any configuration but leaves it to the clients who must first initialize the implementation plug-ins and then call completeInitialization.

Method Summary

void	acceptPostNotificationReplaces() Tells the receiver to accept calls to registerPostNotificationReplace until ignorePostNotificationReplaces is called.
void	addDocumentListener(IDocumentListener listener) Registers the document listener with the document.
void	addDocumentPartitioningListener(IDocumentPartitioningListener listener) Registers the document partitioning listener with the document.
void	addDocumentRewriteSessionListener(IDocumentRewriteSessionListener listener) Registers the document rewrite session listener with the document.
void	addPosition(Position position) Adds the position to the document's default position category.
void	addPosition(String category, Position position) Adds the position to the specified position category of the document.
void	addPositionCategory(String category) Adds a new position category to the document.
void	addPositionUpdater(IPositionUpdater updater) Appends a new position updater to the document's list of position updaters.
void	addPrenotifiedDocumentListener(IDocumentListener listener) Adds the given document listener as one which is notified before those document listeners added with addDocumentListener are notified.
protected void	checkStateOfPartitioner(IDocumentPartitioner partitioner, String partitioning) Checks the state for the given partitioner and stops the active rewrite session.
protected void	completeInitialization() Initializes document listeners, positions, and position updaters.
int	computeIndexInCategory(String category, int offset) Computes the index at which a Position with the specified offset would be inserted into the given category.
protected int	computeIndexInPositionList(List positions, int offset) Computes the index in the list of positions at which a position with the given offset would be inserted.
int	computeNumberOfLines(String text) Computes the number of lines in the given text.
ITypedRegion[]	computePartitioning(int offset, int length) Computes the partitioning of the given document range using the document's partitioner.
ITypedRegion[]	computePartitioning(String partitioning, int offset, int length, boolean includeZeroLengthPartitions) Computes the partitioning of the given document range based on the given partitioning type.
boolean	containsPosition(String category, int offset, int length) Determines whether a position described by the parameters is managed by this document.
boolean	containsPositionCategory(String category) Checks the presence of the specified position category.
protected void	doFireDocumentChanged(DocumentEvent event) Notifies all listeners about the given document change.
protected void	doFireDocumentChanged(DocumentEvent event, boolean firePartitionChange, IRegion partitionChange) Deprecated. as of 3.0. Use doFireDocumentChanged2(DocumentEvent) instead; this method will be removed.
protected void	doFireDocumentChanged2(DocumentEvent event) Notifies all listeners about the given document change.
protected void	fireDocumentAboutToBeChanged(DocumentEvent event) Fires the given document event to all registers document listeners informing them about the forthcoming document manipulation.
protected void	fireDocumentChanged(DocumentEvent event) Updates the internal document structures and informs all document listeners if listener notification has been enabled.
protected void	fireDocumentPartitioningChanged() Deprecated. as of 2.0. Use fireDocumentPartitioningChanged(IRegion) instead.
protected void	fireDocumentPartitioningChanged(DocumentPartitioningChangedEvent event) Fires the document partitioning changed notification to all registered document partitioning listeners.
protected void	fireDocumentPartitioningChanged(IRegion region) Deprecated. as of 3.0. Use fireDocumentPartitioningChanged(DocumentPartitioningChangedEvent) instead.
protected void	fireRewriteSessionChanged(DocumentRewriteSessionEvent event) Fires the given event to all registered rewrite session listeners.
String	get() Returns this document's complete text.
String	get(int pos, int length) Returns this document's text for the specified range.
DocumentRewriteSession	getActiveRewriteSession() Returns the active rewrite session of this document or null.
char	getChar(int pos) Returns the character at the given document offset in this document.
String	getContentType(int offset) Returns the type of the document partition containing the given offset.
String	getContentType(String partitioning, int offset, boolean preferOpenPartitions) Returns the type of the document partition containing the given offset for the given partitioning.
String	getDefaultLineDelimiter() Returns this document's default line delimiter.
protected List	getDocumentListeners() Returns the document's document listeners.
protected Map	getDocumentManagedPositions() Returns all positions managed by the document grouped by category.
IDocumentPartitioner	getDocumentPartitioner() Returns this document's partitioner.
IDocumentPartitioner	getDocumentPartitioner(String partitioning) Returns the partitioner for the given partitioning or null if no partitioner is registered.
protected List	getDocumentPartitioningListeners() Returns the document's partitioning listeners.
String[]	getLegalContentTypes() Returns the set of legal content types of document partitions.
String[]	getLegalContentTypes(String partitioning) Returns the set of legal content types of document partitions for the given partitioning This set can be empty.
String[]	getLegalLineDelimiters() Returns the document's legal line delimiters.
int	getLength() Returns the number of characters in this document.
String	getLineDelimiter(int line) Returns the line delimiter of that line or null if the line is not closed with a line delimiter.
IRegion	getLineInformation(int line) Returns a description of the specified line.
IRegion	getLineInformationOfOffset(int offset) Returns a description of the line at the given offset.
int	getLineLength(int line) Returns the length of the given line including the line's delimiter.
int	getLineOffset(int line) Determines the offset of the first character of the given line.
int	getLineOfOffset(int pos) Returns the number of the line at which the character of the specified position is located.
long	getModificationStamp() Returns the modification stamp of this document.
int	getNumberOfLines() Returns the number of lines in this document
int	getNumberOfLines(int offset, int length) Returns the number of lines which are occupied by a given text range.
ITypedRegion	getPartition(int offset) Returns the document partition in which the position is located.
ITypedRegion	getPartition(String partitioning, int offset, boolean preferOpenPartitions) Returns the document partition of the given partitioning in which the given offset is located.
String[]	getPartitionings() Returns the existing partitionings for this document.
String[]	getPositionCategories() Returns all position categories of this document.
Position[]	getPositions(String category) Returns all positions of the given position category.
IPositionUpdater[]	getPositionUpdaters() Returns the list of position updaters attached to the document.
protected ITextStore	getStore() Returns the document's text store.
protected ILineTracker	getTracker() Returns the document's line tracker.
void	ignorePostNotificationReplaces() Tells the receiver to ignore calls to registerPostNotificationReplace until acceptPostNotificationReplaces is called.
void	insertPositionUpdater(IPositionUpdater updater, int index) Inserts the position updater at the specified index in the document's list of position updaters.
void	registerPostNotificationReplace(IDocumentListener owner, IDocumentExtension.IReplace replace) Callback for document listeners to be used inside documentChanged to register a post notification replace operation on the document notifying them.
void	removeDocumentListener(IDocumentListener listener) Removes the listener from the document's list of document listeners.
void	removeDocumentPartitioningListener(IDocumentPartitioningListener listener) Removes the listener from this document's list of document partitioning listeners.
void	removeDocumentRewriteSessionListener(IDocumentRewriteSessionListener listener) Removes the listener from the document's list of document rewrite session listeners.
void	removePosition(Position position) Removes the given position from the document's default position category.
void	removePosition(String category, Position position) Removes the given position from the specified position category.
void	removePositionCategory(String category) Deletes the position category from the document.
void	removePositionUpdater(IPositionUpdater updater) Removes the position updater from the document's list of position updaters.
void	removePrenotifiedDocumentListener(IDocumentListener listener) Removes the given document listener from the document's list of pre-notified document listeners.
void	repairLineInformation() Repairs the line information of the document implementing this interface.
void	replace(int pos, int length, String text) Substitutes the given text for the specified document range.
void	replace(int pos, int length, String text, long modificationStamp) Substitutes the given text for the specified document range.
void	resumeListenerNotification() Resumes the notification of document listeners which must previously have been stopped by a call to stopListenerNotification.
void	resumePostNotificationProcessing() Resumes the processing of post notification replace operations.
int	search(int startPosition, String findString, boolean forwardSearch, boolean caseSensitive, boolean wholeWord) Returns the offset of a given search string in the document based on a set of search criteria.
void	set(String text) Replaces the content of the document with the given text.
void	set(String text, long modificationStamp) Replaces the content of the document with the given text.
void	setDocumentPartitioner(IDocumentPartitioner partitioner) Sets this document's partitioner.
void	setDocumentPartitioner(String partitioning, IDocumentPartitioner partitioner) Sets this document's partitioner.
void	setInitialLineDelimiter(String lineDelimiter) Sets this document's initial line delimiter i.e. the one which is returned by getDefaultLineDelimiter if the document does not yet contain any line delimiter.
protected void	setLineTracker(ILineTracker tracker) Sets the document's line tracker.
protected void	setTextStore(ITextStore store) Sets the document's text store.
DocumentRewriteSession	startRewriteSession(DocumentRewriteSessionType sessionType) Tells the document that it is about to be rewritten.
protected void	startRewriteSessionOnPartitioners(DocumentRewriteSession session) Starts the given rewrite session.
void	startSequentialRewrite(boolean normalized) Tells the document that it is about to be sequentially rewritten.
void	stopListenerNotification() Can be called prior to a replace operation.
void	stopPostNotificationProcessing() Stops the processing of registered post notification replace operations until resumePostNotificationProcessing is called.
void	stopRewriteSession(DocumentRewriteSession session) Tells the document to stop the rewrite session.
protected void	stopRewriteSessionOnPartitioners(DocumentRewriteSession session) Stops the given rewrite session.
void	stopSequentialRewrite() Tells the document that the sequential rewrite has been finished.
protected void	updateDocumentStructures(DocumentEvent event) Updates document partitioning and document positions according to the specification given by the document event.
protected void	updatePositions(DocumentEvent event) Updates all positions of all categories to the change described by the document event.

Methods inherited from class java.lang.Object

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

Constructor Detail

AbstractDocument

protected AbstractDocument()

The default constructor does not perform any configuration but leaves it to the clients who must first initialize the implementation plug-ins and then call completeInitialization. Results in the construction of an empty document.

Method Detail

getStore

protected ITextStore getStore()

Returns the document's text store. Assumes that the document has been initialized with a text store.

Returns:

the document's text store

getTracker

protected ILineTracker getTracker()

Returns the document's line tracker. Assumes that the document has been initialized with a line tracker.

Returns:

the document's line tracker

getDocumentListeners

protected List getDocumentListeners()

Returns the document's document listeners.

Returns:

the document's document listeners

getDocumentPartitioningListeners

protected List getDocumentPartitioningListeners()

Returns the document's partitioning listeners.

Returns:

the document's partitioning listeners

getDocumentManagedPositions

protected Map getDocumentManagedPositions()

Returns all positions managed by the document grouped by category.

Returns:

the document's positions

getDocumentPartitioner

public IDocumentPartitioner getDocumentPartitioner()

Description copied from interface: IDocument

Returns this document's partitioner.

Use IDocumentExtension3.getDocumentPartitioner(String) when the document supports multiple partitionings. In that case this method is equivalent to:

    IDocumentExtension3 extension= (IDocumentExtension3) document;
    return extension.getDocumentPartitioner(IDocumentExtension3.DEFAULT_PARTITIONING);
 

Specified by:

getDocumentPartitioner in interface IDocument

Returns:

this document's partitioner

setTextStore

protected void setTextStore(ITextStore store)

Sets the document's text store. Must be called at the beginning of the constructor.

Parameters:

store - the document's text store

setLineTracker

protected void setLineTracker(ILineTracker tracker)

Sets the document's line tracker. Must be called at the beginning of the constructor.

Parameters:

tracker - the document's line tracker

setDocumentPartitioner

public void setDocumentPartitioner(IDocumentPartitioner partitioner)

Description copied from interface: IDocument

Sets this document's partitioner. The caller of this method is responsible for disconnecting the document's old partitioner from the document and to connect the new partitioner to the document. Informs all document partitioning listeners about this change.

Use IDocumentExtension3.setDocumentPartitioner(String, IDocumentPartitioner) when the document supports multiple partitionings. In that case this method is equivalent to:

    IDocumentExtension3 extension= (IDocumentExtension3) document;
    extension.setDocumentPartitioner(IDocumentExtension3.DEFAULT_PARTITIONING, partitioner);
 

Specified by:

setDocumentPartitioner in interface IDocument

Parameters:

partitioner - the document's new partitioner

See Also:

IDocumentPartitioningListener

completeInitialization

protected void completeInitialization()

Initializes document listeners, positions, and position updaters. Must be called inside the constructor after the implementation plug-ins have been set.

addDocumentListener

public void addDocumentListener(IDocumentListener listener)

Description copied from interface: IDocument

Registers the document listener with the document. After registration the IDocumentListener is informed about each change of this document. If the listener is already registered nothing happens.

An IDocumentListener may call back to this method when being inside a document notification.

Specified by:

addDocumentListener in interface IDocument

Parameters:

listener - the listener to be registered

removeDocumentListener

public void removeDocumentListener(IDocumentListener listener)

Description copied from interface: IDocument

Removes the listener from the document's list of document listeners. If the listener is not registered with the document nothing happens.

An IDocumentListener may call back to this method when being inside a document notification.

Specified by:

removeDocumentListener in interface IDocument

Parameters:

listener - the listener to be removed

addPrenotifiedDocumentListener

public void addPrenotifiedDocumentListener(IDocumentListener listener)

Description copied from interface: IDocument

Adds the given document listener as one which is notified before those document listeners added with addDocumentListener are notified. If the given listener is also registered using addDocumentListener it will be notified twice. If the listener is already registered nothing happens.

This method is not for public use.

Specified by:

addPrenotifiedDocumentListener in interface IDocument

Parameters:

listener - the listener to be added as pre-notified document listener

See Also:

IDocument.removePrenotifiedDocumentListener(IDocumentListener)

removePrenotifiedDocumentListener

public void removePrenotifiedDocumentListener(IDocumentListener listener)

Description copied from interface: IDocument

Removes the given document listener from the document's list of pre-notified document listeners. If the listener is not registered with the document nothing happens.

This method is not for public use.

Specified by:

removePrenotifiedDocumentListener in interface IDocument

Parameters:

listener - the listener to be removed

See Also:

IDocument.addPrenotifiedDocumentListener(IDocumentListener)

addDocumentPartitioningListener

public void addDocumentPartitioningListener(IDocumentPartitioningListener listener)

Description copied from interface: IDocument

Registers the document partitioning listener with the document. After registration the document partitioning listener is informed about each partition change cause by a document manipulation or by changing the document's partitioner. If a document partitioning listener is also a document listener, the following notification sequence is guaranteed if a document manipulation changes the document partitioning:

• listener.documentAboutToBeChanged(DocumentEvent);
• listener.documentPartitioningChanged();
• listener.documentChanged(DocumentEvent);

If the listener is already registered nothing happens.

An IDocumentPartitioningListener may call back to this method when being inside a document notification.

Specified by:

addDocumentPartitioningListener in interface IDocument

Parameters:

listener - the listener to be added

removeDocumentPartitioningListener

public void removeDocumentPartitioningListener(IDocumentPartitioningListener listener)

Description copied from interface: IDocument

Removes the listener from this document's list of document partitioning listeners. If the listener is not registered with the document nothing happens.

An IDocumentPartitioningListener may call back to this method when being inside a document notification.

Specified by:

removeDocumentPartitioningListener in interface IDocument

Parameters:

listener - the listener to be removed

addPosition

public void addPosition(String category,
                        Position position)
                 throws BadLocationException,
                        BadPositionCategoryException

Description copied from interface: IDocument

Adds the position to the specified position category of the document. A position that has been added to a position category is updated on each change applied to the document. Positions may be added multiple times. The order of the category is maintained.

Specified by:

addPosition in interface IDocument

Parameters:

category - the category to which to add

position - the position to be added

Throws:

BadPositionCategoryException - if the category is undefined in this document

BadLocationException - if position describes an invalid range in this document

addPosition

public void addPosition(Position position)
                 throws BadLocationException

Description copied from interface: IDocument

Adds the position to the document's default position category. This is a convenience method for addPosition(DEFAULT_CATEGORY, position).

Specified by:

addPosition in interface IDocument

Parameters:

position - the position to be added

Throws:

BadLocationException - if position describes an invalid range in this document

addPositionCategory

public void addPositionCategory(String category)

Description copied from interface: IDocument

Adds a new position category to the document. If the position category already exists nothing happens.

Specified by:

addPositionCategory in interface IDocument

Parameters:

category - the category to be added

addPositionUpdater

public void addPositionUpdater(IPositionUpdater updater)

Description copied from interface: IDocument

Appends a new position updater to the document's list of position updaters. Position updaters may be added multiple times.

An IPositionUpdater may call back to this method when being inside a document notification.

Specified by:

addPositionUpdater in interface IDocument

Parameters:

updater - the updater to be added

containsPosition

public boolean containsPosition(String category,
                                int offset,
                                int length)

Description copied from interface: IDocument

Determines whether a position described by the parameters is managed by this document.

Specified by:

containsPosition in interface IDocument

Parameters:

category - the category to check

offset - the offset of the position to find

length - the length of the position to find

Returns:

true if position is found

containsPositionCategory

public boolean containsPositionCategory(String category)

Description copied from interface: IDocument

Checks the presence of the specified position category.

Specified by:

containsPositionCategory in interface IDocument

Parameters:

category - the category to check

Returns:

true if category is defined

computeIndexInPositionList

protected int computeIndexInPositionList(List positions,
                                         int offset)

Computes the index in the list of positions at which a position with the given offset would be inserted. The position is supposed to become the first in this list of all positions with the same offset.

Parameters:

positions - the list in which the index is computed

offset - the offset for which the index is computed

Returns:

the computed index

See Also:

IDocument.computeIndexInCategory(String, int)

computeIndexInCategory

public int computeIndexInCategory(String category,
                                  int offset)
                           throws BadLocationException,
                                  BadPositionCategoryException

Description copied from interface: IDocument

Computes the index at which a Position with the specified offset would be inserted into the given category. As the ordering inside a category only depends on the offset, the index must be chosen to be the first of all positions with the same offset.

Specified by:

computeIndexInCategory in interface IDocument

Parameters:

category - the category in which would be added

offset - the position offset to be considered

Returns:

the index into the category

Throws:

BadPositionCategoryException - if category is undefined in this document

BadLocationException - if offset is invalid in this document

fireDocumentPartitioningChanged

protected void fireDocumentPartitioningChanged()

Deprecated. as of 2.0. Use fireDocumentPartitioningChanged(IRegion) instead.

Fires the document partitioning changed notification to all registered document partitioning listeners. Uses a robust iterator.

fireDocumentPartitioningChanged

protected void fireDocumentPartitioningChanged(IRegion region)

Deprecated. as of 3.0. Use fireDocumentPartitioningChanged(DocumentPartitioningChangedEvent) instead.

Fires the document partitioning changed notification to all registered document partitioning listeners. Uses a robust iterator.

Parameters:

region - the region in which partitioning has changed

Since:

2.0

See Also:

IDocumentPartitioningListenerExtension

fireDocumentPartitioningChanged

protected void fireDocumentPartitioningChanged(DocumentPartitioningChangedEvent event)

Fires the document partitioning changed notification to all registered document partitioning listeners. Uses a robust iterator.

Parameters:

event - the document partitioning changed event

Since:

3.0

See Also:

IDocumentPartitioningListenerExtension2

fireDocumentAboutToBeChanged

protected void fireDocumentAboutToBeChanged(DocumentEvent event)

Fires the given document event to all registers document listeners informing them about the forthcoming document manipulation. Uses a robust iterator.

Parameters:

event - the event to be sent out

updateDocumentStructures

protected void updateDocumentStructures(DocumentEvent event)

Updates document partitioning and document positions according to the specification given by the document event.

Parameters:

event - the document event describing the change to which structures must be adapted

doFireDocumentChanged

protected void doFireDocumentChanged(DocumentEvent event)

Notifies all listeners about the given document change. Uses a robust iterator.

Executes all registered post notification replace operation.

Parameters:

event - the event to be sent out.

doFireDocumentChanged

protected void doFireDocumentChanged(DocumentEvent event,
                                     boolean firePartitionChange,
                                     IRegion partitionChange)

Deprecated. as of 3.0. Use doFireDocumentChanged2(DocumentEvent) instead; this method will be removed.

Notifies all listeners about the given document change. Uses a robust iterator.

Executes all registered post notification replace operation.

Parameters:

event - the event to be sent out

firePartitionChange - true if a partition change notification should be sent

partitionChange - the region whose partitioning changed

Since:

2.0

doFireDocumentChanged2

protected void doFireDocumentChanged2(DocumentEvent event)

Notifies all listeners about the given document change. Uses a robust iterator.

Executes all registered post notification replace operation.

This method will be renamed to doFireDocumentChanged.

Parameters:

event - the event to be sent out

Since:

3.0

fireDocumentChanged

protected void fireDocumentChanged(DocumentEvent event)

Updates the internal document structures and informs all document listeners if listener notification has been enabled. Otherwise it remembers the event to be sent to the listeners on resume.

Parameters:

event - the document event to be sent out

getChar

public char getChar(int pos)
             throws BadLocationException

Description copied from interface: IDocument

Returns the character at the given document offset in this document.

Specified by:

getChar in interface IDocument

Parameters:

pos - a document offset

Returns:

the character at the offset

Throws:

BadLocationException - if the offset is invalid in this document

getContentType

public String getContentType(int offset)
                      throws BadLocationException

Description copied from interface: IDocument

Returns the type of the document partition containing the given offset. This is a convenience method for getPartition(offset).getType().

Use IDocumentExtension3.getContentType(String, int, boolean) when the document supports multiple partitionings. In that case this method is equivalent to:

    IDocumentExtension3 extension= (IDocumentExtension3) document;
    return extension.getContentType(IDocumentExtension3.DEFAULT_PARTITIONING, offset, false);
 

Specified by:

getContentType in interface IDocument

Parameters:

offset - the document offset

Returns:

the partition type

Throws:

BadLocationException - if offset is invalid in this document

getLegalContentTypes

public String[] getLegalContentTypes()

Description copied from interface: IDocument

Returns the set of legal content types of document partitions. This set can be empty. The set can contain more content types than contained by the result of getPartitioning(0, getLength()).

Use IDocumentExtension3.getLegalContentTypes(String) when the document supports multiple partitionings. In that case this method is equivalent to:

    IDocumentExtension3 extension= (IDocumentExtension3) document;
    return extension.getLegalContentTypes(IDocumentExtension3.DEFAULT_PARTITIONING);
 

Specified by:

getLegalContentTypes in interface IDocument

Returns:

the set of legal content types

getLength

public int getLength()

Description copied from interface: IDocument

Returns the number of characters in this document.

Specified by:

getLength in interface IDocument

Returns:

the number of characters in this document

getLineDelimiter

public String getLineDelimiter(int line)
                        throws BadLocationException

Description copied from interface: IDocument

Returns the line delimiter of that line or null if the line is not closed with a line delimiter.

Specified by:

getLineDelimiter in interface IDocument

Parameters:

line - the line of interest

Returns:

the line's delimiter or null if line does not have a delimiter

Throws:

BadLocationException - if the line number is invalid in this document

getLegalLineDelimiters

public String[] getLegalLineDelimiters()

Description copied from interface: IDocument

Returns the document's legal line delimiters.

Specified by:

getLegalLineDelimiters in interface IDocument

Returns:

the document's legal line delimiters

getDefaultLineDelimiter

public String getDefaultLineDelimiter()

Description copied from interface: IDocumentExtension4

Returns this document's default line delimiter.

This default line delimiter should be used by clients who want unique delimiters (e.g. 'CR's) in the document.

Specified by:

getDefaultLineDelimiter in interface IDocumentExtension4

Returns:

the default line delimiter or null if none

setInitialLineDelimiter

public void setInitialLineDelimiter(String lineDelimiter)

Description copied from interface: IDocumentExtension4

Sets this document's initial line delimiter i.e. the one which is returned by getDefaultLineDelimiter if the document does not yet contain any line delimiter.

Specified by:

setInitialLineDelimiter in interface IDocumentExtension4

Parameters:

lineDelimiter - the default line delimiter

getLineLength

public int getLineLength(int line)
                  throws BadLocationException

Description copied from interface: IDocument

Returns the length of the given line including the line's delimiter.

Specified by:

getLineLength in interface IDocument

Parameters:

line - the line of interest

Returns:

the length of the line

Throws:

BadLocationException - if the line number is invalid in this document

getLineOfOffset

public int getLineOfOffset(int pos)
                    throws BadLocationException

Description copied from interface: IDocument

Returns the number of the line at which the character of the specified position is located. The first line has the line number 0. A new line starts directly after a line delimiter. (offset == document length) is a valid argument although there is no corresponding character.

Specified by:

getLineOfOffset in interface IDocument

Parameters:

pos - the document offset

Returns:

the number of the line

Throws:

BadLocationException - if the offset is invalid in this document

getLineOffset

public int getLineOffset(int line)
                  throws BadLocationException

Description copied from interface: IDocument

Determines the offset of the first character of the given line.

Specified by:

getLineOffset in interface IDocument

Parameters:

line - the line of interest

Returns:

the document offset

Throws:

BadLocationException - if the line number is invalid in this document

getLineInformation

public IRegion getLineInformation(int line)
                           throws BadLocationException

Description copied from interface: IDocument

Returns a description of the specified line. The line is described by its offset and its length excluding the line's delimiter.

Specified by:

getLineInformation in interface IDocument

Parameters:

line - the line of interest

Returns:

a line description

Throws:

BadLocationException - if the line number is invalid in this document

getLineInformationOfOffset

public IRegion getLineInformationOfOffset(int offset)
                                   throws BadLocationException

Description copied from interface: IDocument

Returns a description of the line at the given offset. The description contains the offset and the length of the line excluding the line's delimiter.

Specified by:

getLineInformationOfOffset in interface IDocument

Parameters:

offset - the offset whose line should be described

Returns:

a region describing the line

Throws:

BadLocationException - if offset is invalid in this document

getNumberOfLines

public int getNumberOfLines()

Description copied from interface: IDocument

Returns the number of lines in this document

Specified by:

getNumberOfLines in interface IDocument

Returns:

the number of lines in this document

getNumberOfLines

public int getNumberOfLines(int offset,
                            int length)
                     throws BadLocationException

Description copied from interface: IDocument

Returns the number of lines which are occupied by a given text range.

Specified by:

getNumberOfLines in interface IDocument

Parameters:

offset - the offset of the specified text range

length - the length of the specified text range

Returns:

the number of lines occupied by the specified range

Throws:

BadLocationException - if specified range is invalid in this tracker

computeNumberOfLines

public int computeNumberOfLines(String text)

Description copied from interface: IDocument

Computes the number of lines in the given text. For a given implementer of this interface this method returns the same result as set(text); getNumberOfLines().

Specified by:

computeNumberOfLines in interface IDocument

Parameters:

text - the text whose number of lines should be computed

Returns:

the number of lines in the given text

getPartition

public ITypedRegion getPartition(int offset)
                          throws BadLocationException

Description copied from interface: IDocument

Returns the document partition in which the position is located.

Use IDocumentExtension3.getPartition(String, int, boolean) when the document supports multiple partitionings. In that case this method is equivalent:

    IDocumentExtension3 extension= (IDocumentExtension3) document;
    return extension.getPartition(IDocumentExtension3.DEFAULT_PARTITIONING, offset, false);
 

Specified by:

getPartition in interface IDocument

Parameters:

offset - the document offset

Returns:

a specification of the partition

Throws:

BadLocationException - if offset is invalid in this document

computePartitioning

public ITypedRegion[] computePartitioning(int offset,
                                          int length)
                                   throws BadLocationException

Description copied from interface: IDocument

Computes the partitioning of the given document range using the document's partitioner.

Use IDocumentExtension3.computePartitioning(String, int, int, boolean) when the document supports multiple partitionings. In that case this method is equivalent:

    IDocumentExtension3 extension= (IDocumentExtension3) document;
    return extension.computePartitioning(IDocumentExtension3.DEFAULT_PARTITIONING, offset, length, false);
 

Specified by:

computePartitioning in interface IDocument

Parameters:

offset - the document offset at which the range starts

length - the length of the document range

Returns:

a specification of the range's partitioning

Throws:

BadLocationException - if the range is invalid in this document

getPositions

public Position[] getPositions(String category)
                        throws BadPositionCategoryException

Description copied from interface: IDocument

Returns all positions of the given position category. The positions are ordered according to the category's order. Manipulating this list does not affect the document, but manipulating the position does affect the document.

Specified by: