// Copyright (c) 2013, 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 type_graph_inferrer;

class ClosureTracerVisitor extends TracerVisitor {
  ClosureTracerVisitor(tracedType, inferrer) : super(tracedType, inferrer);

  void run() {
    ClosureTypeInformation closure = tracedType;
    FunctionElement element = closure.element;
    element.functionSignature.forEachParameter((Element parameter) {
      ElementTypeInformation info = inferrer.types.getInferredTypeOf(parameter);
      info.abandonInferencing = false;
    });
    analyze();
    element.functionSignature.forEachParameter((Element parameter) {
      ElementTypeInformation info = inferrer.types.getInferredTypeOf(parameter);
      if (continueAnalyzing) {
        info.disableHandleSpecialCases = true;
      } else {
        info.giveUp(inferrer);
      }
    });
  }

  visitMapTypeInformation(MapTypeInformation info) {
    bailout('Stored in a map');
  }

  void analyzeCall(CallSiteTypeInformation info) {
    ClosureTypeInformation closure = tracedType;
    FunctionElement element = closure.element;
    Selector selector = info.selector;
    if (!selector.signatureApplies(element, compiler)) return;
    inferrer.updateParameterAssignments(
        info, element, info.arguments, selector, remove: false,
        addToQueue: false);
  }

  visitClosureCallSiteTypeInformation(ClosureCallSiteTypeInformation info) {
    super.visitClosureCallSiteTypeInformation(info);
    if (info.closure == currentUser) {
      analyzeCall(info);
    } else {
      bailout('Passed to a closure');
    }
  }

  visitStaticCallSiteTypeInformation(StaticCallSiteTypeInformation info) {
    super.visitStaticCallSiteTypeInformation(info);
    Element called = info.calledElement;
    if (called.isForeign(compiler) && called.name == 'JS') {
      bailout('Used in JS ${info.call}');
    }
    if (inferrer.types.getInferredTypeOf(called) == currentUser) {
      // This node can be a closure call as well. For example, `foo()`
      // where `foo` is a getter.
      analyzeCall(info);
    }
  }

  bool checkIfCurrentUser(element) {
    return inferrer.types.getInferredTypeOf(element) == currentUser;
  }

  visitDynamicCallSiteTypeInformation(DynamicCallSiteTypeInformation info) {
    super.visitDynamicCallSiteTypeInformation(info);
    if (info.selector.isCall()) {
      if (info.arguments.contains(currentUser)
          && !info.targets.every((element) => element.isFunction())) {
        bailout('Passed to a closure');
      } else if (info.targets.any((element) => checkIfCurrentUser(element))) {
        analyzeCall(info);
      }
    }
  }
}