diff dwtx/jface/text/IDocumentExtension3.d @ 141:ea8dd2e11034

instanceof and throws
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 21:25:28 +0200
parents 93a6ec48fd28
children
line wrap: on
line diff
--- a/dwtx/jface/text/IDocumentExtension3.d	Sun Aug 24 03:23:46 2008 +0200
+++ b/dwtx/jface/text/IDocumentExtension3.d	Sun Aug 24 21:25:28 2008 +0200
@@ -226,7 +226,7 @@
      * @exception BadLocationException if offset is invalid in this document
      * @exception BadPartitioningException if partitioning is invalid for this document
      */
-    String getContentType(String partitioning, int offset, bool preferOpenPartitions) throws BadLocationException, BadPartitioningException;
+    String getContentType(String partitioning, int offset, bool preferOpenPartitions);
 
     /**
      * Returns the document partition of the given partitioning in which the
@@ -252,7 +252,7 @@
      * @exception BadLocationException if offset is invalid in this document
      * @exception BadPartitioningException if partitioning is invalid for this document
      */
-    ITypedRegion getPartition(String partitioning, int offset, bool preferOpenPartitions) throws BadLocationException, BadPartitioningException;
+    ITypedRegion getPartition(String partitioning, int offset, bool preferOpenPartitions);
 
     /**
      * Computes the partitioning of the given document range based on the given
@@ -277,7 +277,7 @@
      * @exception BadLocationException if the range is invalid in this document$
      * @exception BadPartitioningException if partitioning is invalid for this document
      */
-    ITypedRegion[] computePartitioning(String partitioning, int offset, int length, bool includeZeroLengthPartitions) throws BadLocationException, BadPartitioningException;
+    ITypedRegion[] computePartitioning(String partitioning, int offset, int length, bool includeZeroLengthPartitions);
 
     /**
      * Sets this document's partitioner. The caller of this method is responsible for