public class DocumentPartitioningChangedEvent extends Object
IDocumentExtension3
Constructor and Description |
---|
DocumentPartitioningChangedEvent(IDocument document)
Creates a new document partitioning changed event for the given document.
|
Modifier and Type | Method and Description |
---|---|
String[] |
getChangedPartitionings()
Returns the set of changed partitionings.
|
IRegion |
getChangedRegion(String partitioning)
Returns the changed region of the given partitioning or
null
if the given partitioning did not change. |
IRegion |
getCoverage()
Returns the coverage of this event.
|
IDocument |
getDocument()
Returns the changed document.
|
boolean |
isEmpty()
Returns
true 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.
|
public DocumentPartitioningChangedEvent(IDocument document)
document
- the changed documentpublic IDocument getDocument()
public IRegion getChangedRegion(String partitioning)
null
if the given partitioning did not change.partitioning
- the partitioningnull
public String[] getChangedPartitionings()
public void setPartitionChange(String partitioning, int offset, int length)
partitioning
- the partitioningoffset
- the region offsetlength
- the region lengthpublic boolean isEmpty()
true
if the set of changed partitionings is empty,
false
otherwise.true
if the set of changed partitionings is emptypublic IRegion getCoverage()
Copyright (c) 2000, 2014 Eclipse Contributors and others. All rights reserved.Guidelines for using Eclipse APIs.