Chromium Code Reviews
chromiumcodereview-hr@appspot.gserviceaccount.com (chromiumcodereview-hr) | Please choose your nickname with Settings | Help | Chromium Project | Gerrit Changes | Sign out
(164)

Unified Diff: editor/tools/plugins/com.google.dart.engine/src/com/google/dart/engine/type/Type.java

Issue 192303002: Support for @DartName and @DartOptional annotations. (Closed) Base URL: https://dart.googlecode.com/svn/branches/bleeding_edge/dart
Patch Set: Created 6 years, 9 months ago
Use n/p to move between diff chunks; N/P to move between comments. Draft comments are only viewable by you.
Jump to:
View side-by-side diff with in-line comments
Download patch
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

Powered by Google App Engine
This is Rietveld 408576698