Version 0.8.10.4

dart/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/context/AnalysisContextFactory.java

Index: dart/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/context/AnalysisContextFactory.java
===================================================================
--- dart/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/context/AnalysisContextFactory.java	(revision 29808)
+++ dart/editor/tools/plugins/com.google.dart.engine_test/src/com/google/dart/engine/context/AnalysisContextFactory.java	(working copy)
@@ -65,19 +65,34 @@
     sdkContext.setContents(coreSource, "");
     coreUnit.setSource(coreSource);
     coreUnit.setTypes(new ClassElement[] {
-        provider.getBoolType().getElement(), provider.getDoubleType().getElement(),
-        provider.getFunctionType().getElement(), provider.getIntType().getElement(),
-        provider.getListType().getElement(), provider.getMapType().getElement(),
-        provider.getNullType().getElement(), provider.getNumType().getElement(),
-        provider.getObjectType().getElement(), provider.getStackTraceType().getElement(),
-        provider.getStringType().getElement(), provider.getSymbolType().getElement(),
-        provider.getTypeType().getElement()});
+        provider.getBoolType().getElement(), provider.getDeprecatedType().getElement(),
+        provider.getDoubleType().getElement(), provider.getFunctionType().getElement(),
+        provider.getIntType().getElement(), provider.getListType().getElement(),
+        provider.getMapType().getElement(), provider.getNullType().getElement(),
+        provider.getNumType().getElement(), provider.getObjectType().getElement(),
+        provider.getStackTraceType().getElement(), provider.getStringType().getElement(),
+        provider.getSymbolType().getElement(), provider.getTypeType().getElement()});
     coreUnit.setFunctions(new FunctionElement[] {functionElement(
         "identical",
         provider.getBoolType().getElement(),
         new ClassElement[] {
             provider.getObjectType().getElement(), provider.getObjectType().getElement()},
         null)});
+    TopLevelVariableElement proxyTopLevelVariableElt = topLevelVariableElement(
+        "proxy",
+        true,
+        false,
+        classElement("_Proxy").getType());
+    TopLevelVariableElement deprecatedTopLevelVariableElt = topLevelVariableElement(
+        "deprecated",
+        true,
+        false,
+        provider.getDeprecatedType());
+    coreUnit.setAccessors(new PropertyAccessorElement[] {
+        proxyTopLevelVariableElt.getGetter(), proxyTopLevelVariableElt.getSetter(),
+        deprecatedTopLevelVariableElt.getGetter(), deprecatedTopLevelVariableElt.getSetter()});
+    coreUnit.setTopLevelVariables(new TopLevelVariableElement[] {
+        proxyTopLevelVariableElt, deprecatedTopLevelVariableElt});
     LibraryElementImpl coreLibrary = new LibraryElementImpl(sdkContext, libraryIdentifier(
         "dart",
         "core"));
@@ -109,6 +124,7 @@
         ClassElementImpl.EMPTY_ARRAY)});
     TopLevelVariableElementImpl document = topLevelVariableElement(
         "document",
+        false,
         true,
         htmlDocumentElement.getType());
     htmlUnit.setTopLevelVariables(new TopLevelVariableElement[] {document});