blob: 8e2c133be2877f52bbc0aa4bac0d8622179957b4 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
|
/*
* Copyright (C) 2007 The Android Open Source Project
*
* Licensed under the Eclipse Public License, Version 1.0 (the "License");
* you may not use this file except in compliance with the License.
* You may obtain a copy of the License at
*
* http://www.eclipse.org/org/documents/epl-v10.php
*
* Unless required by applicable law or agreed to in writing, software
* distributed under the License is distributed on an "AS IS" BASIS,
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
* See the License for the specific language governing permissions and
* limitations under the License.
*/
package com.android.ide.eclipse.adt.internal.launch;
import org.eclipse.debug.core.DebugException;
import org.eclipse.debug.core.ILaunchConfiguration;
import org.eclipse.debug.core.ILaunchManager;
import org.eclipse.debug.core.Launch;
import org.eclipse.debug.core.model.ISourceLocator;
/**
* Custom implementation of Launch to allow access to the LaunchManager
*
*/
public class AndroidLaunch extends Launch {
/**
* Basic constructor does nothing special
* @param launchConfiguration
* @param mode
* @param locator
*/
public AndroidLaunch(ILaunchConfiguration launchConfiguration, String mode,
ISourceLocator locator) {
super(launchConfiguration, mode, locator);
}
/** Stops the launch, and removes it from the launch manager */
public void stopLaunch() {
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);
}
}
|
