FileDocCategorySizeDatePackage
AndroidLaunch.javaAPI DocAndroid 1.5 API1822Wed May 06 22:41:10 BST 2009com.android.ide.eclipse.adt.launch

AndroidLaunch

public class AndroidLaunch extends org.eclipse.debug.core.Launch
Custom implementation of Launch to allow access to the LaunchManager

Fields Summary
Constructors Summary
public AndroidLaunch(org.eclipse.debug.core.ILaunchConfiguration launchConfiguration, String mode, org.eclipse.debug.core.model.ISourceLocator locator)
Basic constructor does nothing special

param
launchConfiguration
param
mode
param
locator

        super(launchConfiguration, mode, locator);
Methods Summary
public voidstopLaunch()
Stops the launch, and removes it from the launch manager

        ILaunchManager mgr = getLaunchManager();

        if (canTerminate()) {
            try {
                terminate();
            } catch (DebugException e) {
                // well looks like we couldn't stop it. nothing else to be
                // done really
            }
        }
        // remove the launch
        mgr.removeLaunch(this);