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:
  • Constructor Details

    • 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 Details

    • 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