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

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