2014-07-31 04:56:12 -07:00
|
|
|
<?xml version="1.0" encoding="UTF-8"?>
|
|
|
|
<?eclipse version="3.0"?>
|
2014-07-31 09:01:56 -07:00
|
|
|
<plugin>
|
2014-07-31 04:56:12 -07:00
|
|
|
<extension point="org.eclipse.debug.core.launchConfigurationTypes">
|
|
|
|
<launchConfigurationType
|
|
|
|
sourceLocatorId="org.teavm.eclipse.debugger.sourceLookup"
|
|
|
|
name="TeaVM remote"
|
2014-07-31 09:01:56 -07:00
|
|
|
sourcePathComputerId="org.teavm.eclipse.debugger.sourcePath"
|
2014-07-31 04:56:12 -07:00
|
|
|
delegate="org.teavm.eclipse.debugger.TeaVMLaunchConfigurationDelegate"
|
|
|
|
modes="debug"
|
|
|
|
id="org.teavm.eclipse.debugger.launchConfig">
|
|
|
|
</launchConfigurationType>
|
|
|
|
</extension>
|
|
|
|
<extension point="org.eclipse.debug.core.sourceLocators">
|
|
|
|
<sourceLocator
|
|
|
|
name="TeaVM Source Lookup Director"
|
|
|
|
class="org.teavm.eclipse.debugger.TeaVMSourceLookupDirector"
|
|
|
|
id="org.teavm.eclipse.debugger.sourceLookup">
|
|
|
|
</sourceLocator>
|
|
|
|
</extension>
|
2014-07-31 09:01:56 -07:00
|
|
|
<extension point="org.eclipse.debug.core.sourcePathComputers">
|
|
|
|
<sourcePathComputer
|
|
|
|
class="org.teavm.eclipse.debugger.TeaVMSourcePathComputerDelegate"
|
|
|
|
id="org.teavm.eclipse.debugger.sourcePath">
|
|
|
|
</sourcePathComputer>
|
|
|
|
</extension>
|
2014-07-31 04:56:12 -07:00
|
|
|
<extension point="org.eclipse.debug.ui.launchConfigurationTabGroups">
|
|
|
|
<launchConfigurationTabGroup
|
|
|
|
type="org.teavm.eclipse.debugger.launchConfig"
|
|
|
|
description="Debug TeaVM program"
|
|
|
|
class="org.teavm.eclipse.debugger.ui.TeaVMTabGroup"
|
|
|
|
id="org.teavm.eclipse.debugger.ui.tabs">
|
|
|
|
</launchConfigurationTabGroup>
|
|
|
|
</extension>
|
2014-07-31 09:01:56 -07:00
|
|
|
<extension point="org.eclipse.debug.ui.debugModelPresentations">
|
|
|
|
<debugModelPresentation
|
|
|
|
class="org.teavm.eclipse.debugger.TeaVMDebugModelPresentation"
|
|
|
|
id="org.teavm.eclipse.debugger.thread">
|
|
|
|
</debugModelPresentation>
|
|
|
|
</extension>
|
2014-07-31 04:56:12 -07:00
|
|
|
</plugin>
|