| Index: editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/problem/Problem.java
|
| diff --git a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/problem/Problem.java b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/problem/Problem.java
|
| index 43f137536d438409c1b32fe0d4e032d2b08ee53f..451ea9a6b7b04bc196256399ff78743e02f5918d 100644
|
| --- a/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/problem/Problem.java
|
| +++ b/editor/tools/plugins/com.google.dart.tools.core/src/com/google/dart/tools/core/problem/Problem.java
|
| @@ -13,6 +13,8 @@
|
| */
|
| package com.google.dart.tools.core.problem;
|
|
|
| +import com.google.dart.compiler.ErrorCode;
|
| +
|
| /**
|
| * The interface <code>Problem</code> defines the behavior of objects that represent a Dart problem,
|
| * as detected by the compiler or some of the underlying technology reusing the compiler. A problem
|
| @@ -42,7 +44,7 @@ public interface Problem {
|
| *
|
| * @return the problem id
|
| */
|
| - public int getID();
|
| + public ErrorCode getID();
|
|
|
| /**
|
| * Return a localized, human-readable message string which describes the problem.
|
|
|