Chromium Code Reviews| Index: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/type/Type.java |
| diff --git a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/type/Type.java b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/type/Type.java |
| index cf03aeee192e8ec29756ca1c350064254718f039..0a2ea59a96b3f4143a9a7dd8d73e97db665ea04c 100644 |
| --- a/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/type/Type.java |
| +++ b/editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/type/Type.java |
| @@ -14,6 +14,7 @@ |
| package com.google.dart.engine.type; |
| import com.google.dart.engine.element.Element; |
| +import com.google.dart.engine.utilities.translation.DartName; |
| /** |
| * The interface {@code Type} defines the behavior of objects representing the declared type of |
| @@ -21,6 +22,7 @@ import com.google.dart.engine.element.Element; |
| * |
| * @coverage dart.engine.type |
| */ |
| +@DartName("Type2") |
|
Brian Wilkerson
2014/03/09 23:43:15
I'm not too fond of this name. How about 'DartType
scheglov
2014/03/10 01:13:42
Done.
|
| public interface Type { |
| /** |
| * Return the name of this type as it should appear when presented to users in contexts such as |