Mercurial > projects > dwt-addons
diff dwtx/jface/text/DocumentRewriteSessionEvent.d @ 162:1a5b8f8129df
...
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Mon, 08 Sep 2008 00:51:37 +0200 |
parents | 75302ef3f92f |
children |
line wrap: on
line diff
--- a/dwtx/jface/text/DocumentRewriteSessionEvent.d Wed Aug 27 14:49:30 2008 +0200 +++ b/dwtx/jface/text/DocumentRewriteSessionEvent.d Mon Sep 08 00:51:37 2008 +0200 @@ -61,7 +61,6 @@ import dwtx.jface.text.IDocumentExtension4; // packageimport import dwtx.jface.text.IDocumentExtension2; // packageimport import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport -import dwtx.jface.text.Assert; // packageimport import dwtx.jface.text.DefaultInformationControl; // packageimport import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport import dwtx.jface.text.DocumentClone; // packageimport @@ -169,8 +168,28 @@ */ public class DocumentRewriteSessionEvent { - public const static Object SESSION_START= new Object(); - public const static Object SESSION_STOP= new Object(); + private static Object SESSION_START_; + public static Object SESSION_START(){ + if( SESSION_START_ is null ){ + synchronized(DocumentRewriteSessionEvent.classinfo){ + if( SESSION_START_ is null ){ + SESSION_START_ = new Object(); + } + } + } + return SESSION_START_; + } + private static Object SESSION_STOP_; + public static Object SESSION_STOP(){ + if( SESSION_STOP_ is null ){ + synchronized(DocumentRewriteSessionEvent.classinfo){ + if( SESSION_STOP_ is null ){ + SESSION_STOP_ = new Object(); + } + } + } + return SESSION_STOP_; + } /** The changed document */ public IDocument fDocument; @@ -189,7 +208,7 @@ * {@link DocumentRewriteSessionEvent#SESSION_STOP}. */ public this(IDocument doc, DocumentRewriteSession session, Object changeType) { - Assert.isNotNull(doc); + Assert.isNotNull(cast(Object)doc); Assert.isNotNull(session); fDocument= doc;