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);