Package org.eclipse.jface.text
Class DocumentPartitioningChangedEvent
java.lang.Object
org.eclipse.jface.text.DocumentPartitioningChangedEvent
Event describing the change of document partitionings.
- Since:
- 3.0
- See Also:
-
Constructor Summary
ConstructorDescriptionDocumentPartitioningChangedEvent
(IDocument document) Creates a new document partitioning changed event for the given document. -
Method Summary
Modifier and TypeMethodDescriptionString[]
Returns the set of changed partitionings.getChangedRegion
(String partitioning) Returns the changed region of the given partitioning ornull
if the given partitioning did not change.Returns the coverage of this event.Returns the changed document.boolean
isEmpty()
Returnstrue
if the set of changed partitionings is empty,false
otherwise.void
setPartitionChange
(String partitioning, int offset, int length) Sets the specified range as changed region for the given partitioning.
-
Constructor Details
-
DocumentPartitioningChangedEvent
Creates a new document partitioning changed event for the given document. Initially this event is empty, i.e. does not describe any change.- Parameters:
document
- the changed document
-
-
Method Details
-
getDocument
Returns the changed document.- Returns:
- the changed document
-
getChangedRegion
Returns the changed region of the given partitioning ornull
if the given partitioning did not change.- Parameters:
partitioning
- the partitioning- Returns:
- the changed region of the given partitioning or
null
-
getChangedPartitionings
Returns the set of changed partitionings.- Returns:
- the set of changed partitionings
-
setPartitionChange
Sets the specified range as changed region for the given partitioning.- Parameters:
partitioning
- the partitioningoffset
- the region offsetlength
- the region length
-
isEmpty
public boolean isEmpty()Returnstrue
if the set of changed partitionings is empty,false
otherwise.- Returns:
true
if the set of changed partitionings is empty
-
getCoverage
Returns the coverage of this event. This is the minimal region that contains all changed regions of all changed partitionings.- Returns:
- the coverage of this event
-