net.sourceforge.phpeclipse.debug.core/plugin.xml

   1 <?xml version="1.0" encoding="UTF-8"?>
   2 <?eclipse version="3.0"?>
   3 <plugin
   4    id="net.sourceforge.phpeclipse.debug.core"
   5    name="%Plugin.name"
   6    version="1.1.0"
   7    provider-name="phpeclipse.de"
   8    class="net.sourceforge.phpdt.internal.debug.core.PHPDebugCorePlugin">
   9
  10    <runtime>
  11       <library name="core.jar">
  12          <export name="*"/>
  13       </library>
  14    </runtime>
  15    <requires>
  16       <import plugin="org.eclipse.ui.ide"/>
  17       <import plugin="org.eclipse.ui.views"/>
  18       <import plugin="org.eclipse.jface.text"/>
  19       <import plugin="org.eclipse.ui.workbench.texteditor"/>
  20       <import plugin="org.eclipse.ui.editors"/>
  21       <import plugin="org.eclipse.ui"/>
  22       <import plugin="org.eclipse.core.runtime"/>
  23       <import plugin="org.eclipse.core.resources"/>
  24       <import plugin="org.eclipse.debug.core"/>
  25       <import plugin="org.eclipse.debug.ui"/>
  26       <import plugin="org.junit"/>
  27       <import plugin="net.sourceforge.phpeclipse"/>
  28    </requires>
  29
  30 <!-- Extensions -->
  31    <extension id="phpBreakpointMarker" point="org.eclipse.core.resources.markers">
  32       <super type="org.eclipse.debug.core.breakpointMarker"/>
  33    </extension>
  34
  35    <extension id="commonPHPLineBreakpointMarker" point="org.eclipse.core.resources.markers">
  36       <super type="net.sourceforge.phpeclipse.debug.core.phpBreakpointMarker"/>
  37       <super type="org.eclipse.debug.core.lineBreakpointMarker"/>
  38       <persistent value="true"/>
  39    </extension>
  40
  41    <extension id="phpLineBreakpointMarker" point="org.eclipse.core.resources.markers">
  42       <super type="net.sourceforge.phpeclipse.debug.core.commonPHPLineBreakpointMarker"/>
  43       <persistent value="true"/>
  44    </extension>
  45
  46    <extension point="org.eclipse.debug.core.breakpoints">
  47       <breakpoint
  48             markerType="net.sourceforge.phpeclipse.debug.core.phpLineBreakpointMarker"
  49             class="net.sourceforge.phpdt.internal.debug.core.breakpoints.PHPLineBreakpoint"
  50             id="phpLineBreakpoint">
  51       </breakpoint>
  52    </extension>
  53 </plugin>