diff dwtx/jface/text/source/DefaultCharacterPairMatcher.d @ 146:75302ef3f92f

final
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 22:34:04 +0200
parents 6dcb0baaa031
children f70d9508c95c
line wrap: on
line diff
--- a/dwtx/jface/text/source/DefaultCharacterPairMatcher.d	Sun Aug 24 22:31:00 2008 +0200
+++ b/dwtx/jface/text/source/DefaultCharacterPairMatcher.d	Sun Aug 24 22:34:04 2008 +0200
@@ -98,8 +98,8 @@
 public class DefaultCharacterPairMatcher : ICharacterPairMatcher {
 
     private int fAnchor= -1;
-    private final CharPairs fPairs;
-    private final String fPartitioning;
+    private const CharPairs fPairs;
+    private const String fPartitioning;
 
     /**
      * Creates a new character pair matcher that matches the specified
@@ -221,8 +221,8 @@
      */
     private static class DocumentPartitionAccessor {
         
-        private final IDocument fDocument;
-        private final String fPartitioning, fPartition;
+        private const IDocument fDocument;
+        private const String fPartitioning, fPartition;
         private ITypedRegion fCachedPartition;
         
         /**
@@ -338,7 +338,7 @@
      */
     private static class CharPairs {
 
-        private final char[] fPairs;
+        private const char[] fPairs;
 
         public this(char[] pairs) {
             fPairs= pairs;