|
Eclipse Platform Release 3.6 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
java.lang.Objectorg.eclipse.jface.text.DocumentPartitioningChangedEvent
public class DocumentPartitioningChangedEvent
Event describing the change of document partitionings.
IDocumentExtension3| Constructor Summary | |
|---|---|
DocumentPartitioningChangedEvent(IDocument document)
Creates a new document partitioning changed event for the given document. |
|
| Method Summary | |
|---|---|
java.lang.String[] |
getChangedPartitionings()
Returns the set of changed partitionings. |
IRegion |
getChangedRegion(java.lang.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(java.lang.String partitioning,
int offset,
int length)
Sets the specified range as changed region for the given partitioning. |
| Methods inherited from class java.lang.Object |
|---|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
| Constructor Detail |
|---|
public DocumentPartitioningChangedEvent(IDocument document)
document - the changed document| Method Detail |
|---|
public IDocument getDocument()
public IRegion getChangedRegion(java.lang.String partitioning)
null
if the given partitioning did not change.
partitioning - the partitioning
nullpublic java.lang.String[] getChangedPartitionings()
public void setPartitionChange(java.lang.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()
|
Eclipse Platform Release 3.6 |
|||||||||
| PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
| SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD | |||||||||
Guidelines for using Eclipse APIs.
Copyright (c) Eclipse contributors and others 2000, 2010. All rights reserved.