Eclipse Platform Release 3.7

## org.eclipse.jface.text
Class DocumentPartitioningChangedEvent

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

    public class DocumentPartitioningChangedEvent

extends Object

Event describing the change of document partitionings.

Since:
  3.0
See Also:
  `IDocumentExtension3`

Constructor Summary
`DocumentPartitioningChangedEvent(IDocument document)` Creates a new document partitioning changed event for the given document.

Method Summary
`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.

Methods inherited from class java.lang.Object
`clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

Constructor Detail

### DocumentPartitioningChangedEvent

    public DocumentPartitioningChangedEvent(IDocument document)

  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 Detail

### getDocument

    public IDocument getDocument()

  Returns the changed document.

  Returns:
    the changed document

### getChangedRegion

    public IRegion getChangedRegion(String partitioning)

  Returns the changed region of the given partitioning or `null` if the given partitioning did not change.

  Parameters:
    `partitioning` - the partitioning
  Returns:
    the changed region of the given partitioning or `null`

### getChangedPartitionings

    public String[] getChangedPartitionings()

  Returns the set of changed partitionings.

  Returns:
    the set of changed partitionings

### setPartitionChange

    public void setPartitionChange(String partitioning,
                                   int offset,
                                   int length)

  Sets the specified range as changed region for the given partitioning.

  Parameters:
    `partitioning` - the partitioning
    `offset` - the region offset
    `length` - the region length

### isEmpty

    public boolean isEmpty()

  Returns `true` if the set of changed partitionings is empty, `false` otherwise.

  Returns:
    `true` if the set of changed partitionings is empty

### getCoverage

    public IRegion 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

Eclipse Platform Release 3.7

Guidelines for using Eclipse APIs.

Copyright (c) Eclipse contributors and others 2000, 2011. All rights reserved.