annotate 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
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
1 /*******************************************************************************
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
2 * Copyright (c) 2000, 2008 IBM Corporation and others.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
3 * All rights reserved. This program and the accompanying materials
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
4 * are made available under the terms of the Eclipse Public License v1.0
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
5 * which accompanies this distribution, and is available at
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
6 * http://www.eclipse.org/legal/epl-v10.html
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
7 *
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
8 * Contributors:
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
9 * IBM Corporation - initial API and implementation
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
10 * Port to the D programming language:
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
11 * Frank Benoit <benoit@tionex.de>
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
12 *******************************************************************************/
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
13
131
c4fb132a086c Add package imports
Frank Benoit <benoit@tionex.de>
parents: 129
diff changeset
14
151
eb21d3dfc767 fix module statement
Frank Benoit <benoit@tionex.de>
parents: 150
diff changeset
15 module dwtx.jface.text.DocumentEvent;
eb21d3dfc767 fix module statement
Frank Benoit <benoit@tionex.de>
parents: 150
diff changeset
16
159
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
17 // import dwtx.jface.text.IDocumentPartitioningListener; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
18 // import dwtx.jface.text.DefaultTextHover; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
19 // import dwtx.jface.text.AbstractInformationControl; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
20 // import dwtx.jface.text.TextUtilities; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
21 // import dwtx.jface.text.IInformationControlCreatorExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
22 // import dwtx.jface.text.AbstractInformationControlManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
23 // import dwtx.jface.text.ITextViewerExtension2; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
24 // import dwtx.jface.text.IDocumentPartitioner; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
25 // import dwtx.jface.text.DefaultIndentLineAutoEditStrategy; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
26 // import dwtx.jface.text.ITextSelection; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
27 // import dwtx.jface.text.Document; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
28 // import dwtx.jface.text.FindReplaceDocumentAdapterContentProposalProvider; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
29 // import dwtx.jface.text.ITextListener; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
30 // import dwtx.jface.text.BadPartitioningException; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
31 // import dwtx.jface.text.ITextViewerExtension5; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
32 // import dwtx.jface.text.IDocumentPartitionerExtension3; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
33 // import dwtx.jface.text.IUndoManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
34 // import dwtx.jface.text.ITextHoverExtension2; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
35 // import dwtx.jface.text.IRepairableDocument; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
36 // import dwtx.jface.text.IRewriteTarget; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
37 // import dwtx.jface.text.DefaultPositionUpdater; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
38 // import dwtx.jface.text.RewriteSessionEditProcessor; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
39 // import dwtx.jface.text.TextViewerHoverManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
40 // import dwtx.jface.text.DocumentRewriteSession; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
41 // import dwtx.jface.text.TextViewer; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
42 // import dwtx.jface.text.ITextViewerExtension8; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
43 // import dwtx.jface.text.RegExMessages; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
44 // import dwtx.jface.text.IDelayedInputChangeProvider; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
45 // import dwtx.jface.text.ITextOperationTargetExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
46 // import dwtx.jface.text.IWidgetTokenOwner; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
47 // import dwtx.jface.text.IViewportListener; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
48 // import dwtx.jface.text.GapTextStore; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
49 // import dwtx.jface.text.MarkSelection; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
50 // import dwtx.jface.text.IDocumentPartitioningListenerExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
51 // import dwtx.jface.text.IDocumentAdapterExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
52 // import dwtx.jface.text.IInformationControlExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
53 // import dwtx.jface.text.IDocumentPartitioningListenerExtension2; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
54 // import dwtx.jface.text.DefaultDocumentAdapter; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
55 // import dwtx.jface.text.ITextViewerExtension3; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
56 // import dwtx.jface.text.IInformationControlCreator; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
57 // import dwtx.jface.text.TypedRegion; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
58 // import dwtx.jface.text.ISynchronizable; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
59 // import dwtx.jface.text.IMarkRegionTarget; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
60 // import dwtx.jface.text.TextViewerUndoManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
61 // import dwtx.jface.text.IRegion; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
62 // import dwtx.jface.text.IInformationControlExtension2; // packageimport
131
c4fb132a086c Add package imports
Frank Benoit <benoit@tionex.de>
parents: 129
diff changeset
63 import dwtx.jface.text.IDocumentExtension4; // packageimport
159
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
64 // import dwtx.jface.text.IDocumentExtension2; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
65 // import dwtx.jface.text.IDocumentPartitionerExtension2; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
66 // import dwtx.jface.text.Assert; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
67 // import dwtx.jface.text.DefaultInformationControl; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
68 // import dwtx.jface.text.IWidgetTokenOwnerExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
69 // import dwtx.jface.text.DocumentClone; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
70 // import dwtx.jface.text.DefaultUndoManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
71 // import dwtx.jface.text.IFindReplaceTarget; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
72 // import dwtx.jface.text.IAutoEditStrategy; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
73 // import dwtx.jface.text.ILineTrackerExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
74 // import dwtx.jface.text.IUndoManagerExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
75 // import dwtx.jface.text.TextSelection; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
76 // import dwtx.jface.text.DefaultAutoIndentStrategy; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
77 // import dwtx.jface.text.IAutoIndentStrategy; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
78 // import dwtx.jface.text.IPainter; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
79 // import dwtx.jface.text.IInformationControl; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
80 // import dwtx.jface.text.IInformationControlExtension3; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
81 // import dwtx.jface.text.ITextViewerExtension6; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
82 // import dwtx.jface.text.IInformationControlExtension4; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
83 // import dwtx.jface.text.DefaultLineTracker; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
84 // import dwtx.jface.text.IDocumentInformationMappingExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
85 // import dwtx.jface.text.IRepairableDocumentExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
86 // import dwtx.jface.text.ITextHover; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
87 // import dwtx.jface.text.FindReplaceDocumentAdapter; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
88 // import dwtx.jface.text.ILineTracker; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
89 // import dwtx.jface.text.Line; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
90 // import dwtx.jface.text.ITextViewerExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
91 // import dwtx.jface.text.IDocumentAdapter; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
92 // import dwtx.jface.text.TextEvent; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
93 // import dwtx.jface.text.BadLocationException; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
94 // import dwtx.jface.text.AbstractDocument; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
95 // import dwtx.jface.text.AbstractLineTracker; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
96 // import dwtx.jface.text.TreeLineTracker; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
97 // import dwtx.jface.text.ITextPresentationListener; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
98 // import dwtx.jface.text.Region; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
99 // import dwtx.jface.text.ITextViewer; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
100 // import dwtx.jface.text.IDocumentInformationMapping; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
101 // import dwtx.jface.text.MarginPainter; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
102 // import dwtx.jface.text.IPaintPositionManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
103 // import dwtx.jface.text.TextPresentation; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
104 // import dwtx.jface.text.IFindReplaceTargetExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
105 // import dwtx.jface.text.ISlaveDocumentManagerExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
106 // import dwtx.jface.text.ISelectionValidator; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
107 // import dwtx.jface.text.IDocumentExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
108 // import dwtx.jface.text.PropagatingFontFieldEditor; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
109 // import dwtx.jface.text.ConfigurableLineTracker; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
110 // import dwtx.jface.text.SlaveDocumentEvent; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
111 // import dwtx.jface.text.IDocumentListener; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
112 // import dwtx.jface.text.PaintManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
113 // import dwtx.jface.text.IFindReplaceTargetExtension3; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
114 // import dwtx.jface.text.ITextDoubleClickStrategy; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
115 // import dwtx.jface.text.IDocumentExtension3; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
116 // import dwtx.jface.text.Position; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
117 // import dwtx.jface.text.TextMessages; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
118 // import dwtx.jface.text.CopyOnWriteTextStore; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
119 // import dwtx.jface.text.WhitespaceCharacterPainter; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
120 // import dwtx.jface.text.IPositionUpdater; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
121 // import dwtx.jface.text.DefaultTextDoubleClickStrategy; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
122 // import dwtx.jface.text.ListLineTracker; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
123 // import dwtx.jface.text.ITextInputListener; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
124 // import dwtx.jface.text.BadPositionCategoryException; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
125 // import dwtx.jface.text.IWidgetTokenKeeperExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
126 // import dwtx.jface.text.IInputChangedListener; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
127 // import dwtx.jface.text.ITextOperationTarget; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
128 // import dwtx.jface.text.IDocumentInformationMappingExtension2; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
129 // import dwtx.jface.text.ITextViewerExtension7; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
130 // import dwtx.jface.text.IInformationControlExtension5; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
131 // import dwtx.jface.text.IDocumentRewriteSessionListener; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
132 // import dwtx.jface.text.JFaceTextUtil; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
133 // import dwtx.jface.text.AbstractReusableInformationControlCreator; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
134 // import dwtx.jface.text.TabsToSpacesConverter; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
135 // import dwtx.jface.text.CursorLinePainter; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
136 // import dwtx.jface.text.ITextHoverExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
137 // import dwtx.jface.text.IEventConsumer; // packageimport
131
c4fb132a086c Add package imports
Frank Benoit <benoit@tionex.de>
parents: 129
diff changeset
138 import dwtx.jface.text.IDocument; // packageimport
159
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
139 // import dwtx.jface.text.IWidgetTokenKeeper; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
140 // import dwtx.jface.text.DocumentCommand; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
141 // import dwtx.jface.text.TypedPosition; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
142 // import dwtx.jface.text.IEditingSupportRegistry; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
143 // import dwtx.jface.text.IDocumentPartitionerExtension; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
144 // import dwtx.jface.text.AbstractHoverInformationControlManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
145 // import dwtx.jface.text.IEditingSupport; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
146 // import dwtx.jface.text.IMarkSelection; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
147 // import dwtx.jface.text.ISlaveDocumentManager; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
148 // import dwtx.jface.text.DocumentPartitioningChangedEvent; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
149 // import dwtx.jface.text.ITextStore; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
150 // import dwtx.jface.text.JFaceTextMessages; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
151 // import dwtx.jface.text.DocumentRewriteSessionEvent; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
152 // import dwtx.jface.text.SequentialRewriteTextStore; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
153 // import dwtx.jface.text.DocumentRewriteSessionType; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
154 // import dwtx.jface.text.TextAttribute; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
155 // import dwtx.jface.text.ITextViewerExtension4; // packageimport
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
156 // import dwtx.jface.text.ITypedRegion; // packageimport
131
c4fb132a086c Add package imports
Frank Benoit <benoit@tionex.de>
parents: 129
diff changeset
157
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
158 import dwt.dwthelper.utils;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
159
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
160 import dwtx.core.runtime.Assert;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
161
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
162
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
163 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
164 * Specification of changes applied to documents. All changes are represented as
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
165 * replace commands, i.e. specifying a document range whose text gets replaced
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
166 * with different text. In addition to this information, the event also contains
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
167 * the changed document.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
168 *
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
169 * @see dwtx.jface.text.IDocument
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
170 */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
171 public class DocumentEvent {
150
Frank Benoit <benoit@tionex.de>
parents: 147
diff changeset
172
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
173 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
174 * Debug option for asserting that text is not null.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
175 * If the <code>dwtx.text/debug/DocumentEvent/assertTextNotNull</code>
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
176 * system property is <code>true</code>
150
Frank Benoit <benoit@tionex.de>
parents: 147
diff changeset
177 *
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
178 * @since 3.3
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
179 */
159
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
180 private static bool ASSERT_TEXT_NOT_NULL_init = false;
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
181 private static bool ASSERT_TEXT_NOT_NULL_;
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
182 private static bool ASSERT_TEXT_NOT_NULL(){
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
183 if( !ASSERT_TEXT_NOT_NULL_init ){
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
184 ASSERT_TEXT_NOT_NULL_init = true;
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
185 ASSERT_TEXT_NOT_NULL_= Boolean.getBoolean("dwtx.text/debug/DocumentEvent/assertTextNotNull"); //$NON-NLS-1$
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
186 }
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
187 return ASSERT_TEXT_NOT_NULL_;
Frank Benoit <benoit@tionex.de>
parents: 151
diff changeset
188 }
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
189
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
190 /** The changed document */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
191 public IDocument fDocument;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
192 /** The document offset */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
193 public int fOffset;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
194 /** Length of the replaced document text */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
195 public int fLength;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
196 /** Text inserted into the document */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
197 public String fText= ""; //$NON-NLS-1$
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
198 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
199 * The modification stamp of the document when firing this event.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
200 * @since 3.1 and public since 3.3
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
201 */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
202 public long fModificationStamp;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
203
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
204 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
205 * Creates a new document event.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
206 *
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
207 * @param doc the changed document
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
208 * @param offset the offset of the replaced text
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
209 * @param length the length of the replaced text
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
210 * @param text the substitution text
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
211 */
133
7d818bd32d63 Fix ctors to this with gvim regexp
Frank Benoit <benoit@tionex.de>
parents: 131
diff changeset
212 public this(IDocument doc, int offset, int length, String text) {
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
213
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
214 Assert.isNotNull(doc);
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
215 Assert.isTrue(offset >= 0);
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
216 Assert.isTrue(length >= 0);
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
217
150
Frank Benoit <benoit@tionex.de>
parents: 147
diff changeset
218 if (ASSERT_TEXT_NOT_NULL)
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
219 Assert.isNotNull(text);
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
220
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
221 fDocument= doc;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
222 fOffset= offset;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
223 fLength= length;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
224 fText= text;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
225
138
b6bad70d540a Regex instanceof changes
Frank Benoit <benoit@tionex.de>
parents: 134
diff changeset
226 if ( cast(IDocumentExtension4)fDocument )
134
51e6e63f930e Regex fix for casts
Frank Benoit <benoit@tionex.de>
parents: 133
diff changeset
227 fModificationStamp= (cast(IDocumentExtension4)fDocument).getModificationStamp();
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
228 else
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
229 fModificationStamp= IDocumentExtension4.UNKNOWN_MODIFICATION_STAMP;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
230 }
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
231
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
232 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
233 * Creates a new, not initialized document event.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
234 */
133
7d818bd32d63 Fix ctors to this with gvim regexp
Frank Benoit <benoit@tionex.de>
parents: 131
diff changeset
235 public this() {
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
236 }
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
237
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
238 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
239 * Returns the changed document.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
240 *
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
241 * @return the changed document
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
242 */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
243 public IDocument getDocument() {
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
244 return fDocument;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
245 }
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
246
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
247 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
248 * Returns the offset of the change.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
249 *
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
250 * @return the offset of the change
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
251 */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
252 public int getOffset() {
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
253 return fOffset;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
254 }
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
255
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
256 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
257 * Returns the length of the replaced text.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
258 *
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
259 * @return the length of the replaced text
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
260 */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
261 public int getLength() {
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
262 return fLength;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
263 }
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
264
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
265 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
266 * Returns the text that has been inserted.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
267 *
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
268 * @return the text that has been inserted
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
269 */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
270 public String getText() {
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
271 return fText;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
272 }
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
273
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
274 /**
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
275 * Returns the document's modification stamp at the
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
276 * time when this event was sent.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
277 *
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
278 * @return the modification stamp or {@link IDocumentExtension4#UNKNOWN_MODIFICATION_STAMP}.
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
279 * @see IDocumentExtension4#getModificationStamp()
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
280 * @since 3.1
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
281 */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
282 public long getModificationStamp() {
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
283 return fModificationStamp;
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
284 }
150
Frank Benoit <benoit@tionex.de>
parents: 147
diff changeset
285
129
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
286 /*
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
287 * @see java.lang.Object#toString()
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
288 * @since 3.4
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
289 */
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
290 public String toString() {
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
291 StringBuffer buffer= new StringBuffer();
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
292 buffer.append("offset: " ); //$NON-NLS-1$
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
293 buffer.append(fOffset);
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
294 buffer.append(", length: " ); //$NON-NLS-1$
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
295 buffer.append(fLength);
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
296 buffer.append(", timestamp: " ); //$NON-NLS-1$
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
297 buffer.append(fModificationStamp);
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
298 buffer.append("\ntext:>" ); //$NON-NLS-1$
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
299 buffer.append(fText);
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
300 buffer.append("<\n" ); //$NON-NLS-1$
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
301 return buffer.toString();
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
302 }
eb30df5ca28b Added JFace Text sources
Frank Benoit <benoit@tionex.de>
parents:
diff changeset
303 }