From a5e90c433e0fb9484bfdffccb410ef1845791d71 Mon Sep 17 00:00:00 2001 From: Alain Magloire Date: Wed, 3 Sep 2003 18:41:02 +0000 Subject: [PATCH] Method to save the ErrorParsers ids. --- .../src/org/eclipse/cdt/core/CCorePlugin.java | 16 ++++++++++++---- 1 file changed, 12 insertions(+), 4 deletions(-) diff --git a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java index 29f77b90ec6..cb31e2b56c5 100644 --- a/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java +++ b/core/org.eclipse.cdt.core/src/org/eclipse/cdt/core/CCorePlugin.java @@ -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) { + setPreferenceErrorParser(CCorePlugin.getDefault().getPluginPreferences(), parsersIDs); + } + + public void setPreferenceErrorParser(Preferences prefs, String[] parserIDs) { StringBuffer buf = new StringBuffer(); - for (int i = 0; i < parsersIDs.length; i++) { - buf.append(parsersIDs[i]).append(';'); + for (int i = 0; i < parserIDs.length; i++) { + buf.append(parserIDs[i]).append(';'); } - CCorePlugin.getDefault().getPluginPreferences().setValue(PREF_ERROR_PARSER, buf.toString()); + prefs.setValue(PREF_ERROR_PARSER, buf.toString()); } public IScannerInfoProvider getScannerInfoProvider(IProject project) {