| Index: editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/resolver/TestTypeProvider.java
|
| diff --git a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/resolver/TestTypeProvider.java b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/resolver/TestTypeProvider.java
|
| index 120cd328afec27a173129f1b5c482d70f692317e..7fda30ca3d766d2eaf17a6239e682e86981287cc 100644
|
| --- a/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/resolver/TestTypeProvider.java
|
| +++ b/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/internal/resolver/TestTypeProvider.java
|
| @@ -54,6 +54,11 @@ public class TestTypeProvider implements TypeProvider {
|
| 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 @@ public class TestTypeProvider implements TypeProvider {
|
| }
|
|
|
| @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();
|
|
|