| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/index/AnalysisMarkerManager.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/index/AnalysisMarkerManager.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/index/AnalysisMarkerManager.java
|
| index d61178dd70e4008ead314b271560c162039fc92d..333aa868b2de22258524568fa04c107bd0e046b7 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/index/AnalysisMarkerManager.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/analysis/index/AnalysisMarkerManager.java
|
| @@ -86,6 +86,8 @@ class AnalysisMarkerManager implements AnalysisListener {
|
| int length = error.getLength();
|
| int lineNumber = error.getLineNumber();
|
| String errMsg = error.getMessage();
|
| + String errorCodeString = error.getErrorCode().getClass().getCanonicalName() + "."
|
| + + error.getErrorCode().toString();
|
|
|
| // Remove newlines and indent spaces from the compiler's error messages
|
|
|
| @@ -101,6 +103,7 @@ class AnalysisMarkerManager implements AnalysisListener {
|
| marker.setAttribute(IMarker.CHAR_START, offset);
|
| marker.setAttribute(IMarker.CHAR_END, offset + length);
|
| marker.setAttribute(IMarker.LINE_NUMBER, lineNumber);
|
| + marker.setAttribute("errorCode", errorCodeString);
|
| } catch (CoreException e) {
|
| DartCore.logError("Failed to create marker for " + res + "\n at " + offset + " message: "
|
| + errMsg, e);
|
|
|