1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-06-08 18:26:01 +02:00

removed not needed methods

This commit is contained in:
David Inglis 2003-09-03 20:34:14 +00:00
parent 0e9cc685a8
commit 2a1f0dae78

View file

@ -15,7 +15,6 @@ import java.util.List;
import java.util.Map;
import java.util.MissingResourceException;
import java.util.ResourceBundle;
import java.util.StringTokenizer;
import org.eclipse.cdt.core.index.IndexModel;
import org.eclipse.cdt.core.model.CoreModel;
@ -71,7 +70,6 @@ public class CCorePlugin extends Plugin {
public final static String PREF_USE_NEW_PARSER = "useNewParser";
public final static String ERROR_PARSER_SIMPLE_ID = "ErrorParser"; //$NON-NLS-1$
public final static String PREF_ERROR_PARSER = "errorOutputParser"; // $NON-NLS-1$
// Build Model Interface Discovery
public final static String BUILD_SCANNER_INFO_SIMPLE_ID = "ScannerInfoProvider";
@ -759,36 +757,6 @@ public class CCorePlugin extends Plugin {
return empty;
}
public String[] getPreferenceErrorParserIDs() {
return getPreferenceErrorParserIDs(CCorePlugin.getDefault().getPluginPreferences());
}
public String[] getPreferenceErrorParserIDs(Preferences prefs) {
String parserIDs = prefs.getString(PREF_ERROR_PARSER);
String[] empty = new String[0];
if (parserIDs != null && parserIDs.length() > 0) {
StringTokenizer tok = new StringTokenizer(parserIDs, ";");
List list = new ArrayList(tok.countTokens());
while (tok.hasMoreElements()) {
list.add(tok.nextToken());
}
return (String[]) list.toArray(empty);
}
return empty;
}
public void setPreferenceErrorParser(String[] parsersIDs) {
setPreferenceErrorParser(CCorePlugin.getDefault().getPluginPreferences(), parsersIDs);
}
public void setPreferenceErrorParser(Preferences prefs, String[] parserIDs) {
StringBuffer buf = new StringBuffer();
for (int i = 0; i < parserIDs.length; i++) {
buf.append(parserIDs[i]).append(';');
}
prefs.setValue(PREF_ERROR_PARSER, buf.toString());
}
public IScannerInfoProvider getScannerInfoProvider(IProject project) {
IScannerInfoProvider provider = null;
if (project != null) {