[jbosstools-commits] JBoss Tools SVN: r23887 - trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences.

Author: akazakov Date: 2010-08-03 15:55:27 -0400 (Tue, 03 Aug 2010) New Revision: 23887 Modified: trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences/SeverityPreferences.java Log: https://jira.jboss.org/browse/JBIDE-6507 Enable/disable checkbox has been added to CDI/EL/Seam validation preference pages. Modified: trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences/SeverityPreferences.java =================================================================== --- trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences/SeverityPreferences.java 2010-08-03 19:54:23 UTC (rev 23886) +++ trunk/common/plugins/org.jboss.tools.common/src/org/jboss/tools/common/preferences/SeverityPreferences.java 2010-08-03 19:55:27 UTC (rev 23887) @@ -44,6 +44,8 @@ */ public abstract class SeverityPreferences { + public static String ENABLE_BLOCK_PREFERENCE_NAME = "enableBlock"; + public static final String ERROR = "error"; //$NON-NLS-1$ public static final String WARNING = "warning"; //$NON-NLS-1$ public static final String IGNORE = "ignore"; //$NON-NLS-1$ @@ -78,6 +80,24 @@ return value != null ? value : getInstancePreference(key); } + public boolean isEnabled(IProject project) { + IEclipsePreferences p = getProjectPreferences(project); + if(p == null) { + return false; + } + String value = p.get(ENABLE_BLOCK_PREFERENCE_NAME, null); + if(value!=null) { + return p.getBoolean(ENABLE_BLOCK_PREFERENCE_NAME, false); + } + p = getInstancePreferences(); + value = p == null ? null : p.get(ENABLE_BLOCK_PREFERENCE_NAME, null); + if(value!=null) { + return p.getBoolean(ENABLE_BLOCK_PREFERENCE_NAME, false); + } + p = getDefaultPreferences(); + return p.getBoolean(ENABLE_BLOCK_PREFERENCE_NAME, false); + } + public String getInstancePreference(String key) { IEclipsePreferences p = getInstancePreferences(); String value = p == null ? null : p.get(key, null);