blob: d75891d75e8ac18c93be2b282ea75b9dbd84b336 (
plain) (
blame)
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
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
|
package org.eclipse.debug.internal.ui.launchConfigurations;
/*
* (c) Copyright IBM Corp. 2000, 2001.
* All Rights Reserved.
*/
import org.eclipse.core.runtime.CoreException;
import org.eclipse.debug.core.ILaunchConfiguration;
import org.eclipse.debug.core.ILaunchManager;
import org.eclipse.debug.internal.ui.DebugUIPlugin;
import org.eclipse.debug.ui.IDebugUIConstants;
/**
* A wrapper for entries in a launch history list.
*/
public class LaunchConfigurationHistoryElement {
/**
* The launch configuration
*/
private ILaunchConfiguration fLaunchConfiguration;
/**
* The mode in which the launch configuration was launched
*/
private String fMode;
public LaunchConfigurationHistoryElement(ILaunchConfiguration launchConfiguration,
String mode) {
setLaunchConfiguration(launchConfiguration);
setMode(mode);
}
/**
* Sets the launch configuration for this history element
*/
private void setLaunchConfiguration(ILaunchConfiguration launchConfiguration) {
fLaunchConfiguration = launchConfiguration;
}
/**
* Returns the launch configuration for this history element
*/
public ILaunchConfiguration getLaunchConfiguration() {
return fLaunchConfiguration;
}
/**
* Sets the mode for this history element
*/
private void setMode(String mode) {
fMode = mode;
}
/**
* Returns the mode for this history element
*/
public String getMode() {
return fMode;
}
/**
* Returns the label for this history element
*/
public String getLabel() {
return DebugUIPlugin.getDefaultLabelProvider().getText(getLaunchConfiguration());
}
/**
* Returns whether this history element represents
* a favorite launch configuration.
*
* @return whether this history element represents
* a favorite launch configuration
*/
public boolean isFavorite() {
if (getLaunchConfiguration() != null) {
try {
if (getMode().equals(ILaunchManager.DEBUG_MODE)) {
return getLaunchConfiguration().getAttribute(IDebugUIConstants.ATTR_DEBUG_FAVORITE, false);
} else {
return getLaunchConfiguration().getAttribute(IDebugUIConstants.ATTR_RUN_FAVORITE, false);
}
} catch (CoreException e) {
DebugUIPlugin.log(e);
}
}
return false;
}
/**
* @see Object#equals(java.lang.Object)
*/
public boolean equals(Object o) {
if (o instanceof LaunchConfigurationHistoryElement) {
LaunchConfigurationHistoryElement e= (LaunchConfigurationHistoryElement)o;
return getLaunchConfiguration().equals(e.getLaunchConfiguration()) &&
getMode().equals(e.getMode());
}
return false;
}
/**
* @see Object#hashCode()
*/
public int hashCode() {
return getLaunchConfiguration().hashCode();
}
}
|