Mercurial > projects > dwt-addons
comparison dwtx/jface/text/projection/ProjectionDocumentManager.d @ 129:eb30df5ca28b
Added JFace Text sources
author | Frank Benoit <benoit@tionex.de> |
---|---|
date | Sat, 23 Aug 2008 19:10:48 +0200 |
parents | |
children | c4fb132a086c |
comparison
equal
deleted
inserted
replaced
128:8df1d4193877 | 129:eb30df5ca28b |
---|---|
1 /******************************************************************************* | |
2 * Copyright (c) 2000, 2008 IBM Corporation and others. | |
3 * All rights reserved. This program and the accompanying materials | |
4 * are made available under the terms of the Eclipse Public License v1.0 | |
5 * which accompanies this distribution, and is available at | |
6 * http://www.eclipse.org/legal/epl-v10.html | |
7 * | |
8 * Contributors: | |
9 * IBM Corporation - initial API and implementation | |
10 * Port to the D programming language: | |
11 * Frank Benoit <benoit@tionex.de> | |
12 *******************************************************************************/ | |
13 module dwtx.jface.text.projection.ProjectionDocumentManager; | |
14 | |
15 import dwt.dwthelper.utils; | |
16 | |
17 import java.util.ArrayList; | |
18 import java.util.HashMap; | |
19 import java.util.Iterator; | |
20 import java.util.List; | |
21 import java.util.Map; | |
22 | |
23 import dwtx.jface.text.DocumentEvent; | |
24 import dwtx.jface.text.IDocument; | |
25 import dwtx.jface.text.IDocumentInformationMapping; | |
26 import dwtx.jface.text.IDocumentListener; | |
27 import dwtx.jface.text.ISlaveDocumentManager; | |
28 import dwtx.jface.text.ISlaveDocumentManagerExtension; | |
29 | |
30 | |
31 /** | |
32 * A <code>ProjectionDocumentManager</code> is one particular implementation | |
33 * of {@link dwtx.jface.text.ISlaveDocumentManager}. This manager | |
34 * creates so called projection documents (see | |
35 * {@link dwtx.jface.text.projection.ProjectionDocument}as slave | |
36 * documents for given master documents. | |
37 * <p> | |
38 * A projection document represents a particular projection of the master | |
39 * document and is accordingly adapted to changes of the master document. Vice | |
40 * versa, the master document is accordingly adapted to changes of its slave | |
41 * documents. The manager does not maintain any particular management structure | |
42 * but utilizes mechanisms given by {@link dwtx.jface.text.IDocument} | |
43 * such as position categories and position updaters. | |
44 * <p> | |
45 * Clients can instantiate this class. This class is not intended to be | |
46 * subclassed.</p> | |
47 * | |
48 * @since 3.0 | |
49 * @noextend This class is not intended to be subclassed by clients. | |
50 */ | |
51 public class ProjectionDocumentManager : IDocumentListener, ISlaveDocumentManager, ISlaveDocumentManagerExtension { | |
52 | |
53 /** Registry for master documents and their projection documents. */ | |
54 private Map fProjectionRegistry= new HashMap(); | |
55 | |
56 /** | |
57 * Registers the given projection document for the given master document. | |
58 * | |
59 * @param master the master document | |
60 * @param projection the projection document | |
61 */ | |
62 private void add(IDocument master, ProjectionDocument projection) { | |
63 List list= (List) fProjectionRegistry.get(master); | |
64 if (list is null) { | |
65 list= new ArrayList(1); | |
66 fProjectionRegistry.put(master, list); | |
67 } | |
68 list.add(projection); | |
69 } | |
70 | |
71 /** | |
72 * Unregisters the given projection document from its master. | |
73 * | |
74 * @param master the master document | |
75 * @param projection the projection document | |
76 */ | |
77 private void remove(IDocument master, ProjectionDocument projection) { | |
78 List list= (List) fProjectionRegistry.get(master); | |
79 if (list !is null) { | |
80 list.remove(projection); | |
81 if (list.size() is 0) | |
82 fProjectionRegistry.remove(master); | |
83 } | |
84 } | |
85 | |
86 /** | |
87 * Returns whether the given document is a master document. | |
88 * | |
89 * @param master the document | |
90 * @return <code>true</code> if the given document is a master document known to this manager | |
91 */ | |
92 private bool hasProjection(IDocument master) { | |
93 return (fProjectionRegistry.get(master) instanceof List); | |
94 } | |
95 | |
96 /** | |
97 * Returns an iterator enumerating all projection documents registered for the given document or | |
98 * <code>null</code> if the document is not a known master document. | |
99 * | |
100 * @param master the document | |
101 * @return an iterator for all registered projection documents or <code>null</code> | |
102 */ | |
103 private Iterator getProjectionsIterator(IDocument master) { | |
104 List list= (List) fProjectionRegistry.get(master); | |
105 if (list !is null) | |
106 return list.iterator(); | |
107 return null; | |
108 } | |
109 | |
110 /** | |
111 * Informs all projection documents of the master document that issued the given document event. | |
112 * | |
113 * @param about indicates whether the change is about to happen or happened already | |
114 * @param masterEvent the document event which will be processed to inform the projection documents | |
115 */ | |
116 protected void fireDocumentEvent(bool about, DocumentEvent masterEvent) { | |
117 IDocument master= masterEvent.getDocument(); | |
118 Iterator e= getProjectionsIterator(master); | |
119 if (e is null) | |
120 return; | |
121 | |
122 while (e.hasNext()) { | |
123 ProjectionDocument document= (ProjectionDocument) e.next(); | |
124 if (about) | |
125 document.masterDocumentAboutToBeChanged(masterEvent); | |
126 else | |
127 document.masterDocumentChanged(masterEvent); | |
128 } | |
129 } | |
130 | |
131 /* | |
132 * @see dwtx.jface.text.IDocumentListener#documentChanged(dwtx.jface.text.DocumentEvent) | |
133 */ | |
134 public void documentChanged(DocumentEvent event) { | |
135 fireDocumentEvent(false, event); | |
136 } | |
137 | |
138 /* | |
139 * @see dwtx.jface.text.IDocumentListener#documentAboutToBeChanged(dwtx.jface.text.DocumentEvent) | |
140 */ | |
141 public void documentAboutToBeChanged(DocumentEvent event) { | |
142 fireDocumentEvent(true, event); | |
143 } | |
144 | |
145 /* | |
146 * @see dwtx.jface.text.ISlaveDocumentManager#createMasterSlaveMapping(dwtx.jface.text.IDocument) | |
147 */ | |
148 public IDocumentInformationMapping createMasterSlaveMapping(IDocument slave) { | |
149 if (slave instanceof ProjectionDocument) { | |
150 ProjectionDocument projectionDocument= (ProjectionDocument) slave; | |
151 return projectionDocument.getDocumentInformationMapping(); | |
152 } | |
153 return null; | |
154 } | |
155 | |
156 /* | |
157 * @see dwtx.jface.text.ISlaveDocumentManager#createSlaveDocument(dwtx.jface.text.IDocument) | |
158 */ | |
159 public IDocument createSlaveDocument(IDocument master) { | |
160 if (!hasProjection(master)) | |
161 master.addDocumentListener(this); | |
162 ProjectionDocument slave= createProjectionDocument(master); | |
163 add(master, slave); | |
164 return slave; | |
165 } | |
166 | |
167 /** | |
168 * Factory method for projection documents. | |
169 * | |
170 * @param master the master document | |
171 * @return the newly created projection document | |
172 */ | |
173 protected ProjectionDocument createProjectionDocument(IDocument master) { | |
174 return new ProjectionDocument(master); | |
175 } | |
176 | |
177 /* | |
178 * @see dwtx.jface.text.ISlaveDocumentManager#freeSlaveDocument(dwtx.jface.text.IDocument) | |
179 */ | |
180 public void freeSlaveDocument(IDocument slave) { | |
181 if (slave instanceof ProjectionDocument) { | |
182 ProjectionDocument projectionDocument= (ProjectionDocument) slave; | |
183 IDocument master= projectionDocument.getMasterDocument(); | |
184 remove(master, projectionDocument); | |
185 projectionDocument.dispose(); | |
186 if (!hasProjection(master)) | |
187 master.removeDocumentListener(this); | |
188 } | |
189 } | |
190 | |
191 /* | |
192 * @see dwtx.jface.text.ISlaveDocumentManager#getMasterDocument(dwtx.jface.text.IDocument) | |
193 */ | |
194 public IDocument getMasterDocument(IDocument slave) { | |
195 if (slave instanceof ProjectionDocument) | |
196 return ((ProjectionDocument) slave).getMasterDocument(); | |
197 return null; | |
198 } | |
199 | |
200 /* | |
201 * @see dwtx.jface.text.ISlaveDocumentManager#isSlaveDocument(dwtx.jface.text.IDocument) | |
202 */ | |
203 public bool isSlaveDocument(IDocument document) { | |
204 return (document instanceof ProjectionDocument); | |
205 } | |
206 | |
207 /* | |
208 * @see dwtx.jface.text.ISlaveDocumentManager#setAutoExpandMode(dwtx.jface.text.IDocument, bool) | |
209 */ | |
210 public void setAutoExpandMode(IDocument slave, bool autoExpanding) { | |
211 if (slave instanceof ProjectionDocument) | |
212 ((ProjectionDocument) slave).setAutoExpandMode(autoExpanding); | |
213 } | |
214 | |
215 /* | |
216 * @see dwtx.jface.text.ISlaveDocumentManagerExtension#getSlaveDocuments(dwtx.jface.text.IDocument) | |
217 */ | |
218 public IDocument[] getSlaveDocuments(IDocument master) { | |
219 List list= (List) fProjectionRegistry.get(master); | |
220 if (list !is null) { | |
221 IDocument[] result= new IDocument[list.size()]; | |
222 list.toArray(result); | |
223 return result; | |
224 } | |
225 return null; | |
226 } | |
227 } |