Index: dart/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/resolver/TestTypeProvider.java |
=================================================================== |
--- dart/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/resolver/TestTypeProvider.java (revision 29808) |
+++ dart/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/resolver/TestTypeProvider.java (working copy) |
@@ -54,6 +54,11 @@ |
private InterfaceType doubleType; |
/** |
+ * The type representing the built-in type 'deprecated'. |
+ */ |
+ private InterfaceType deprecatedType; |
+ |
+ /** |
* The type representing the built-in type 'dynamic'. |
*/ |
private Type dynamicType; |
@@ -148,6 +153,20 @@ |
} |
@Override |
+ public InterfaceType getDeprecatedType() { |
+ if (deprecatedType == null) { |
+ ClassElementImpl deprecatedElement = classElement("Deprecated"); |
+ deprecatedElement.setConstructors(new ConstructorElement[] {constructorElement( |
+ deprecatedElement, |
+ null, |
+ true, |
+ getStringType())}); |
+ deprecatedType = deprecatedElement.getType(); |
+ } |
+ return deprecatedType; |
+ } |
+ |
+ @Override |
public InterfaceType getDoubleType() { |
if (doubleType == null) { |
initializeNumericTypes(); |