Version 0.8.10.4

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

 /*
  * Copyright (c) 2013, the Dart project authors.
  * 
  * Licensed under the Eclipse Public License v1.0 (the "License"); you may not use this file except
  * in compliance with the License. You may obtain a copy of the License at
  * 
  * http://www.eclipse.org/legal/epl-v10.html
  * 
  * Unless required by applicable law or agreed to in writing, software distributed under the License
  * is distributed on an "AS IS" BASIS, WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express
@@ skipping 47 matching lines @@
     SourceFactory sourceFactory = sdkContext.getSourceFactory();
     //
     // dart:core
     //
     TestTypeProvider provider = new TestTypeProvider();
     CompilationUnitElementImpl coreUnit = new CompilationUnitElementImpl("core.dart");
     Source coreSource = sourceFactory.forUri(DartSdk.DART_CORE);
     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"));
     coreLibrary.setDefiningCompilationUnit(coreUnit);
     //
     // dart:html
     //
     CompilationUnitElementImpl htmlUnit = new CompilationUnitElementImpl("html_dartium.dart");
     Source htmlSource = sourceFactory.forUri(DartSdk.DART_HTML);
     sdkContext.setContents(htmlSource, "");
@@ skipping 11 matching lines @@
         classElement("ButtonElement", elementType), classElement("DivElement", elementType),
         documentElement, elementElement, htmlDocumentElement,
         classElement("InputElement", elementType), classElement("SelectElement", elementType),});
     htmlUnit.setFunctions(new FunctionElement[] {functionElement(
         "query",
         elementElement,
         new ClassElement[] {provider.getStringType().getElement()},
         ClassElementImpl.EMPTY_ARRAY)});
     TopLevelVariableElementImpl document = topLevelVariableElement(
         "document",
+        false,
         true,
         htmlDocumentElement.getType());
     htmlUnit.setTopLevelVariables(new TopLevelVariableElement[] {document});
     htmlUnit.setAccessors(new PropertyAccessorElement[] {document.getGetter()});
     LibraryElementImpl htmlLibrary = new LibraryElementImpl(sdkContext, libraryIdentifier(
         "dart",
         "dom",
         "html"));
     htmlLibrary.setDefiningCompilationUnit(htmlUnit);
 
     HashMap<Source, LibraryElement> elementMap = new HashMap<Source, LibraryElement>();
     elementMap.put(coreSource, coreLibrary);
     elementMap.put(htmlSource, htmlLibrary);
     ((AnalysisContextImpl) sdkContext).recordLibraryElements(elementMap);
 
     AnalysisContextImpl context = new DelegatingAnalysisContextImpl();
     sourceFactory = new SourceFactory(new DartUriResolver(
         sdkContext.getSourceFactory().getDartSdk()), new FileUriResolver());
     context.setSourceFactory(sourceFactory);
     return context;
   }
 
   /**
    * Prevent the creation of instances of this class.
    */
   private AnalysisContextFactory() {
   }
 }