comparison dwtx/jface/text/FindReplaceDocumentAdapter.d @ 159:7926b636c282

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents a9566845f1cb
children 3678e4f1a766
comparison
equal deleted inserted replaced
158:25f1f92fa3df 159:7926b636c282
153 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport 153 import dwtx.jface.text.DocumentRewriteSessionType; // packageimport
154 import dwtx.jface.text.TextAttribute; // packageimport 154 import dwtx.jface.text.TextAttribute; // packageimport
155 import dwtx.jface.text.ITextViewerExtension4; // packageimport 155 import dwtx.jface.text.ITextViewerExtension4; // packageimport
156 import dwtx.jface.text.ITypedRegion; // packageimport 156 import dwtx.jface.text.ITypedRegion; // packageimport
157 157
158
159 import dwt.dwthelper.utils; 158 import dwt.dwthelper.utils;
160 159 import dwtx.dwtxhelper.regex;
161 import java.util.regex.Matcher;
162 import java.util.regex.Pattern;
163 import java.util.regex.PatternSyntaxException;
164 160
165 import dwtx.core.runtime.Assert; 161 import dwtx.core.runtime.Assert;
166 162
167 163
168 /** 164 /**
756 } 752 }
757 753
758 /* 754 /*
759 * @see java.lang.CharSequence#charAt(int) 755 * @see java.lang.CharSequence#charAt(int)
760 */ 756 */
761 public char charAt(int index) { 757 public override wchar charAt(int index) {
762 try { 758 try {
763 return fDocument.getChar(index); 759 return fDocument.getChar(index);
764 } catch (BadLocationException e) { 760 } catch (BadLocationException e) {
765 throw new IndexOutOfBoundsException(); 761 throw new IndexOutOfBoundsException();
766 } 762 }