Community
Participate
Working Groups
return list;
}
/**
* Returns a list of the default options -- by default everything is turned off.
*
* @return A default set of options for the Agent Controller
*/
public static ProfilingAttribute[] getDefaultProfilingOptionsAttributes()
{
String[][] options = Options.OPTIONS_DEFAULT;
ProfilingAttribute[] attributes = new ProfilingAttribute[options.length];
final String PREFIX = "SETOPTION_";
for (int i=0;i<options.length;++i)
attributes[i] = new ProfilingAttribute(PREFIX + options[i][0], options[i][1]);
return attributes;
* Removes all duplicate option keys. The resulting value is
private Vector retrieveOptions(List selectedAgents, ILaunchConfiguration config)
final Vector options = new Vector();
addAttributes(options, LauncherUtility.getDefaultProfilingOptionsAttributes());
try
for (int i = 0, selectedAgentCount = selectedAgents.size(); i < selectedAgentCount; i++)