Record dependency information to implement first version of dependency

dart/sdk/lib/_internal/compiler/implementation/compile_time_constants.dart

 // Copyright (c) 2012, the Dart project authors.  Please see the AUTHORS file
 // for details. All rights reserved. Use of this source code is governed by a
 // BSD-style license that can be found in the LICENSE file.
 
 part of dart2js;
 
 /**
  * The [ConstantHandler] keeps track of compile-time constants,
  * initializations of global and static fields, and default values of
  * optional parameters.
@@ skipping 24 matching lines @@
   ConstantHandler(Compiler compiler, this.constantSystem,
                   { bool this.isMetadata: false })
       : initialVariableValues = new Map<VariableElement, dynamic>(),
         compiledConstants = new Set<Constant>(),
         pendingVariables = new Set<VariableElement>(),
         lazyStatics = new Set<VariableElement>(),
         super(compiler);
 
   String get name => 'ConstantHandler';
 
-  void registerCompileTimeConstant(Constant constant) {
-    registerInstantiatedClass(constant.computeType(compiler).element);
+  void registerCompileTimeConstant(Constant constant, TreeElements elements) {
+    registerInstantiatedClass(constant.computeType(compiler).element, elements);
     if (constant.isFunction()) {
       FunctionConstant function = constant;
       registerGetOfStaticFunction(function.element);
     } else if (constant.isInterceptor()) {
       // An interceptor constant references the class's prototype chain.
       InterceptorConstant interceptor = constant;
-      registerInstantiatedClass(interceptor.dispatchedType.element);
+      registerInstantiatedClass(interceptor.dispatchedType.element, elements);
     }
     compiledConstants.add(constant);
   }
 
-  void registerInstantiatedClass(ClassElement element) {
+  void registerInstantiatedClass(ClassElement element, TreeElements elements) {
     if (isMetadata) return;
-    compiler.enqueuer.codegen.registerInstantiatedClass(element);
+    compiler.enqueuer.codegen.registerInstantiatedClass(element, elements);
   }
 
   void registerStaticUse(Element element) {
     if (isMetadata) return;
     compiler.enqueuer.codegen.registerStaticUse(element);
   }
 
   void registerGetOfStaticFunction(FunctionElement element) {
     if (isMetadata) return;
     compiler.enqueuer.codegen.registerGetOfStaticFunction(element);
   }
 
-  void registerStringInstance() {
-    registerInstantiatedClass(compiler.stringClass);
+  void registerStringInstance(TreeElements elements) {
+    registerInstantiatedClass(compiler.stringClass, elements);
   }
 
   void registerCreateRuntimeTypeFunction() {
     if (createRuntimeTypeFunction != null) return;
     SourceString helperName = const SourceString('createRuntimeType');
     createRuntimeTypeFunction = compiler.findHelper(helperName);
     registerStaticUse(createRuntimeTypeFunction);
   }
 
   /**
@@ skipping 224 matching lines @@
     isEvaluatingConstant = oldIsEvaluatingConstant;
     assert(result != null);
     return result;
   }
 
   Constant visitNode(Node node) {
     return signalNotCompileTimeConstant(node);
   }
 
   Constant visitLiteralBool(LiteralBool node) {
-    handler.registerInstantiatedClass(compiler.boolClass);
+    handler.registerInstantiatedClass(compiler.boolClass, elements);
     return constantSystem.createBool(node.value);
   }
 
   Constant visitLiteralDouble(LiteralDouble node) {
-    handler.registerInstantiatedClass(compiler.doubleClass);
+    handler.registerInstantiatedClass(compiler.doubleClass, elements);
     return constantSystem.createDouble(node.value);
   }
 
   Constant visitLiteralInt(LiteralInt node) {
-    handler.registerInstantiatedClass(compiler.intClass);
+    handler.registerInstantiatedClass(compiler.intClass, elements);
     return constantSystem.createInt(node.value);
   }
 
   Constant visitLiteralList(LiteralList node) {
     if (!node.isConst())  {
       return signalNotCompileTimeConstant(node);
     }
     List<Constant> arguments = <Constant>[];
     for (Link<Node> link = node.elements.nodes;
          !link.isEmpty;
          link = link.tail) {
       arguments.add(evaluateConstant(link.head));
     }
     // TODO(floitsch): get type parameters.
     compiler.listClass.computeType(compiler);
     DartType type = compiler.listClass.rawType;
     Constant constant = new ListConstant(type, arguments);
-    handler.registerCompileTimeConstant(constant);
+    handler.registerCompileTimeConstant(constant, elements);
     return constant;
   }
 
   Constant visitLiteralMap(LiteralMap node) {
     if (!node.isConst()) {
       return signalNotCompileTimeConstant(node);
     }
     List<StringConstant> keys = <StringConstant>[];
     Map<StringConstant, Constant> map = new Map<StringConstant, Constant>();
     for (Link<Node> link = node.entries.nodes;
@@ skipping 16 matching lines @@
         protoValue = map[key];
       } else {
         values.add(map[key]);
       }
     }
     bool hasProtoKey = (protoValue != null);
     // TODO(floitsch): this should be a List<String> type.
     compiler.listClass.computeType(compiler);
     DartType keysType = compiler.listClass.rawType;
     ListConstant keysList = new ListConstant(keysType, keys);
-    handler.registerCompileTimeConstant(keysList);
+    handler.registerCompileTimeConstant(keysList, elements);
     SourceString className = hasProtoKey
                              ? MapConstant.DART_PROTO_CLASS
                              : MapConstant.DART_CLASS;
     ClassElement classElement = compiler.jsHelperLibrary.find(className);
     classElement.ensureResolved(compiler);
     // TODO(floitsch): copy over the generic type.
     DartType type = classElement.rawType;
-    handler.registerInstantiatedClass(classElement);
+    handler.registerInstantiatedClass(classElement, elements);
     Constant constant = new MapConstant(type, keysList, values, protoValue);
-    handler.registerCompileTimeConstant(constant);
+    handler.registerCompileTimeConstant(constant, elements);
     return constant;
   }
 
   Constant visitLiteralNull(LiteralNull node) {
     return constantSystem.createNull();
   }
 
   Constant visitLiteralString(LiteralString node) {
-    handler.registerStringInstance();
+    handler.registerStringInstance(elements);
     return constantSystem.createString(node.dartString, node);
   }
 
   Constant visitStringJuxtaposition(StringJuxtaposition node) {
     StringConstant left = evaluate(node.first);
     StringConstant right = evaluate(node.second);
     if (left == null || right == null) return null;
-    handler.registerStringInstance();
+    handler.registerStringInstance(elements);
     return constantSystem.createString(
         new DartString.concat(left.value, right.value), node);
   }
 
   Constant visitStringInterpolation(StringInterpolation node) {
     StringConstant initialString = evaluate(node.string);
     if (initialString == null) return null;
     DartString accumulator = initialString.value;
     for (StringInterpolationPart part in node.parts) {
       Constant expression = evaluate(part.expression);
       DartString expressionString;
       if (expression == null) {
         return signalNotCompileTimeConstant(part.expression);
       } else if (expression.isNum() || expression.isBool()) {
         PrimitiveConstant primitive = expression;
         expressionString = new DartString.literal(primitive.value.toString());
       } else if (expression.isString()) {
         PrimitiveConstant primitive = expression;
         expressionString = primitive.value;
       } else {
         return signalNotCompileTimeConstant(part.expression);
       }
       accumulator = new DartString.concat(accumulator, expressionString);
       StringConstant partString = evaluate(part.string);
       if (partString == null) return null;
       accumulator = new DartString.concat(accumulator, partString.value);
     };
-    handler.registerStringInstance();
+    handler.registerStringInstance(elements);
     return constantSystem.createString(accumulator, node);
   }
 
   Constant makeTypeConstant(Element element) {
     DartType elementType = element.computeType(compiler).asRaw();
     DartType constantType = compiler.typeClass.computeType(compiler);
     Constant constant = new TypeConstant(elementType, constantType);
     // If we use a type literal in a constant, the compile time
     // constant emitter will generate a call to the createRuntimeType
     // helper so we register a use of that.
     handler.registerCreateRuntimeTypeFunction();
-    handler.registerCompileTimeConstant(constant);
+    handler.registerCompileTimeConstant(constant, elements);
     return constant;
   }
 
   // TODO(floitsch): provide better error-messages.
   Constant visitSend(Send send) {
     Element element = elements[send];
     if (send.isPropertyAccess) {
       if (Elements.isStaticOrTopLevelFunction(element)) {
         Constant constant = new FunctionConstant(element);
-        handler.registerCompileTimeConstant(constant);
+        handler.registerCompileTimeConstant(constant, elements);
         return constant;
       } else if (Elements.isStaticOrTopLevelField(element)) {
         Constant result;
         if (element.modifiers.isConst()) {
           result = handler.compileConstant(element);
         } else if (element.modifiers.isFinal() && !isEvaluatingConstant) {
           result = handler.compileVariable(element);
         }
         if (result != null) return result;
       } else if (Elements.isClass(element) || Elements.isTypedef(element)) {
@@ skipping 185 matching lines @@
     assert(invariant(node, constructor.isImplementation));
 
     Selector selector = elements.getSelector(send);
     List<Constant> arguments = evaluateArgumentsToConstructor(
         node, selector, send.arguments, constructor);
     ConstructorEvaluator evaluator =
         new ConstructorEvaluator(node, constructor, handler, compiler);
     evaluator.evaluateConstructorFieldValues(arguments);
     List<Constant> jsNewArguments = evaluator.buildJsNewArguments(classElement);
 
-    handler.registerInstantiatedClass(classElement);
+    handler.registerInstantiatedClass(classElement, elements);
     // TODO(floitsch): take generic types into account.
     classElement.computeType(compiler);
     DartType type = classElement.rawType;
     Constant constant = new ConstructedConstant(type, jsNewArguments);
-    handler.registerCompileTimeConstant(constant);
+    handler.registerCompileTimeConstant(constant, elements);
     return constant;
   }
 
   Constant visitParenthesizedExpression(ParenthesizedExpression node) {
     return node.expression.accept(this);
   }
 
   error(Node node) {
     // TODO(floitsch): get the list of constants that are currently compiled
     // and present some kind of stack-trace.
@@ skipping 203 matching lines @@
             // Use the default value.
             fieldValue = handler.compileConstant(field);
           }
           jsNewArguments.add(fieldValue);
         },
         includeBackendMembers: true,
         includeSuperMembers: true);
     return jsNewArguments;
   }
 }