comparison dwtx/jface/text/DocumentEvent.d @ 150:5cf141e43417

...
author Frank Benoit <benoit@tionex.de>
date Sun, 24 Aug 2008 23:05:26 +0200
parents 000f9136b8f7
children eb21d3dfc767
comparison
equal deleted inserted replaced
149:b411f1c62131 150:5cf141e43417
167 * the changed document. 167 * the changed document.
168 * 168 *
169 * @see dwtx.jface.text.IDocument 169 * @see dwtx.jface.text.IDocument
170 */ 170 */
171 public class DocumentEvent { 171 public class DocumentEvent {
172 172
173 /** 173 /**
174 * Debug option for asserting that text is not null. 174 * Debug option for asserting that text is not null.
175 * If the <code>dwtx.text/debug/DocumentEvent/assertTextNotNull</code> 175 * If the <code>dwtx.text/debug/DocumentEvent/assertTextNotNull</code>
176 * system property is <code>true</code> 176 * system property is <code>true</code>
177 * 177 *
178 * @since 3.3 178 * @since 3.3
179 */ 179 */
180 private static const bool ASSERT_TEXT_NOT_NULL= Boolean.getBoolean("dwtx.text/debug/DocumentEvent/assertTextNotNull"); //$NON-NLS-1$ 180 private static const bool ASSERT_TEXT_NOT_NULL= Boolean.getBoolean("dwtx.text/debug/DocumentEvent/assertTextNotNull"); //$NON-NLS-1$
181 181
182 /** The changed document */ 182 /** The changed document */
205 205
206 Assert.isNotNull(doc); 206 Assert.isNotNull(doc);
207 Assert.isTrue(offset >= 0); 207 Assert.isTrue(offset >= 0);
208 Assert.isTrue(length >= 0); 208 Assert.isTrue(length >= 0);
209 209
210 if cast(ASSERT_TEXT_NOT_NULL) 210 if (ASSERT_TEXT_NOT_NULL)
211 Assert.isNotNull(text); 211 Assert.isNotNull(text);
212 212
213 fDocument= doc; 213 fDocument= doc;
214 fOffset= offset; 214 fOffset= offset;
215 fLength= length; 215 fLength= length;
272 * @since 3.1 272 * @since 3.1
273 */ 273 */
274 public long getModificationStamp() { 274 public long getModificationStamp() {
275 return fModificationStamp; 275 return fModificationStamp;
276 } 276 }
277 277
278 /* 278 /*
279 * @see java.lang.Object#toString() 279 * @see java.lang.Object#toString()
280 * @since 3.4 280 * @since 3.4
281 */ 281 */
282 public String toString() { 282 public String toString() {