mirrors/cdt
1
0
Fork 0
mirror of https://github.com/eclipse-cdt/cdt synced 2025-04-29 19:45:01 +02:00
Code Issues Wiki Activity

Method to save the ErrorParsers ids.

Browse source
This commit is contained in:
Alain Magloire 2003-09-03 18:41:02 +00:00
parent 645fd04fa9
commit a5e90c433e
1 changed files with 12 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

18
core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java
View file

@ -760,7 +760,11 @@ public class CCorePlugin extends Plugin {
}
public String[] getPreferenceErrorParserIDs() {
String parserIDs = CCorePlugin.getDefault().getPluginPreferences().getString(PREF_ERROR_PARSER);
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, ";");
@ -774,11 +778,15 @@ public class CCorePlugin extends Plugin {
}
public void setPreferenceErrorParser(String[] parsersIDs) {
StringBuffer buf = new StringBuffer();
for (int i = 0; i < parsersIDs.length; i++) {
buf.append(parsersIDs[i]).append(';');
setPreferenceErrorParser(CCorePlugin.getDefault().getPluginPreferences(), parsersIDs);
}
CCorePlugin.getDefault().getPluginPreferences().setValue(PREF_ERROR_PARSER, buf.toString());
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) {