Follow Techotopia on Twitter

On-line Guides
All Guides
eBook Store
iOS / Android
Linux for Beginners
Office Productivity
Linux Installation
Linux Security
Linux Utilities
Linux Virtualization
Linux Kernel
System/Network Admin
Programming
Scripting Languages
Development Tools
Web Development
GUI Toolkits/Desktop
Databases
Mail Systems
openSolaris
Eclipse Documentation
Techotopia.com
Virtuatopia.com
Answertopia.com

How To Guides
Virtualization
General System Admin
Linux Security
Linux Filesystems
Web Servers
Graphics & Desktop
PC Hardware
Windows
Problem Solutions
Privacy Policy

  




 

 


Eclipse Platform
Release 3.5

org.eclipse.jface.text
Class DocumentPartitioningChangedEvent


java.lang.Object
  extended by 
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.5

Guidelines for using Eclipse APIs.

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


 
 
  Published under the terms of the Eclipse Public License Version 1.0 ("EPL") Design by Interspire