Author: dazarov Date: 2011-10-06 11:43:15 -0400 (Thu, 06 Oct 2011) New Revision: 35423 Modified: trunk/common/plugins/org.jboss.tools.common.validation/src/org/jboss/tools/common/validation/ValidationErrorManager.java Log: Quick fixes for problem markers in beans.xml https://issues.jboss.org/browse/JBIDE-9833 Modified: trunk/common/plugins/org.jboss.tools.common.validation/src/org/jboss/tools/common/validation/ValidationErrorManager.java =================================================================== --- trunk/common/plugins/org.jboss.tools.common.validation/src/org/jboss/tools/common/validation/ValidationErrorManager.java 2011-10-06 15:36:29 UTC (rev 35422) +++ trunk/common/plugins/org.jboss.tools.common.validation/src/org/jboss/tools/common/validation/ValidationErrorManager.java 2011-10-06 15:43:15 UTC (rev 35423) @@ -225,7 +225,7 @@ protected void cleanSavedMarkers() { markers.clear(); } - + /* * (non-Javadoc) * @see org.jboss.tools.seam.internal.core.validation.IValidationErrorManager#addError(java.lang.String, java.lang.String, java.lang.String[], int, int, org.eclipse.core.resources.IResource) @@ -253,7 +253,21 @@ } return marker; } + + public IMarker addError(String message, String preferenceKey, + String[] messageArguments, int length, int offset, IResource target, int messageId) { + IMarker marker = addError(message, preferenceKey, messageArguments, length, offset, target); + try { + if(marker!=null) { + marker.setAttribute(messageIdQuickFixAttributeName, new Integer(messageId)); + } + } catch(CoreException e) { + CommonPlugin.getDefault().logError(e); + } + return marker; + } + public IMarker addError(String message, String preferenceKey, String[] messageArguments, int length, int offset, IResource target) { return addError(message, preferenceKey, messageArguments, 0, length, offset, target);