| <?xml version="1.0" encoding="UTF-8"?> |
| <?eclipse version="3.0"?> |
| <plugin> |
| <extension-point id="updateRulerActionExtenders" name="Update Ruler Action Extenders" schema="schema/updateRulerActionExtenders.exsd"/> |
| |
| <!-- Perspectives --> |
| <extension |
| point="org.eclipse.ui.perspectives"> |
| <perspective |
| name="%perspectiveName" |
| icon="icons/ot/ot.png" |
| class="org.eclipse.objectteams.otdt.internal.ui.OTJavaPerspectiveFactory" |
| id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| </perspective> |
| </extension> |
| |
| <!-- View category --> |
| <extension |
| point="org.eclipse.ui.views"> |
| <category |
| id="org.eclipse.objectteams.otdt.ui" |
| name="Object Teams"> |
| </category> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.perspectiveExtensions"> |
| <perspectiveExtension |
| targetID="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| |
| <!-- "Open Perspective" shows the Debug, Resource and OT-perspective --> |
| <perspectiveShortcut |
| id="org.eclipse.debug.ui.DebugPerspective"> |
| </perspectiveShortcut> |
| <perspectiveShortcut |
| id="org.eclipse.ui.resourcePerspective"> |
| </perspectiveShortcut> |
| <perspectiveShortcut |
| id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| </perspectiveShortcut> |
| <view |
| id="org.eclipse.pde.runtime.LogView" |
| minimized="false" |
| relationship="stack" |
| relative="org.eclipse.ui.views.ProblemView"> |
| </view> |
| <newWizardShortcut |
| id="org.eclipse.objectteams.otdt.ui.wizards.NewTeamCreationWizard"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.objectteams.otdt.ui.wizards.NewRoleCreationWizard"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclipse.objectteams.otdt.ui.wizards.OTNewProjectWizard"> |
| </newWizardShortcut> |
| <newWizardShortcut |
| id="org.eclispe.objectteams.otdt.pde.ui.wizards.OTNewPluginProjectWizard"> |
| </newWizardShortcut> |
| <actionSet |
| id="org.eclipse.jdt.ui.text.java.actionSet.presentation"> |
| </actionSet> |
| </perspectiveExtension> |
| |
| <!-- Add our own perspective to the Resource, Java and Debug perspectives --> |
| <perspectiveExtension |
| targetID="org.eclipse.ui.resourcePerspective"> |
| <perspectiveShortcut |
| id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| </perspectiveShortcut> |
| </perspectiveExtension> |
| |
| <perspectiveExtension |
| targetID="org.eclipse.jdt.ui.JavaPerspective"> |
| <perspectiveShortcut |
| id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| </perspectiveShortcut> |
| </perspectiveExtension> |
| |
| <perspectiveExtension |
| targetID="org.eclipse.debug.ui.DebugPerspective"> |
| <perspectiveShortcut |
| id="org.eclipse.objectteams.otdt.ui.OTJavaPerspective"> |
| </perspectiveShortcut> |
| </perspectiveExtension> |
| |
| </extension> |
| |
| <!-- Object Teams Wizards --> |
| <extension |
| point="org.eclipse.ui.newWizards"> |
| <category |
| name="%ObjectTeams" |
| id="org.eclipse.objectteams.otdt.ui.wizards"> |
| </category> |
| <wizard |
| name="%NewTeam.label" |
| icon="icons/ot/newteam_obj.gif" |
| category="org.eclipse.objectteams.otdt.ui.wizards" |
| id="org.eclipse.objectteams.otdt.ui.wizards.NewTeamCreationWizard"> |
| <class |
| class="org.eclipse.objectteams.otdt.internal.ui.wizards.NewTeamCreationWizard"> |
| <parameter name="javatype" value="true"/> |
| </class> |
| <description> |
| %NewTeam.description |
| </description> |
| </wizard> |
| <wizard |
| name="%NewRole.label" |
| icon="icons/ot/newrole_obj.png" |
| category="org.eclipse.objectteams.otdt.ui.wizards" |
| id="org.eclipse.objectteams.otdt.ui.wizards.NewRoleCreationWizard"> |
| <class |
| class="org.eclipse.objectteams.otdt.internal.ui.wizards.NewRoleCreationWizard"> |
| <parameter name="javatype" value="true"/> |
| </class> |
| <description> |
| %NewRole.description |
| </description> |
| </wizard> |
| </extension> |
| |
| |
| <!-- Object Teams Markers/Annotation: Callin, Callout, PlayedBy, OverridingRole --> |
| <extension |
| point="org.eclipse.core.resources.markers" |
| id="callinMarker" |
| name="Callin Marker"> |
| <super type="org.eclipse.core.resources.textmarker"/> |
| <persistent value="false"/> |
| <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.CallinMapping"/> |
| </extension> |
| <extension |
| point="org.eclipse.core.resources.markers" |
| id="calloutMarker" |
| name="Callout Marker"> |
| <super type="org.eclipse.core.resources.textmarker"/> |
| <persistent value="false"/> |
| <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.CalloutMapping"/> |
| </extension> |
| <extension |
| point="org.eclipse.core.resources.markers" |
| id="playedByMarker" |
| name="PlayedBy Marker"> |
| <super type="org.eclipse.core.resources.textmarker"/> |
| <persistent value="false"/> |
| <attribute name="org.eclipse.objectteams.otdt.ui.markerAttr.PlayedByMapping"/> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.editors.annotationTypes"> |
| <type |
| name="org.eclipse.objectteams.otdt.ui.annotationtypes.CallinMarker" |
| super="org.eclipse.jdt.ui.info" |
| markerType="org.eclipse.objectteams.otdt.ui.callinMarker"> |
| </type> |
| <type |
| name="org.eclipse.objectteams.otdt.ui.annotationtypes.CalloutMarker" |
| super="org.eclipse.jdt.ui.info" |
| markerType="org.eclipse.objectteams.otdt.ui.calloutMarker"> |
| </type> |
| <type |
| name="org.eclipse.objectteams.otdt.ui.annotationtypes.PlayedByMarker" |
| super="org.eclipse.jdt.ui.info" |
| markerType="org.eclipse.objectteams.otdt.ui.playedByMarker"> |
| </type> |
| <type |
| name="org.eclipse.objectteams.otdt.ui.roleOverrideIndicator"/> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.editors.markerAnnotationSpecification"> |
| <specification |
| annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.CallinMarker" |
| colorPreferenceKey="callinmarker.color" |
| colorPreferenceValue="120,159,79" |
| contributesToHeader="true" |
| highlightPreferenceKey="callinmarker.highlight" |
| icon="icons/ot/callinbinding_obj.gif" |
| includeOnPreferencePage="true" |
| isGoToNextNavigationTarget="true" |
| isGoToNextNavigationTargetKey="callinmarker.gotonext" |
| isGoToPreviousNavigationTarget="true" |
| isGoToPreviousNavigationTargetKey="callinmarker.gotoprev" |
| label="Callin bindings" |
| overviewRulerPreferenceKey="callinmarker.overview" |
| overviewRulerPreferenceValue="true" |
| presentationLayer="9" |
| showInNextPrevDropdownToolbarAction="true" |
| showInNextPrevDropdownToolbarActionKey="callinmarker.nextprev.action" |
| symbolicIcon="info" |
| textPreferenceKey="callinmarker.text" |
| textStylePreferenceKey="callinmarker.textstyle" |
| textStylePreferenceValue="NONE" |
| verticalRulerPreferenceKey="callinmarker.vertical" |
| verticalRulerPreferenceValue="true"> |
| </specification> |
| |
| <specification |
| annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.CalloutMarker" |
| colorPreferenceKey="calloutmarker.color" |
| colorPreferenceValue="120,159,79" |
| contributesToHeader="true" |
| highlightPreferenceKey="calloutmarker.highlight" |
| icon="icons/ot/callout_marker.gif" |
| includeOnPreferencePage="true" |
| isGoToNextNavigationTarget="true" |
| isGoToNextNavigationTargetKey="calloutmarker.gotonext" |
| isGoToPreviousNavigationTarget="true" |
| isGoToPreviousNavigationTargetKey="calloutmarker.gotoprev" |
| label="Decapsulating callout bindings" |
| overviewRulerPreferenceKey="calloutmarker.overview" |
| overviewRulerPreferenceValue="true" |
| presentationLayer="9" |
| showInNextPrevDropdownToolbarAction="true" |
| showInNextPrevDropdownToolbarActionKey="calloutmarker.nextprev.action" |
| symbolicIcon="info" |
| textPreferenceKey="calloutmarker.text" |
| textStylePreferenceKey="calloutmarker.textstyle" |
| textStylePreferenceValue="NONE" |
| verticalRulerPreferenceKey="calloutmarker.vertical" |
| verticalRulerPreferenceValue="true"> |
| </specification> |
| |
| <specification |
| annotationType="org.eclipse.objectteams.otdt.ui.annotationtypes.PlayedByMarker" |
| colorPreferenceKey="playedbymarker.color" |
| colorPreferenceValue="120,159,79" |
| contributesToHeader="true" |
| highlightPreferenceKey="playedbymarker.highlight" |
| icon="icons/ot/playedBy_obj.gif" |
| includeOnPreferencePage="true" |
| isGoToNextNavigationTarget="true" |
| isGoToNextNavigationTargetKey="playedbymarker.gotonext" |
| label="Role bindings" |
| overviewRulerPreferenceKey="playedbymarker.overview" |
| overviewRulerPreferenceValue="true" |
| presentationLayer="9" |
| symbolicIcon="info" |
| textPreferenceKey="playedbymarker.text" |
| textStylePreferenceKey="playedbymarker.teststyle" |
| textStylePreferenceValue="NONE" |
| verticalRulerPreferenceKey="playedbymarker.vertical" |
| verticalRulerPreferenceValue="true"> |
| </specification> |
| <!-- modelled after org.eclipse.jdt.ui.overrideIndicator (with which it still shares the preferences): --> |
| <specification |
| annotationType="org.eclipse.objectteams.otdt.ui.roleOverrideIndicator" |
| label="Role class override indicator" |
| icon="icons/jdt/full/obj16/over_co.gif" |
| textPreferenceKey="overrideIndicator" |
| textPreferenceValue="false" |
| highlightPreferenceKey="overrideIndicatorHighlighting" |
| highlightPreferenceValue="false" |
| contributesToHeader="false" |
| overviewRulerPreferenceKey="overrideIndicatorInOverviewRuler" |
| overviewRulerPreferenceValue="false" |
| verticalRulerPreferenceKey="overrideIndicatorInVerticalRuler" |
| verticalRulerPreferenceValue="true" |
| colorPreferenceKey="overrideIndicatorColor" |
| colorPreferenceValue="180,207,205" |
| presentationLayer="3" |
| showInNextPrevDropdownToolbarActionKey="showoverrideIndicatorInNextPrevDropdownToolbarAction" |
| showInNextPrevDropdownToolbarAction="false" |
| isGoToNextNavigationTargetKey="isOverrideIndicatorGoToNextNavigationTarget" |
| isGoToNextNavigationTarget="false" |
| isGoToPreviousNavigationTargetKey="isOverrideIndicatorGoToPreviousNavigationTarget" |
| textStylePreferenceKey="overrideIndicatorTextStyle" |
| textStylePreferenceValue="SQUIGGLES"> |
| </specification> |
| </extension> |
| |
| <extension |
| point="org.eclipse.ui.editorActions"> |
| <editorContribution |
| id="org.eclipse.ui.texteditor.ruler.actions" |
| targetID="org.eclipse.jdt.ui.CompilationUnitEditor"> |
| <action |
| actionID="RulerClick" |
| label="openteam" |
| class="org.eclipse.objectteams.otdt.internal.ui.callinmarkers.UpdateRulerAction" |
| id="org.eclipse.objectteams.otdt.ui.actions.UpdateRulerAction"> |
| </action> |
| </editorContribution> |
| <editorContribution |
| id="org.eclipse.ui.texteditor.ruler.actions" |
| targetID="org.eclipse.jdt.ui.ClassFileEditor"> |
| <action |
| actionID="RulerClick" |
| label="openteam" |
| class="org.eclipse.objectteams.otdt.internal.ui.callinmarkers.UpdateRulerAction" |
| id="org.eclipse.objectteams.otdt.ui.actions.UpdateRulerAction"> |
| </action> |
| </editorContribution> |
| </extension> |
| |
| <!-- Object Teams Templates--> |
| <extension |
| point="org.eclipse.ui.editors.templates"> |
| <contextType |
| name="%templates.java.contextType.name" |
| class="org.eclipse.jdt.internal.corext.template.java.JavaContextType" |
| id="java"> |
| </contextType> |
| <contextType |
| name="%templates.javadoc.contextType.name" |
| class="org.eclipse.jdt.internal.corext.template.java.JavaDocContextType" |
| id="javadoc"> |
| </contextType> |
| <resolver |
| class="org.eclipse.objectteams.otdt.internal.ui.templates.ParameterMappingTemplateResolver" |
| contextTypeId="java" |
| description="Resolver for callin parameter mappings" |
| name="callin parameter mapping" |
| type="callin_parameter_name"> |
| </resolver> |
| <resolver |
| class="org.eclipse.objectteams.otdt.internal.ui.templates.ParameterMappingTemplateResolver" |
| contextTypeId="java" |
| description="Resolver for callout parameter mappings" |
| name="callout parameter mapping" |
| type="callout_parameter_name"> |
| </resolver> |
| <include |
| file="templates/OT-templates.xml" |
| translations="templates/OT-templates.properties"> |
| </include> |
| </extension> |
| |
| |
| |
| <!-- Configurable options for the OT/J compiler --> |
| <extension |
| point="org.eclipse.ui.preferencePages"> |
| <page |
| id="org.eclipse.objectteams.otdt.ui.preferences.CompilerPreferencePage" |
| name="%OTCompilerPreferencePageName" |
| category="org.eclipse.jdt.ui.preferences.JavaBasePreferencePage" |
| class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTCompilerPreferencePage"> |
| <keywordReference id="org.eclipse.objectteams.otdt.ui.compliance"/> |
| </page> |
| |
| <!-- General Object Teams configuration options --> |
| <page |
| id="org.eclipse.objectteams.otdt.ui.preferences.GeneralPreferencePage" |
| name="%OTGeneralPreferencePageName" |
| class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTGeneralPreferencePage"> |
| </page> |
| |
| </extension> |
| <extension |
| point="org.eclipse.ui.propertyPages"> |
| <page |
| class="org.eclipse.objectteams.otdt.internal.ui.preferences.OTCompilerPreferencePage" |
| icon="icons/ot/ot_bare_10.png" |
| id="org.eclipse.objectteams.otdt.ui.propertyPages.CompilerPreferencePage" |
| name="%OTCompilerPropertyPageName"> |
| <filter name="nature" |
| value="org.eclipse.objectteams.otdt.OTJavaNature"> |
| </filter> |
| <keywordReference id="org.eclipse.objectteams.otdt.ui.compliance"/> |
| <enabledWhen> |
| <or> |
| <instanceof |
| value="org.eclipse.core.resources.IProject"> |
| </instanceof> |
| <instanceof |
| value="org.eclipse.jdt.core.IJavaProject"> |
| </instanceof> |
| </or> |
| </enabledWhen> |
| </page> |
| </extension> |
| <extension |
| point="org.eclipse.ui.keywords"> |
| <keyword |
| id="org.eclipse.objectteams.otdt.ui.compliance" |
| label="%preferenceKeywords.compiler.options"/> |
| </extension> |
| <!-- Binding Editor --> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <menuContribution |
| locationURI="popup:org.eclipse.ui.popup.any?before=group.open"> |
| <command |
| commandId="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor" |
| icon="icons/ot/calloutbinding_obj.gif" |
| style="push"> |
| <visibleWhen |
| checkEnabled="true"> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| id="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor" |
| name="Open Binding Editor"> |
| </command> |
| </extension> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.objectteams.otdt.internal.ui.handlers.OpenBindingEditorHandler" |
| commandId="org.eclipse.objectteams.otdt.ui.commands.openBindingEditor"> |
| </handler> |
| </extension> |
| <!-- Compare callin method with base method: --> |
| <extension |
| point="org.eclipse.ui.menus"> |
| <!-- Forward declaration of a menu declared the old way: --> |
| <menuContribution |
| locationURI="popup:org.eclipse.ui.popup.any"> |
| <menu |
| id="compareWithMenu" |
| label="%CompareWithMenu.label"> |
| <separator |
| name="compareWithGroup"> |
| </separator> |
| </menu> |
| </menuContribution> |
| <!-- Hook this contribution into the above submenu: --> |
| <menuContribution |
| locationURI="popup:compareWithMenu?after=compareWithGroup"> |
| <command |
| commandId="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod" |
| icon="icons/ot/callinbindingreplace_obj.gif" |
| style="push"> |
| <visibleWhen |
| checkEnabled="true"> |
| </visibleWhen> |
| </command> |
| </menuContribution> |
| </extension> |
| <extension |
| point="org.eclipse.ui.commands"> |
| <command |
| description="%CompareWithBaseMethodAction.description" |
| id="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod" |
| name="%CompareWithBaseMethodAction.label"> |
| </command> |
| </extension> |
| <extension |
| point="org.eclipse.ui.handlers"> |
| <handler |
| class="org.eclipse.objectteams.otdt.internal.ui.handlers.CompareWithBaseMethodHandler" |
| commandId="org.eclipse.objectteams.otdt.ui.commands.compareWithBaseMethod"> |
| </handler> |
| </extension> |
| <!-- |
| <extension |
| point="org.eclipse.jdt.ui.foldingStructureProviders"> |
| <provider |
| class="org.eclipse.objectteams.otdt.internal.ui.text.folding.OTJavaFoldingStructureProvider" |
| id="org.eclipse.objectteams.otdt.ui.foldingProvider"/> |
| </extension> |
| --> |
| </plugin> |
| |