Gitiles
Code Review Sign In
git.eclipse.org / objectteams / org.eclipse.objectteams / 12aae38f1fd8481ac009d45145d55392012d4fbb / . / plugins / org.eclipse.objectteams.otdt.ui / plugin.xml
blob: 570fbf7f7727bc6c1bb6e7c22105008ebb45189a [file] [log] [blame]
Stephan Herrmann01664412010-04-01 20:28:43 +0000[diff] [blame]1<?xml version="1.0" encoding="UTF-8"?>
2<?eclipse version="3.0"?>
3<plugin>
Stephan Herrmann1ed41202010-06-27 22:18:24 +0000[diff] [blame]4 <extension-point id="updateRulerActionExtenders" name="Update Ruler Action Extenders" schema="schema/updateRulerActionExtenders.exsd"/>
Stephan Herrmann01664412010-04-01 20:28:43 +0000[diff] [blame]5
6<!-- Perspectives -->
7 <extension
8 point="org.eclipse.ui.perspectives">
9 <perspective
10 name="%perspectiveName"
11 icon="icons/ot/ot.png"
12 class="org.eclipse.objectteams.otdt.internal.ui.OTJavaPerspectiveFactory"
13 id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
14 </perspective>
15 </extension>
16
17<!-- View category -->
18 <extension
19 point="org.eclipse.ui.views">
20 <category
21 id="org.eclipse.objectteams.otdt.ui"
22 name="Object Teams">
23 </category>
24 </extension>
25
26 <extension
27 point="org.eclipse.ui.perspectiveExtensions">
28 <perspectiveExtension
29 targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
30
31 <!-- "Open Perspective" shows the Debug, Resource and OT-perspective -->
32 <perspectiveShortcut
33 id="org.eclipse.debug.ui.DebugPerspective">
34 </perspectiveShortcut>
35 <perspectiveShortcut
36 id="org.eclipse.ui.resourcePerspective">
37 </perspectiveShortcut>
38 <perspectiveShortcut
39 id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
40 </perspectiveShortcut>
41 <view
42 id="org.eclipse.pde.runtime.LogView"
43 minimized="false"
44 relationship="stack"
45 relative="org.eclipse.ui.views.ProblemView">
46 </view>
47 <newWizardShortcut
48 id="org.eclipse.objectteams.otdt.ui.wizards.NewTeamCreationWizard">
49 </newWizardShortcut>
50 <newWizardShortcut
51 id="org.eclipse.objectteams.otdt.ui.wizards.NewRoleCreationWizard">
52 </newWizardShortcut>
53 <newWizardShortcut
54 id="org.eclipse.objectteams.otdt.ui.wizards.OTNewProjectWizard">
55 </newWizardShortcut>
56 <newWizardShortcut
57 id="org.eclispe.objectteams.otdt.pde.ui.wizards.OTNewPluginProjectWizard">
58 </newWizardShortcut>
59 <actionSet
60 id="org.eclipse.jdt.ui.text.java.actionSet.presentation">
61 </actionSet>
62 </perspectiveExtension>
63
64 <!-- Add our own perspective to the Resource, Java and Debug perspectives -->
65 <perspectiveExtension
66 targetID="org.eclipse.ui.resourcePerspective">
67 <perspectiveShortcut
68 id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
69 </perspectiveShortcut>
70 </perspectiveExtension>
71
72 <perspectiveExtension
73 targetID="org.eclipse.jdt.ui.JavaPerspective">
74 <perspectiveShortcut
75 id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
76 </perspectiveShortcut>
77 </perspectiveExtension>
78
79 <perspectiveExtension
80 targetID="org.eclipse.debug.ui.DebugPerspective">
81 <perspectiveShortcut
82 id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective">
83 </perspectiveShortcut>
84 </perspectiveExtension>
85
86 </extension>
87
88<!-- Object Teams Wizards -->
89 <extension
90 point="org.eclipse.ui.newWizards">
91 <category
92 name="%ObjectTeams"
93 id="org.eclipse.objectteams.otdt.ui.wizards">
94 </category>
95 <wizard
96 name="%NewOTProject.label"
97 icon="icons/ot/wizard/newprj_wiz.gif"
98 category="org.eclipse.objectteams.otdt.ui.wizards"
99 class="org.eclipse.objectteams.otdt.internal.ui.wizards.OTNewProjectWizard"
100 preferredPerspectives="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"
101 project="true"
102 finalPerspective="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"
103 id="org.eclipse.objectteams.otdt.ui.wizards.OTNewProjectWizard">
104 <description>
105 %NewOTProject.description
106 </description>
107 </wizard>
108 <wizard
109 name="%NewTeam.label"
110 icon="icons/ot/newteam_obj.gif"
111 category="org.eclipse.objectteams.otdt.ui.wizards"
112 id="org.eclipse.objectteams.otdt.ui.wizards.NewTeamCreationWizard">
113 <class
114 class="org.eclipse.objectteams.otdt.internal.ui.wizards.NewTeamCreationWizard">
115 <parameter name="javatype" value="true"/>
116 </class>
117 <description>
118 %NewTeam.description
119 </description>
120 </wizard>
121 <wizard
122 name="%NewRole.label"
123 icon="icons/ot/newrole_obj.png"
124 category="org.eclipse.objectteams.otdt.ui.wizards"
125 id="org.eclipse.objectteams.otdt.ui.wizards.NewRoleCreationWizard">
126 <class
127 class="org.eclipse.objectteams.otdt.internal.ui.wizards.NewRoleCreationWizard">
128 <parameter name="javatype" value="true"/>
129 </class>
130 <description>
131 %NewRole.description
132 </description>
133 </wizard>
134 </extension>
135
136
137<!-- Object Teams Markers/Annotation: Callin, Callout, PlayedBy, OverridingRole -->
138 <extension
139 point="org.eclipse.core.resources.markers"
140 id="callinMarker"
141 name="Callin Marker">
142 <super type="org.eclipse.core.resources.textmarker"/>
143 <persistent value="false"/>
144 <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.CallinMapping"/>
145 </extension>
146 <extension
147 point="org.eclipse.core.resources.markers"
148 id="calloutMarker"
149 name="Callout Marker">
150 <super type="org.eclipse.core.resources.textmarker"/>
151 <persistent value="false"/>
152 <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.CalloutMapping"/>
153 </extension>
154 <extension
155 point="org.eclipse.core.resources.markers"
156 id="playedByMarker"
157 name="PlayedBy Marker">
158 <super type="org.eclipse.core.resources.textmarker"/>
159 <persistent value="false"/>
160 <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.PlayedByMapping"/>
161 </extension>
162
163 <extension
164 point="org.eclipse.ui.editors.annotationTypes">
165 <type
166 name="org.eclipse.objectteams.otdt.ui.annotationtypes.CallinMarker"
167 super="org.eclipse.jdt.ui.info"
168 markerType="org.eclipse.objectteams.otdt.ui.callinMarker">
169 </type>
170 <type
171 name="org.eclipse.objectteams.otdt.ui.annotationtypes.CalloutMarker"
172 super="org.eclipse.jdt.ui.info"
173 markerType="org.eclipse.objectteams.otdt.ui.calloutMarker">
174 </type>
175 <type
176 name="org.eclipse.objectteams.otdt.ui.annotationtypes.PlayedByMarker"
177 super="org.eclipse.jdt.ui.info"
178 markerType="org.eclipse.objectteams.otdt.ui.playedByMarker">
179 </type>
180 <type
181 name="org.eclipse.objectteams.otdt.ui.roleOverrideIndicator"/>
182 </extension>
183
184 <extension
185 point="org.eclipse.ui.editors.markerAnnotationSpecification">
186 <specification
187 annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.CallinMarker"
188 colorPreferenceKey="callinmarker.color"
189 colorPreferenceValue="120,159,79"
190 contributesToHeader="true"
191 highlightPreferenceKey="callinmarker.highlight"
192 icon="icons/ot/callinbinding_obj.gif"
193 includeOnPreferencePage="true"
194 isGoToNextNavigationTarget="true"
195 isGoToNextNavigationTargetKey="callinmarker.gotonext"
196 isGoToPreviousNavigationTarget="true"
197 isGoToPreviousNavigationTargetKey="callinmarker.gotoprev"
198 label="Callin bindings"
199 overviewRulerPreferenceKey="callinmarker.overview"
200 overviewRulerPreferenceValue="true"
201 presentationLayer="9"
202 showInNextPrevDropdownToolbarAction="true"
203 showInNextPrevDropdownToolbarActionKey="callinmarker.nextprev.action"
204 symbolicIcon="info"
205 textPreferenceKey="callinmarker.text"
206 textStylePreferenceKey="callinmarker.textstyle"
207 textStylePreferenceValue="NONE"
208 verticalRulerPreferenceKey="callinmarker.vertical"
209 verticalRulerPreferenceValue="true">
210 </specification>
211
212 <specification
213 annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.CalloutMarker"
214 colorPreferenceKey="calloutmarker.color"
215 colorPreferenceValue="120,159,79"
216 contributesToHeader="true"
217 highlightPreferenceKey="calloutmarker.highlight"
218 icon="icons/ot/callout_marker.gif"
219 includeOnPreferencePage="true"
220 isGoToNextNavigationTarget="true"
221 isGoToNextNavigationTargetKey="calloutmarker.gotonext"
222 isGoToPreviousNavigationTarget="true"
223 isGoToPreviousNavigationTargetKey="calloutmarker.gotoprev"
224 label="Decapsulating callout bindings"
225 overviewRulerPreferenceKey="calloutmarker.overview"
226 overviewRulerPreferenceValue="true"
227 presentationLayer="9"
228 showInNextPrevDropdownToolbarAction="true"
229 showInNextPrevDropdownToolbarActionKey="calloutmarker.nextprev.action"
230 symbolicIcon="info"
231 textPreferenceKey="calloutmarker.text"
232 textStylePreferenceKey="calloutmarker.textstyle"
233 textStylePreferenceValue="NONE"
234 verticalRulerPreferenceKey="calloutmarker.vertical"
235 verticalRulerPreferenceValue="true">
236 </specification>
237
238 <specification
239 annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.PlayedByMarker"
240 colorPreferenceKey="playedbymarker.color"
241 colorPreferenceValue="120,159,79"
242 contributesToHeader="true"
243 highlightPreferenceKey="playedbymarker.highlight"
244 icon="icons/ot/playedBy_obj.gif"
245 includeOnPreferencePage="true"
246 isGoToNextNavigationTarget="true"
247 isGoToNextNavigationTargetKey="playedbymarker.gotonext"
248 label="Role bindings"
249 overviewRulerPreferenceKey="playedbymarker.overview"
250 overviewRulerPreferenceValue="true"
251 presentationLayer="9"
252 symbolicIcon="info"
253 textPreferenceKey="playedbymarker.text"
254 textStylePreferenceKey="playedbymarker.teststyle"
255 textStylePreferenceValue="NONE"
256 verticalRulerPreferenceKey="playedbymarker.vertical"
257 verticalRulerPreferenceValue="true">
258 </specification>
259<!-- modelled after org.eclipse.jdt.ui.overrideIndicator (with which it still shares the preferences): -->
260 <specification
261 annotationType="org.eclipse.objectteams.otdt.ui.roleOverrideIndicator"
262 label="Role class override indicator"
263 icon="icons/jdt/full/obj16/over_co.gif"
264 textPreferenceKey="overrideIndicator"
265 textPreferenceValue="false"
266 highlightPreferenceKey="overrideIndicatorHighlighting"
267 highlightPreferenceValue="false"
268 contributesToHeader="false"
269 overviewRulerPreferenceKey="overrideIndicatorInOverviewRuler"
270 overviewRulerPreferenceValue="false"
271 verticalRulerPreferenceKey="overrideIndicatorInVerticalRuler"
272 verticalRulerPreferenceValue="true"
273 colorPreferenceKey="overrideIndicatorColor"
274 colorPreferenceValue="180,207,205"
275 presentationLayer="3"
276 showInNextPrevDropdownToolbarActionKey="showoverrideIndicatorInNextPrevDropdownToolbarAction"
277 showInNextPrevDropdownToolbarAction="false"
278 isGoToNextNavigationTargetKey="isOverrideIndicatorGoToNextNavigationTarget"
279 isGoToNextNavigationTarget="false"
280 isGoToPreviousNavigationTargetKey="isOverrideIndicatorGoToPreviousNavigationTarget"
281 textStylePreferenceKey="overrideIndicatorTextStyle"
282 textStylePreferenceValue="SQUIGGLES">
283 </specification>
284 </extension>
285
286 <extension
287 point="org.eclipse.ui.editorActions">
288 <editorContribution
289 id="org.eclipse.ui.texteditor.ruler.actions"
290 targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
291 <action
292 actionID="RulerClick"
293 label="openteam"
Stephan Herrmann3b664252010-11-28 23:36:13 +0000[diff] [blame]294 class="org.eclipse.objectteams.otdt.internal.ui.callinmarkers.UpdateRulerAction"
Stephan Herrmann1ed41202010-06-27 22:18:24 +0000[diff] [blame]295 id="org.eclipse.objectteams.otdt.ui.actions.UpdateRulerAction">
Stephan Herrmann01664412010-04-01 20:28:43 +0000[diff] [blame]296 </action>
297 </editorContribution>
298 <editorContribution
299 id="org.eclipse.ui.texteditor.ruler.actions"
300 targetID="org.eclipse.jdt.ui.ClassFileEditor">
301 <action
302 actionID="RulerClick"
303 label="openteam"
Stephan Herrmann3b664252010-11-28 23:36:13 +0000[diff] [blame]304 class="org.eclipse.objectteams.otdt.internal.ui.callinmarkers.UpdateRulerAction"
Stephan Herrmann1ed41202010-06-27 22:18:24 +0000[diff] [blame]305 id="org.eclipse.objectteams.otdt.ui.actions.UpdateRulerAction">
Stephan Herrmann01664412010-04-01 20:28:43 +0000[diff] [blame]306 </action>
307 </editorContribution>
308 </extension>
309
310<!-- Object Teams Templates-->
311 <extension
312 point="org.eclipse.ui.editors.templates">
313 <contextType
314 name="%templates.java.contextType.name"
315 class="org.eclipse.jdt.internal.corext.template.java.JavaContextType"
316 id="java">
317 </contextType>
318 <contextType
319 name="%templates.javadoc.contextType.name"
320 class="org.eclipse.jdt.internal.corext.template.java.JavaDocContextType"
321 id="javadoc">
322 </contextType>
323 <resolver
324 class="org.eclipse.objectteams.otdt.internal.ui.templates.ParameterMappingTemplateResolver"
325 contextTypeId="java"
326 description="Resolver for callin parameter mappings"
327 name="callin parameter mapping"
328 type="callin_parameter_name">
329 </resolver>
330 <resolver
331 class="org.eclipse.objectteams.otdt.internal.ui.templates.ParameterMappingTemplateResolver"
332 contextTypeId="java"
333 description="Resolver for callout parameter mappings"
334 name="callout parameter mapping"
335 type="callout_parameter_name">
336 </resolver>
337 <include
338 file="templates/OT-templates.xml"
339 translations="templates/OT-templates.properties">
340 </include>
341 </extension>
342
343
344
345<!-- Configurable options for the OT/J compiler -->
346 <extension
347 point="org.eclipse.ui.preferencePages">
348 <page
349 id="org.eclipse.objectteams.otdt.ui.preferences.CompilerPreferencePage"
350 name="%OTCompilerPreferencePageName"
351 category="org.eclipse.jdt.ui.preferences.JavaBasePreferencePage"
352 class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTCompilerPreferencePage">
353 <keywordReference id="org.eclipse.objectteams.otdt.ui.compliance"/>
354 </page>
355
356 <!-- General Object Teams configuration options -->
357 <page
358 id="org.eclipse.objectteams.otdt.ui.preferences.GeneralPreferencePage"
359 name="%OTGeneralPreferencePageName"
360 class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTGeneralPreferencePage">
361 </page>
362
363 </extension>
364 <extension
365 point="org.eclipse.ui.propertyPages">
366 <page
367 class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTCompilerPreferencePage"
368 icon="icons/ot/ot_bare_10.png"
369 id="org.eclipse.objectteams.otdt.ui.propertyPages.CompilerPreferencePage"
370 name="%OTCompilerPropertyPageName">
371 <filter name="nature"
372 value="org.eclipse.objectteams.otdt.OTJavaNature">
373 </filter>
374 <keywordReference id="org.eclipse.objectteams.otdt.ui.compliance"/>
375 <enabledWhen>
376 <or>
377 <instanceof
378 value="org.eclipse.core.resources.IProject">
379 </instanceof>
380 <instanceof
381 value="org.eclipse.jdt.core.IJavaProject">
382 </instanceof>
383 </or>
384 </enabledWhen>
385 </page>
386 </extension>
387 <extension
388 point="org.eclipse.ui.keywords">
389 <keyword
390 id="org.eclipse.objectteams.otdt.ui.compliance"
391 label="%preferenceKeywords.compiler.options"/>
392 </extension>
393 <!-- Binding Editor -->
394 <extension
395 point="org.eclipse.ui.menus">
396 <menuContribution
397 locationURI="popup:org.eclipse.ui.popup.any?before=group.open">
398 <command
399 commandId="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor"
400 icon="icons/ot/calloutbinding_obj.gif"
401 style="push">
402 <visibleWhen
403 checkEnabled="true">
404 </visibleWhen>
405 </command>
406 </menuContribution>
407 </extension>
408 <extension
409 point="org.eclipse.ui.commands">
410 <command
411 id="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor"
412 name="Open Binding Editor">
413 </command>
414 </extension>
415 <extension
416 point="org.eclipse.ui.handlers">
417 <handler
Stephan Herrmann3b664252010-11-28 23:36:13 +0000[diff] [blame]418 class="org.eclipse.objectteams.otdt.internal.ui.handlers.OpenBindingEditorHandler"
Stephan Herrmann01664412010-04-01 20:28:43 +0000[diff] [blame]419 commandId="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor">
420 </handler>
421 </extension>
422 <!-- Compare callin method with base method: -->
423 <extension
424 point="org.eclipse.ui.menus">
425 <!-- Forward declaration of a menu declared the old way: -->
426 <menuContribution
427 locationURI="popup:org.eclipse.ui.popup.any">
428 <menu
429 id="compareWithMenu"
430 label="%CompareWithMenu.label">
431 <separator
432 name="compareWithGroup">
433 </separator>
434 </menu>
435 </menuContribution>
436 <!-- Hook this contribution into the above submenu: -->
437 <menuContribution
438 locationURI="popup:compareWithMenu?after=compareWithGroup">
439 <command
440 commandId="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod"
441 icon="icons/ot/callinbindingreplace_obj.gif"
442 style="push">
443 <visibleWhen
444 checkEnabled="true">
445 </visibleWhen>
446 </command>
447 </menuContribution>
448 </extension>
449 <extension
450 point="org.eclipse.ui.commands">
451 <command
452 description="%CompareWithBaseMethodAction.description"
453 id="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod"
454 name="%CompareWithBaseMethodAction.label">
455 </command>
456 </extension>
457 <extension
458 point="org.eclipse.ui.handlers">
459 <handler
Stephan Herrmann3b664252010-11-28 23:36:13 +0000[diff] [blame]460 class="org.eclipse.objectteams.otdt.internal.ui.handlers.CompareWithBaseMethodHandler"
Stephan Herrmann01664412010-04-01 20:28:43 +0000[diff] [blame]461 commandId="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod">
462 </handler>
463 </extension>
464<!--
465 <extension
466 point="org.eclipse.jdt.ui.foldingStructureProviders">
467 <provider
468 class="org.eclipse.objectteams.otdt.internal.ui.text.folding.OTJavaFoldingStructureProvider"
469 id="org.eclipse.objectteams.otdt.ui.foldingProvider"/>
470 </extension>
471-->
472</plugin>
473