Svelte/plugin.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?eclipse version="3.2"?>
   3 <plugin>
   4    <extension
   5     point = "org.eclipse.ui.editorActions">
   6       <editorContribution
   7          id="edu.berkeley.cs.bodik.svelte.plugin.cithinslice"
   8          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
   9            <action id="edu.berkeley.cs.bodik.svelte.plugin.cithinslice"
  10               label="%Editors.Action.label"
  11               toolbarPath="Svelte"
  12               icon="icons/ci.png"
  13               tooltip="Context-Insensitive 'Thin' Slice (now with 60% less fat)"
  14               class="edu.berkeley.cs.bodik.svelte.plugin.CIThinEditorActionDelegate"
  15               definitionId="edu.berkeley.cs.bodik.svelte.plugin.cithinslice_action"
  16               />
  17       </editorContribution>
  18   </extension>
  19      <extension
  20     point = "org.eclipse.ui.editorActions">
  21       <editorContribution
  22          id="edu.berkeley.cs.bodik.svelte.plugin.csthinslice"
  23          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
  24            <action id="edu.berkeley.cs.bodik.svelte.plugin.csthinslice"
  25               label="%Editors.Action.label"
  26               toolbarPath="Svelte"
  27               icon="icons/cs-thin.png"
  28               tooltip="Context-sensitive 'Thin' Slice (now with 80% less fat)"
  29               class="edu.berkeley.cs.bodik.svelte.plugin.CSThinEditorActionDelegate"
  30               definitionId="edu.berkeley.cs.bodik.svelte.plugin.csthinslice_action"
  31               />
  32       </editorContribution>
  33   </extension>
  34      <extension
  35     point = "org.eclipse.ui.editorActions">
  36       <editorContribution
  37          id="edu.berkeley.cs.bodik.svelte.plugin.csthickslice"
  38          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
  39            <action id="edu.berkeley.cs.bodik.svelte.plugin.csthickslice"
  40               label="%Editors.Action.label"
  41               toolbarPath="Svelte"
  42               icon="icons/cs-thick.png"
  43               tooltip="Context-sensitive Thick Slice (now with 60% less vitamins)"
  44               class="edu.berkeley.cs.bodik.svelte.plugin.CSThickEditorActionDelegate"
  45               definitionId="edu.berkeley.cs.bodik.svelte.plugin.csthickslice_action"
  46               />
  47       </editorContribution>
  48   </extension>
  49
  50      <extension
  51     point = "org.eclipse.ui.editorActions">
  52       <editorContribution
  53          id="edu.berkeley.cs.bodik.svelte.plugin.subslice"
  54          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
  55            <action id="edu.berkeley.cs.bodik.svelte.plugin.subslice"
  56               label="%Editors.Action.label"
  57               toolbarPath="Svelte"
  58               icon="icons/subslice16.png"
  59               tooltip="Subslice"
  60               class="edu.berkeley.cs.bodik.svelte.plugin.SubsliceEditorActionDelegate"
  61               definitionId="edu.berkeley.cs.bodik.svelte.plugin.csthickslice_action"
  62               />
  63       </editorContribution>
  64   </extension>
  65
  66
  67        <extension
  68     point = "org.eclipse.ui.editorActions">
  69       <editorContribution
  70          id="edu.berkeley.cs.bodik.svelte.plugin.clearslice"
  71          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
  72            <action id="edu.berkeley.cs.bodik.svelte.plugin.clearslice"
  73               label="%Editors.Action.label"
  74               toolbarPath="Svelte"
  75               icon="icons/slice16.png"
  76               tooltip="Clear Slice Markers"
  77               class="edu.berkeley.cs.bodik.svelte.plugin.ClearSliceInfosActionDelegate"
  78               definitionId="edu.berkeley.cs.bodik.svelte.plugin.test_action"
  79               />
  80       </editorContribution>
  81   </extension>
  82
  83        <extension
  84     point = "org.eclipse.ui.editorActions">
  85       <editorContribution
  86          id="edu.berkeley.cs.bodik.svelte.plugin.toggleshrike"
  87          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
  88            <action id="edu.berkeley.cs.bodik.svelte.plugin.toggleshrike"
  89               label="%Editors.Action.label"
  90               toolbarPath="Svelte"
  91               icon="icons/class.png"
  92               tooltip="Slice from binary class representation"
  93               class="edu.berkeley.cs.bodik.svelte.plugin.ToggleShrikeActionDelegate"
  94               definitionId="edu.berkeley.cs.bodik.svelte.plugin.toggleshrike_action"
  95               style="toggle"
  96               state="false" />
  97       </editorContribution>
  98   </extension>
  99
 100        <extension
 101     point = "org.eclipse.ui.editorActions">
 102       <editorContribution
 103          id="edu.berkeley.cs.bodik.svelte.plugin.cgview.cgview"
 104          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
 105            <action id="edu.berkeley.cs.bodik.svelte.plugin.cgview.cgview"
 106               label="%Editors.Action.label"
 107               toolbarPath="Svelte"
 108               icon="icons/callgraphsliceview.png"
 109               tooltip="Call Graph Slice View"
 110               class="edu.berkeley.cs.bodik.svelte.plugin.cgview.CGViewActionDelegate"
 111               definitionId="edu.berkeley.cs.bodik.svelte.plugin.cgview_action" />
 112       </editorContribution>
 113   </extension>
 114
 115          <extension
 116     point = "org.eclipse.ui.editorActions">
 117       <editorContribution
 118          id="edu.berkeley.cs.bodik.svelte.plugin.sgview.sgview"
 119          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
 120            <action id="edu.berkeley.cs.bodik.svelte.plugin.sgview.sgview"
 121               label="%Editors.Action.label"
 122               toolbarPath="Svelte"
 123               icon="icons/callgraphsliceview.png"
 124               tooltip="Slice Graph View"
 125               class="edu.berkeley.cs.bodik.svelte.plugin.sgview.SGViewActionDelegate"
 126               definitionId="edu.berkeley.cs.bodik.svelte.plugin.sgview_action" />
 127       </editorContribution>
 128   </extension>
 129
 130 <!--
 131          <extension
 132     point = "org.eclipse.ui.editorActions">
 133       <editorContribution
 134          id="edu.berkeley.cs.bodik.svelte.plugin.experimental.autodebug.InstrumentSliceDelegate"
 135          targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
 136            <action id="edu.berkeley.cs.bodik.svelte.plugin.experimental.autodebug.InstrumentSliceDelegate"
 137               label="%Editors.Action.label"
 138               toolbarPath="Svelte"
 139               icon="icons/callgraphsliceview.png"
 140               tooltip="Slice Graph View"
 141               class="edu.berkeley.cs.bodik.svelte.experimental.autodebug.InstrumentSliceDelegate"
 142               definitionId="edu.berkeley.cs.bodik.svelte.plugin.experimental.autodebug.InstrumentSliceDelegate" />
 143       </editorContribution>
 144   </extension>
 145 -->
 146
 147         <!--*************************** ANNOTATIONS / MARKERS ***************************-->
 148
 149
 150     <extension id="edu.berkeley.cs.bodik.svelte.plugin.sliceMarker" point="org.eclipse.core.resources.markers">
 151        <super type="org.eclipse.core.resources.problemmarker"/>
 152        <persistent value="true"/>
 153     </extension>
 154
 155     <extension id="edu.berkeley.cs.bodik.svelte.plugin.subSliceMarker" point="org.eclipse.core.resources.markers">
 156        <super type="org.eclipse.core.resources.problemmarker"/>
 157        <persistent value="true"/>
 158     </extension>
 159
 160
 161   <extension point="org.eclipse.ui.editors.annotationTypes">
 162 <type name="edu.berkeley.cs.bodik.svelte.plugin.sliceAnnotation"
 163       markerType="edu.berkeley.cs.bodik.svelte.plugin.sliceMarker"
 164       markerSeverity="0">
 165 </type>
 166 <type name="edu.berkeley.cs.bodik.svelte.plugin.subSliceAnnotation"
 167       markerType="edu.berkeley.cs.bodik.svelte.plugin.subSliceMarker"
 168       markerSeverity="0">
 169 </type>
 170 </extension>
 171
 172
 173
 174    <extension
 175          point="org.eclipse.ui.editors.markerAnnotationSpecification">
 176       <specification
 177             annotationType="edu.berkeley.cs.bodik.svelte.plugin.sliceAnnotation"
 178                         annotationImageProvider="edu.berkeley.cs.bodik.svelte.plugin.SvelteAnnotationImageProvider"
 179             verticalRulerPreferenceKey="svelteSliceIndicationInVerticalRuler"
 180             textPreferenceKey="svelteSliceIndication"
 181             colorPreferenceKey="svelteSliceIndicationColor"
 182             highlightPreferenceKey="svelteSliceHighlighting"
 183             isGoToPreviousNavigationTarget="false"
 184             includeOnPreferencePage="true"
 185             textPreferenceValue="false"
 186             isGoToNextNavigationTarget="false"
 187             textStylePreferenceValue="BOX"
 188             overviewRulerPreferenceKey="svelteSliceIndicationInOverviewRuler"
 189             showInNextPrevDropdownToolbarAction="true"
 190             presentationLayer="5"
 191             highlightPreferenceValue="true"
 192             label="SvelteSliceAnnotation"
 193             colorPreferenceValue="0,180,0"
 194             verticalRulerPreferenceValue="true"
 195             isGoToPreviousNavigationTargetKey="isSvelteSliceGoToPreviousNavigationTarget"
 196             showInNextPrevDropdownToolbarActionKey="showSvelteSliceInNextPrevDropdownToolbarAction"
 197             overviewRulerPreferenceValue="true"
 198             textStylePreferenceKey="edu.berkeley.cs.bodik.svelte.plugin.style"
 199             isGoToNextNavigationTargetKey="isSvelteSliceGoToNextNavigationTarget" />
 200       <specification
 201             annotationType="edu.berkeley.cs.bodik.svelte.plugin.subSliceAnnotation"
 202                         annotationImageProvider="edu.berkeley.cs.bodik.svelte.plugin.SvelteAnnotationImageProvider"
 203             verticalRulerPreferenceKey="svelteSubSliceIndicationInVerticalRuler"
 204             textPreferenceKey="svelteSubSliceIndication"
 205             colorPreferenceKey="svelteSubSliceIndicationColor"
 206             highlightPreferenceKey="svelteSubSliceHighlighting"
 207             isGoToPreviousNavigationTarget="false"
 208             includeOnPreferencePage="true"
 209             textPreferenceValue="false"
 210             isGoToNextNavigationTarget="false"
 211             textStylePreferenceValue="BOX"
 212             overviewRulerPreferenceKey="svelteSubSliceIndicationInOverviewRuler"
 213             showInNextPrevDropdownToolbarAction="true"
 214             presentationLayer="5"
 215             highlightPreferenceValue="true"
 216             label="SvelteSubSliceAnnotation"
 217             colorPreferenceValue="160,255,10"
 218             verticalRulerPreferenceValue="true"
 219             isGoToPreviousNavigationTargetKey="isSvelteSubSliceGoToPreviousNavigationTarget"
 220             showInNextPrevDropdownToolbarActionKey="showSvelteSubSliceInNextPrevDropdownToolbarAction"
 221             overviewRulerPreferenceValue="true"
 222             textStylePreferenceKey="edu.berkeley.cs.bodik.svelte.plugin.style"
 223             isGoToNextNavigationTargetKey="isSvelteSubSliceGoToNextNavigationTarget" />
 224          </extension>
 225
 226   <extension
 227      point = "org.eclipse.ui.editorActions">
 228     <editorContribution
 229        id="edu.berkeley.cs.bodik.svelte.plugin.startCallGraphUpdater"
 230        targetID="org.eclipse.jdt.ui.CompilationUnitEditor">
 231       <action id="edu.berkeley.cs.bodik.svelte.plugin.startCallGraphUpdater"
 232               label="%Editors.Action.label"
 233               toolbarPath="Svelte"
 234               icon="icons/cgauto16.png"
 235               tooltip="Start CallGraph Auto-updater"
 236               class="edu.berkeley.cs.bodik.svelte.plugin.CallGraphUpdaterDelegate"
 237               definitionId="edu.berkeley.cs.bodik.svelte.plugin.startCallGraphUpdater_action"
 238               style="toggle"
 239               state="false" />
 240                </editorContribution>
 241   </extension>
 242
 243     <!--************************* VIEWS ***************************-->
 244
 245         <extension point="org.eclipse.ui.views">
 246                 <category
 247                         name="Svelte Slicer"
 248                         id="edu.berkeley.cs.bodik.svelte">
 249                 </category>
 250                 <view
 251                         name="Slice Skater"
 252                         icon="icons/slice16.png"
 253                         category="edu.berkeley.cs.bodik.svelte"
 254                         class="edu.berkeley.cs.bodik.svelte.plugin.bfsliceview.BFSliceView"
 255                         id="edu.berkeley.cs.bodik.svelte.plugin.bfsliceview.BFSliceView" >
 256                 </view>
 257         </extension>
 258
 259         <extension point="org.eclipse.ui.views">
 260                 <category
 261                         name="Svelte Slicer"
 262                         id="edu.berkeley.cs.bodik.svelte">
 263                 </category>
 264                 <view
 265                         name="Call Graph Slice View"
 266                         icon="icons/callgraphsliceview.png"
 267                         category="edu.berkeley.cs.bodik.svelte"
 268                         class="edu.berkeley.cs.bodik.svelte.plugin.cgview.CallGraphSliceView"
 269                         id="edu.berkeley.cs.bodik.svelte.plugin.CallGraphSliceView" >
 270                 </view>
 271         </extension>
 272
 273                 <extension point="org.eclipse.ui.views">
 274                 <category
 275                         name="Svelte Slicer"
 276                         id="edu.berkeley.cs.bodik.svelte">
 277                 </category>
 278                 <view
 279                         name="Slice Graph View"
 280                         icon="icons/slice16.png"
 281                         category="edu.berkeley.cs.bodik.svelte"
 282                         class="edu.berkeley.cs.bodik.svelte.plugin.sgview.SliceGraphView"
 283                         id="edu.berkeley.cs.bodik.svelte.plugin.sgview.SliceGraphView" >
 284                 </view>
 285         </extension>
 286
 287         <extension point="org.eclipse.ui.views">
 288                 <category
 289                         name="Svelte Slicer"
 290                         id="edu.berkeley.cs.bodik.svelte">
 291                 </category>
 292                 <view
 293                         name="Tree Slice View"
 294                         icon="icons/slice16.png"
 295                         category="edu.berkeley.cs.bodik.svelte"
 296                         class="edu.berkeley.cs.bodik.svelte.plugin.treesliceview.TreeSliceView"
 297                         id="edu.berkeley.cs.bodik.svelte.plugin.treesliceview.TreeSliceView" >
 298                 </view>
 299         </extension>
 300
 301     <!--********************** RIGHT-CLICK MENU STUFF ***********************-->
 302
 303          <extension
 304          point="org.eclipse.ui.popupMenus">
 305       <viewerContribution
 306             targetID="#CompilationUnitRulerContext"
 307             id="edu.berkeley.cs.bodik.svelte.plugin.JavaEditorPopupActions">
 308          <action
 309                label="Static analysis for this line"
 310                class="edu.berkeley.cs.bodik.svelte.plugin.StatementPopupDelegate"
 311                tooltip="Display the program state at this line"
 312                menubarPath="add"
 313                id="edu.berkeley.cs.bodik.svelte.plugin.StatementPopupAction">
 314          </action>
 315       </viewerContribution>
 316    </extension>
 317
 318
 319 </plugin>