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

...
author Frank Benoit <benoit@tionex.de>
date Wed, 27 Aug 2008 01:57:58 +0200
parents eb21d3dfc767
children 3678e4f1a766
comparison
equal deleted inserted replaced
158:25f1f92fa3df 159:7926b636c282
12 *******************************************************************************/ 12 *******************************************************************************/
13 13
14 14
15 module dwtx.jface.text.DocumentEvent; 15 module dwtx.jface.text.DocumentEvent;
16 16
17 import dwtx.jface.text.IDocumentPartitioningListener; // packageimport 17 // import dwtx.jface.text.IDocumentPartitioningListener; // packageimport
18 import dwtx.jface.text.DefaultTextHover; // packageimport 18 // import dwtx.jface.text.DefaultTextHover; // packageimport
19 import dwtx.jface.text.AbstractInformationControl; // packageimport 19 // import dwtx.jface.text.AbstractInformationControl; // packageimport
20 import dwtx.jface.text.TextUtilities; // packageimport 20 // import dwtx.jface.text.TextUtilities; // packageimport
21 import dwtx.jface.text.IInformationControlCreatorExtension; // packageimport 21 // import dwtx.jface.text.IInformationControlCreatorExtension; // packageimport
22 import dwtx.jface.text.AbstractInformationControlManager; // packageimport 22 // import dwtx.jface.text.AbstractInformationControlManager; // packageimport
23 import dwtx.jface.text.ITextViewerExtension2; // packageimport 23 // import dwtx.jface.text.ITextViewerExtension2; // packageimport
24 import dwtx.jface.text.IDocumentPartitioner; // packageimport 24 // import dwtx.jface.text.IDocumentPartitioner; // packageimport
25 import dwtx.jface.text.DefaultIndentLineAutoEditStrategy; // packageimport 25 // import dwtx.jface.text.DefaultIndentLineAutoEditStrategy; // packageimport
26 import dwtx.jface.text.ITextSelection; // packageimport 26 // import dwtx.jface.text.ITextSelection; // packageimport
27 import dwtx.jface.text.Document; // packageimport 27 // import dwtx.jface.text.Document; // packageimport
28 import dwtx.jface.text.FindReplaceDocumentAdapterContentProposalProvider; // packageimport 28 // import dwtx.jface.text.FindReplaceDocumentAdapterContentProposalProvider; // packageimport
29 import dwtx.jface.text.ITextListener; // packageimport 29 // import dwtx.jface.text.ITextListener; // packageimport
30 import dwtx.jface.text.BadPartitioningException; // packageimport 30 // import dwtx.jface.text.BadPartitioningException; // packageimport
31 import dwtx.jface.text.ITextViewerExtension5; // packageimport 31 // import dwtx.jface.text.ITextViewerExtension5; // packageimport
32 import dwtx.jface.text.IDocumentPartitionerExtension3; // packageimport 32 // import dwtx.jface.text.IDocumentPartitionerExtension3; // packageimport
33 import dwtx.jface.text.IUndoManager; // packageimport 33 // import dwtx.jface.text.IUndoManager; // packageimport
34 import dwtx.jface.text.ITextHoverExtension2; // packageimport 34 // import dwtx.jface.text.ITextHoverExtension2; // packageimport
35 import dwtx.jface.text.IRepairableDocument; // packageimport 35 // import dwtx.jface.text.IRepairableDocument; // packageimport
36 import dwtx.jface.text.IRewriteTarget; // packageimport 36 // import dwtx.jface.text.IRewriteTarget; // packageimport
37 import dwtx.jface.text.DefaultPositionUpdater; // packageimport 37 // import dwtx.jface.text.DefaultPositionUpdater; // packageimport
38 import dwtx.jface.text.RewriteSessionEditProcessor; // packageimport 38 // import dwtx.jface.text.RewriteSessionEditProcessor; // packageimport
39 import dwtx.jface.text.TextViewerHoverManager; // packageimport 39 // import dwtx.jface.text.TextViewerHoverManager; // packageimport
40 import dwtx.jface.text.DocumentRewriteSession; // packageimport 40 // import dwtx.jface.text.DocumentRewriteSession; // packageimport
41 import dwtx.jface.text.TextViewer; // packageimport 41 // import dwtx.jface.text.TextViewer; // packageimport
42 import dwtx.jface.text.ITextViewerExtension8; // packageimport 42 // import dwtx.jface.text.ITextViewerExtension8; // packageimport
43 import dwtx.jface.text.RegExMessages; // packageimport 43 // import dwtx.jface.text.RegExMessages; // packageimport
44 import dwtx.jface.text.IDelayedInputChangeProvider; // packageimport 44 // import dwtx.jface.text.IDelayedInputChangeProvider; // packageimport
45 import dwtx.jface.text.ITextOperationTargetExtension; // packageimport 45 // import dwtx.jface.text.ITextOperationTargetExtension; // packageimport
46 import dwtx.jface.text.IWidgetTokenOwner; // packageimport 46 // import dwtx.jface.text.IWidgetTokenOwner; // packageimport
47 import dwtx.jface.text.IViewportListener; // packageimport 47 // import dwtx.jface.text.IViewportListener; // packageimport
48 import dwtx.jface.text.GapTextStore; // packageimport 48 // import dwtx.jface.text.GapTextStore; // packageimport
49 import dwtx.jface.text.MarkSelection; // packageimport 49 // import dwtx.jface.text.MarkSelection; // packageimport
50 import dwtx.jface.text.IDocumentPartitioningListenerExtension; // packageimport 50 // import dwtx.jface.text.IDocumentPartitioningListenerExtension; // packageimport
51 import dwtx.jface.text.IDocumentAdapterExtension; // packageimport 51 // import dwtx.jface.text.IDocumentAdapterExtension; // packageimport
52 import dwtx.jface.text.IInformationControlExtension; // packageimport 52 // import dwtx.jface.text.IInformationControlExtension; // packageimport
53 import dwtx.jface.text.IDocumentPartitioningListenerExtension2; // packageimport 53 // import dwtx.jface.text.IDocumentPartitioningListenerExtension2; // packageimport
54 import dwtx.jface.text.DefaultDocumentAdapter; // packageimport 54 // import dwtx.jface.text.DefaultDocumentAdapter; // packageimport
55 import dwtx.jface.text.ITextViewerExtension3; // packageimport 55 // import dwtx.jface.text.ITextViewerExtension3; // packageimport
56 import dwtx.jface.text.IInformationControlCreator; // packageimport 56 // import dwtx.jface.text.IInformationControlCreator; // packageimport
57 import dwtx.jface.text.TypedRegion; // packageimport 57 // import dwtx.jface.text.TypedRegion; // packageimport
58 import dwtx.jface.text.ISynchronizable; // packageimport 58 // import dwtx.jface.text.ISynchronizable; // packageimport
59 import dwtx.jface.text.IMarkRegionTarget; // packageimport 59 // import dwtx.jface.text.IMarkRegionTarget; // packageimport
60 import dwtx.jface.text.TextViewerUndoManager; // packageimport 60 // import dwtx.jface.text.TextViewerUndoManager; // packageimport
61 import dwtx.jface.text.IRegion; // packageimport 61 // import dwtx.jface.text.IRegion; // packageimport
62 import dwtx.jface.text.IInformationControlExtension2; // packageimport 62 // import dwtx.jface.text.IInformationControlExtension2; // packageimport
63 import dwtx.jface.text.IDocumentExtension4; // packageimport 63 import dwtx.jface.text.IDocumentExtension4; // packageimport
64 import dwtx.jface.text.IDocumentExtension2; // packageimport 64 // import dwtx.jface.text.IDocumentExtension2; // packageimport
65 import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport 65 // import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport
66 import dwtx.jface.text.Assert; // packageimport 66 // import dwtx.jface.text.Assert; // packageimport
67 import dwtx.jface.text.DefaultInformationControl; // packageimport 67 // import dwtx.jface.text.DefaultInformationControl; // packageimport
68 import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport 68 // import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport
69 import dwtx.jface.text.DocumentClone; // packageimport 69 // import dwtx.jface.text.DocumentClone; // packageimport
70 import dwtx.jface.text.DefaultUndoManager; // packageimport 70 // import dwtx.jface.text.DefaultUndoManager; // packageimport
71 import dwtx.jface.text.IFindReplaceTarget; // packageimport 71 // import dwtx.jface.text.IFindReplaceTarget; // packageimport
72 import dwtx.jface.text.IAutoEditStrategy; // packageimport 72 // import dwtx.jface.text.IAutoEditStrategy; // packageimport
73 import dwtx.jface.text.ILineTrackerExtension; // packageimport 73 // import dwtx.jface.text.ILineTrackerExtension; // packageimport
74 import dwtx.jface.text.IUndoManagerExtension; // packageimport 74 // import dwtx.jface.text.IUndoManagerExtension; // packageimport
75 import dwtx.jface.text.TextSelection; // packageimport 75 // import dwtx.jface.text.TextSelection; // packageimport
76 import dwtx.jface.text.DefaultAutoIndentStrategy; // packageimport 76 // import dwtx.jface.text.DefaultAutoIndentStrategy; // packageimport
77 import dwtx.jface.text.IAutoIndentStrategy; // packageimport 77 // import dwtx.jface.text.IAutoIndentStrategy; // packageimport
78 import dwtx.jface.text.IPainter; // packageimport 78 // import dwtx.jface.text.IPainter; // packageimport
79 import dwtx.jface.text.IInformationControl; // packageimport 79 // import dwtx.jface.text.IInformationControl; // packageimport
80 import dwtx.jface.text.IInformationControlExtension3; // packageimport 80 // import dwtx.jface.text.IInformationControlExtension3; // packageimport
81 import dwtx.jface.text.ITextViewerExtension6; // packageimport 81 // import dwtx.jface.text.ITextViewerExtension6; // packageimport
82 import dwtx.jface.text.IInformationControlExtension4; // packageimport 82 // import dwtx.jface.text.IInformationControlExtension4; // packageimport
83 import dwtx.jface.text.DefaultLineTracker; // packageimport 83 // import dwtx.jface.text.DefaultLineTracker; // packageimport
84 import dwtx.jface.text.IDocumentInformationMappingExtension; // packageimport 84 // import dwtx.jface.text.IDocumentInformationMappingExtension; // packageimport
85 import dwtx.jface.text.IRepairableDocumentExtension; // packageimport 85 // import dwtx.jface.text.IRepairableDocumentExtension; // packageimport
86 import dwtx.jface.text.ITextHover; // packageimport 86 // import dwtx.jface.text.ITextHover; // packageimport
87 import dwtx.jface.text.FindReplaceDocumentAdapter; // packageimport 87 // import dwtx.jface.text.FindReplaceDocumentAdapter; // packageimport
88 import dwtx.jface.text.ILineTracker; // packageimport 88 // import dwtx.jface.text.ILineTracker; // packageimport
89 import dwtx.jface.text.Line; // packageimport 89 // import dwtx.jface.text.Line; // packageimport
90 import dwtx.jface.text.ITextViewerExtension; // packageimport 90 // import dwtx.jface.text.ITextViewerExtension; // packageimport
91 import dwtx.jface.text.IDocumentAdapter; // packageimport 91 // import dwtx.jface.text.IDocumentAdapter; // packageimport
92 import dwtx.jface.text.TextEvent; // packageimport 92 // import dwtx.jface.text.TextEvent; // packageimport
93 import dwtx.jface.text.BadLocationException; // packageimport 93 // import dwtx.jface.text.BadLocationException; // packageimport
94 import dwtx.jface.text.AbstractDocument; // packageimport 94 // import dwtx.jface.text.AbstractDocument; // packageimport
95 import dwtx.jface.text.AbstractLineTracker; // packageimport 95 // import dwtx.jface.text.AbstractLineTracker; // packageimport
96 import dwtx.jface.text.TreeLineTracker; // packageimport 96 // import dwtx.jface.text.TreeLineTracker; // packageimport
97 import dwtx.jface.text.ITextPresentationListener; // packageimport 97 // import dwtx.jface.text.ITextPresentationListener; // packageimport
98 import dwtx.jface.text.Region; // packageimport 98 // import dwtx.jface.text.Region; // packageimport
99 import dwtx.jface.text.ITextViewer; // packageimport 99 // import dwtx.jface.text.ITextViewer; // packageimport
100 import dwtx.jface.text.IDocumentInformationMapping; // packageimport 100 // import dwtx.jface.text.IDocumentInformationMapping; // packageimport
101 import dwtx.jface.text.MarginPainter; // packageimport 101 // import dwtx.jface.text.MarginPainter; // packageimport
102 import dwtx.jface.text.IPaintPositionManager; // packageimport 102 // import dwtx.jface.text.IPaintPositionManager; // packageimport
103 import dwtx.jface.text.TextPresentation; // packageimport 103 // import dwtx.jface.text.TextPresentation; // packageimport
104 import dwtx.jface.text.IFindReplaceTargetExtension; // packageimport 104 // import dwtx.jface.text.IFindReplaceTargetExtension; // packageimport
105 import dwtx.jface.text.ISlaveDocumentManagerExtension; // packageimport 105 // import dwtx.jface.text.ISlaveDocumentManagerExtension; // packageimport
106 import dwtx.jface.text.ISelectionValidator; // packageimport 106 // import dwtx.jface.text.ISelectionValidator; // packageimport
107 import dwtx.jface.text.IDocumentExtension; // packageimport 107 // import dwtx.jface.text.IDocumentExtension; // packageimport
108 import dwtx.jface.text.PropagatingFontFieldEditor; // packageimport 108 // import dwtx.jface.text.PropagatingFontFieldEditor; // packageimport
109 import dwtx.jface.text.ConfigurableLineTracker; // packageimport 109 // import dwtx.jface.text.ConfigurableLineTracker; // packageimport
110 import dwtx.jface.text.SlaveDocumentEvent; // packageimport 110 // import dwtx.jface.text.SlaveDocumentEvent; // packageimport
111 import dwtx.jface.text.IDocumentListener; // packageimport 111 // import dwtx.jface.text.IDocumentListener; // packageimport
112 import dwtx.jface.text.PaintManager; // packageimport 112 // import dwtx.jface.text.PaintManager; // packageimport
113 import dwtx.jface.text.IFindReplaceTargetExtension3; // packageimport 113 // import dwtx.jface.text.IFindReplaceTargetExtension3; // packageimport
114 import dwtx.jface.text.ITextDoubleClickStrategy; // packageimport 114 // import dwtx.jface.text.ITextDoubleClickStrategy; // packageimport
115 import dwtx.jface.text.IDocumentExtension3; // packageimport 115 // import dwtx.jface.text.IDocumentExtension3; // packageimport
116 import dwtx.jface.text.Position; // packageimport 116 // import dwtx.jface.text.Position; // packageimport
117 import dwtx.jface.text.TextMessages; // packageimport 117 // import dwtx.jface.text.TextMessages; // packageimport
118 import dwtx.jface.text.CopyOnWriteTextStore; // packageimport 118 // import dwtx.jface.text.CopyOnWriteTextStore; // packageimport
119 import dwtx.jface.text.WhitespaceCharacterPainter; // packageimport 119 // import dwtx.jface.text.WhitespaceCharacterPainter; // packageimport
120 import dwtx.jface.text.IPositionUpdater; // packageimport 120 // import dwtx.jface.text.IPositionUpdater; // packageimport
121 import dwtx.jface.text.DefaultTextDoubleClickStrategy; // packageimport 121 // import dwtx.jface.text.DefaultTextDoubleClickStrategy; // packageimport
122 import dwtx.jface.text.ListLineTracker; // packageimport 122 // import dwtx.jface.text.ListLineTracker; // packageimport
123 import dwtx.jface.text.ITextInputListener; // packageimport 123 // import dwtx.jface.text.ITextInputListener; // packageimport
124 import dwtx.jface.text.BadPositionCategoryException; // packageimport 124 // import dwtx.jface.text.BadPositionCategoryException; // packageimport
125 import dwtx.jface.text.IWidgetTokenKeeperExtension; // packageimport 125 // import dwtx.jface.text.IWidgetTokenKeeperExtension; // packageimport
126 import dwtx.jface.text.IInputChangedListener; // packageimport 126 // import dwtx.jface.text.IInputChangedListener; // packageimport
127 import dwtx.jface.text.ITextOperationTarget; // packageimport 127 // import dwtx.jface.text.ITextOperationTarget; // packageimport
128 import dwtx.jface.text.IDocumentInformationMappingExtension2; // packageimport 128 // import dwtx.jface.text.IDocumentInformationMappingExtension2; // packageimport
129 import dwtx.jface.text.ITextViewerExtension7; // packageimport 129 // import dwtx.jface.text.ITextViewerExtension7; // packageimport
130 import dwtx.jface.text.IInformationControlExtension5; // packageimport 130 // import dwtx.jface.text.IInformationControlExtension5; // packageimport
131 import dwtx.jface.text.IDocumentRewriteSessionListener; // packageimport 131 // import dwtx.jface.text.IDocumentRewriteSessionListener; // packageimport
132 import dwtx.jface.text.JFaceTextUtil; // packageimport 132 // import dwtx.jface.text.JFaceTextUtil; // packageimport
133 import dwtx.jface.text.AbstractReusableInformationControlCreator; // packageimport 133 // import dwtx.jface.text.AbstractReusableInformationControlCreator; // packageimport
134 import dwtx.jface.text.TabsToSpacesConverter; // packageimport 134 // import dwtx.jface.text.TabsToSpacesConverter; // packageimport
135 import dwtx.jface.text.CursorLinePainter; // packageimport 135 // import dwtx.jface.text.CursorLinePainter; // packageimport
136 import dwtx.jface.text.ITextHoverExtension; // packageimport 136 // import dwtx.jface.text.ITextHoverExtension; // packageimport
137 import dwtx.jface.text.IEventConsumer; // packageimport 137 // import dwtx.jface.text.IEventConsumer; // packageimport
138 import dwtx.jface.text.IDocument; // packageimport 138 import dwtx.jface.text.IDocument; // packageimport
139 import dwtx.jface.text.IWidgetTokenKeeper; // packageimport 139 // import dwtx.jface.text.IWidgetTokenKeeper; // packageimport
140 import dwtx.jface.text.DocumentCommand; // packageimport 140 // import dwtx.jface.text.DocumentCommand; // packageimport
141 import dwtx.jface.text.TypedPosition; // packageimport 141 // import dwtx.jface.text.TypedPosition; // packageimport
142 import dwtx.jface.text.IEditingSupportRegistry; // packageimport 142 // import dwtx.jface.text.IEditingSupportRegistry; // packageimport
143 import dwtx.jface.text.IDocumentPartitionerExtension; // packageimport 143 // import dwtx.jface.text.IDocumentPartitionerExtension; // packageimport
144 import dwtx.jface.text.AbstractHoverInformationControlManager; // packageimport 144 // import dwtx.jface.text.AbstractHoverInformationControlManager; // packageimport
145 import dwtx.jface.text.IEditingSupport; // packageimport 145 // import dwtx.jface.text.IEditingSupport; // packageimport
146 import dwtx.jface.text.IMarkSelection; // packageimport 146 // import dwtx.jface.text.IMarkSelection; // packageimport
147 import dwtx.jface.text.ISlaveDocumentManager; // packageimport 147 // import dwtx.jface.text.ISlaveDocumentManager; // packageimport
148 import dwtx.jface.text.DocumentPartitioningChangedEvent; // packageimport 148 // import dwtx.jface.text.DocumentPartitioningChangedEvent; // packageimport
149 import dwtx.jface.text.ITextStore; // packageimport 149 // import dwtx.jface.text.ITextStore; // packageimport
150 import dwtx.jface.text.JFaceTextMessages; // packageimport 150 // import dwtx.jface.text.JFaceTextMessages; // packageimport
151 import dwtx.jface.text.DocumentRewriteSessionEvent; // packageimport 151 // import dwtx.jface.text.DocumentRewriteSessionEvent; // packageimport
152 import dwtx.jface.text.SequentialRewriteTextStore; // packageimport 152 // import dwtx.jface.text.SequentialRewriteTextStore; // packageimport
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 import dwt.dwthelper.utils; 158 import dwt.dwthelper.utils;
159 159
160 import dwtx.core.runtime.Assert; 160 import dwtx.core.runtime.Assert;
161 161
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 bool ASSERT_TEXT_NOT_NULL_init = false;
181 private static bool ASSERT_TEXT_NOT_NULL_;
182 private static bool ASSERT_TEXT_NOT_NULL(){
183 if( !ASSERT_TEXT_NOT_NULL_init ){
184 ASSERT_TEXT_NOT_NULL_init = true;
185 ASSERT_TEXT_NOT_NULL_= Boolean.getBoolean("dwtx.text/debug/DocumentEvent/assertTextNotNull"); //$NON-NLS-1$
186 }
187 return ASSERT_TEXT_NOT_NULL_;
188 }
181 189
182 /** The changed document */ 190 /** The changed document */
183 public IDocument fDocument; 191 public IDocument fDocument;
184 /** The document offset */ 192 /** The document offset */
185 public int fOffset; 193 public int fOffset;