| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/problem/DefaultProblem.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/problem/DefaultProblem.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/problem/DefaultProblem.java
|
| index b9da96a65b8a1dee472bab005efbe197d03db2ec..30d1a578728c31940546f768f1b1ddd106f4badb 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/problem/DefaultProblem.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/internal/problem/DefaultProblem.java
|
| @@ -13,6 +13,7 @@
|
| */
|
| package com.google.dart.tools.core.internal.problem;
|
|
|
| +import com.google.dart.compiler.ErrorCode;
|
| import com.google.dart.tools.core.DartCore;
|
| import com.google.dart.tools.core.internal.compiler.Util;
|
| import com.google.dart.tools.core.internal.util.Messages;
|
| @@ -22,7 +23,7 @@ import com.google.dart.tools.core.internal.util.Messages;
|
| */
|
| public class DefaultProblem extends CategorizedProblem {
|
| private char[] fileName;
|
| - private int id;
|
| + private ErrorCode id;
|
| private int startPosition;
|
| private int endPosition;
|
| private int line;
|
| @@ -36,7 +37,7 @@ public class DefaultProblem extends CategorizedProblem {
|
|
|
| public static final Object[] EMPTY_VALUES = {};
|
|
|
| - public DefaultProblem(char[] originatingFileName, String message, int id,
|
| + public DefaultProblem(char[] originatingFileName, String message, ErrorCode id,
|
| String[] stringArguments, int severity, int startPosition, int endPosition, int line,
|
| int column) {
|
|
|
| @@ -130,14 +131,8 @@ public class DefaultProblem extends CategorizedProblem {
|
| return CategorizedProblem.CAT_SYNTAX;
|
| }
|
|
|
| - /**
|
| - * Answer the type of problem.
|
| - *
|
| - * @see org.eclipse.jdt.core.compiler.IProblem#getID()
|
| - * @return int
|
| - */
|
| @Override
|
| - public int getID() {
|
| + public ErrorCode getID() {
|
| return this.id;
|
| }
|
|
|
|
|