comparison dwtx/jface/text/projection/ProjectionDocumentEvent.d @ 162:1a5b8f8129df

...
author Frank Benoit <benoit@tionex.de>
date Mon, 08 Sep 2008 00:51:37 +0200
parents 75302ef3f92f
children
comparison
equal deleted inserted replaced
161:f8d52b926852 162:1a5b8f8129df
50 * @noextend This class is not intended to be subclassed by clients. 50 * @noextend This class is not intended to be subclassed by clients.
51 */ 51 */
52 public class ProjectionDocumentEvent : SlaveDocumentEvent { 52 public class ProjectionDocumentEvent : SlaveDocumentEvent {
53 53
54 /** The change type indicating a projection change */ 54 /** The change type indicating a projection change */
55 public const static Object PROJECTION_CHANGE= new Object(); 55 private static Object PROJECTION_CHANGE_;
56 public static Object PROJECTION_CHANGE(){
57 if( PROJECTION_CHANGE_ is null ) {
58 synchronized( ProjectionDocumentEvent.classinfo ) {
59 if( PROJECTION_CHANGE_ is null ) {
60 PROJECTION_CHANGE_ = new Object();
61 }
62 }
63 }
64 return PROJECTION_CHANGE_;
65 }
56 /** The change type indicating a content change */ 66 /** The change type indicating a content change */
57 public const static Object CONTENT_CHANGE= new Object(); 67 private static Object CONTENT_CHANGE_;
68 public static Object CONTENT_CHANGE(){
69 if( CONTENT_CHANGE_ is null ) {
70 synchronized( ProjectionDocumentEvent.classinfo ) {
71 if( CONTENT_CHANGE_ is null ) {
72 CONTENT_CHANGE_ = new Object();
73 }
74 }
75 }
76 return CONTENT_CHANGE_;
77 }
58 78
59 /** The change type */ 79 /** The change type */
60 private Object fChangeType; 80 private Object fChangeType;
61 /** The offset of the change in the master document */ 81 /** The offset of the change in the master document */
62 private int fMasterOffset= -1; 82 private int fMasterOffset= -1;