// Copyright (c) 2011, 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.
// VMOptions=--enable_type_checks --enable_asserts --no_show_internal_names
// Dart test program testing type checks.

import "package:expect/expect.dart";

class C {
  factory C() {
    return 1; // Implicit result type is 'C', not int.
  }
}

class TypeTest {
  static test() {
    int result = 0;
    try {
      int i = "hello"; // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result = 1;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'int'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("'i'")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:19:15"));
    }
    return result;
  }

  static testSideEffect() {
    int result = 0;
    int index() {
      result++;
      return 0;
    }

    try {
      List<int> a = new List<int>(1);
      a[0] = 0;
      a[index()]++; // Type check succeeds, but does not create side effects.
      Expect.equals(1, a[0]);
    } on TypeError catch (error) {
      result = 100;
    }
    return result;
  }

  static testArgument() {
    int result = 0;
    int f(int i) {
      return i;
    }

    try {
      int i = f("hello"); // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result = 1;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'int'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("'i'")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:52:15"));
    }
    return result;
  }

  static testReturn() {
    int result = 0;
    int f(String s) {
      return s;
    }

    try {
      int i = f("hello"); // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result = 1;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'int'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("function result")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:77:16"));
    }
    return result;
  }

  static int field;
  static testField() {
    int result = 0;
    try {
      field = "hello"; // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result = 1;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'int'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("'field'")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:94:15"));
    }
    return result;
  }

  static testAnyFunction() {
    int result = 0;
    Function anyFunction;
    f() {}
    ;
    anyFunction = f; // No error.
    try {
      int i = f; // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result = 1;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'int'")); // dstType
      Expect.isTrue(msg.contains("'() => dynamic'")); // srcType
      Expect.isTrue(msg.contains("'i'")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:114:15"));
    }
    return result;
  }

  static testVoidFunction() {
    int result = 0;
    Function anyFunction;
    void acceptVoidFunObj(void voidFunObj(Object obj)) {}
    ;
    void acceptObjFunObj(Object objFunObj(Object obj)) {}
    ;
    void voidFunObj(Object obj) {}
    ;
    Object objFunObj(Object obj) {
      return obj;
    }

    ;
    anyFunction = voidFunObj; // No error.
    anyFunction = objFunObj; // No error.
    acceptVoidFunObj(voidFunObj);
    acceptVoidFunObj(objFunObj);
    acceptObjFunObj(objFunObj);
    try {
      acceptObjFunObj(voidFunObj); // Throws a TypeError.
    } on TypeError catch (error) {
      result = 1;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'(Object) => Object'")); // dstType
      Expect.isTrue(msg.contains("'(Object) => void'")); // srcType
      Expect.isTrue(msg.contains("'objFunObj'")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:132:33"));
    }
    return result;
  }

  static testFunctionNum() {
    int result = 0;
    Function anyFunction;
    void acceptFunNum(void funNum(num n)) {}
    void funObj(Object obj) {}
    void funNum(num n) {}
    void funInt(int i) {}
    void funString(String s) {}
    anyFunction = funObj; // No error.
    anyFunction = funNum; // No error.
    anyFunction = funInt; // No error.
    anyFunction = funString; // No error.
    acceptFunNum(funObj); // No error.
    acceptFunNum(funNum); // No error.
    acceptFunNum(funInt); // No error.
    try {
      acceptFunNum(funString); // Throws an error.
    } on TypeError catch (error) {
      result = 1;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'(num) => void'")); // dstType
      Expect.isTrue(msg.contains("'(String) => void'")); // srcType
      Expect.isTrue(msg.contains("'funNum'")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:163:28"));
    }
    return result;
  }

  static testBoolCheck() {
    int result = 0;
    try {
      bool i = !"hello"; // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'bool'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("boolean expression")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:192:17"));
    }
    try {
      while ("hello") {} // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'bool'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("boolean expression")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:203:14"));
    }
    try {
      do {} while ("hello"); // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'bool'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("boolean expression")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:214:20"));
    }
    try {
      for (; "hello";) {} // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'bool'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("boolean expression")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:225:14"));
    }
    try {
      int i = "hello" ? 1 : 0; // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'bool'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("boolean expression")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:236:15"));
    }
    try {
      if ("hello") {} // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'bool'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("boolean expression")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:247:11"));
    }
    try {
      if ("hello" || false) {} // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'bool'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("boolean expression")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:258:11"));
    }
    try {
      if (false || "hello") {} // Throws a TypeError if type checks are enabled.
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'bool'")); // dstType
      Expect.isTrue(msg.contains("'String'")); // srcType
      Expect.isTrue(msg.contains("boolean expression")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:269:20"));
    }
    try {
      if (null) {} // Throws an AssertionError if assertions are enabled.
    } on AssertionError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("assertion"));
      Expect.isTrue(msg.contains("boolean expression"));
      Expect.isTrue(msg.contains("null"));
    }
    return result;
  }

  static int testFactory() {
    int result = 0;
    try {
      var x = new C();
    } on TypeError catch (error) {
      result++;
      var msg = error.toString();
      Expect.isTrue(msg.contains("'C'")); // dstType
      Expect.isTrue(msg.contains("'int'")); // srcType
      Expect.isTrue(msg.contains("function result")); // dstName
      Expect.isTrue(
          error.stackTrace.toString().contains("type_vm_test.dart:11:12"));
    }
    return result;
  }

  static int testListAssigment() {
    int result = 0;
    {
      var a = new List(5);
      List a0 = a;
      List<Object> ao = a;
      List<int> ai = a;
      List<num> an = a;
      List<String> as = a;
    }
    {
      var a = new List<Object>(5);
      List a0 = a;
      List<Object> ao = a;
      try {
        List<int> ai = a;
      } on TypeError catch (error) {
        result++;
        var msg = error.toString();
        Expect.isTrue(msg.contains("'List<int>'")); // dstType
        Expect.isTrue(msg.contains("'List<Object>'")); // srcType
        Expect.isTrue(msg.contains("'ai'")); // dstName
        Expect.isTrue(
            error.stackTrace.toString().contains("type_vm_test.dart:322:24"));
      }
      try {
        List<num> an = a;
      } on TypeError catch (error) {
        result++;
        var msg = error.toString();
        Expect.isTrue(msg.contains("'List<num>'")); // dstType
        Expect.isTrue(msg.contains("'List<Object>'")); // srcType
        Expect.isTrue(msg.contains("'an'")); // dstName
        Expect.isTrue(
            error.stackTrace.toString().contains("type_vm_test.dart:333:24"));
      }
      try {
        List<String> as = a;
      } on TypeError catch (error) {
        result++;
        var msg = error.toString();
        Expect.isTrue(msg.contains("'List<String>'")); // dstType
        Expect.isTrue(msg.contains("'List<Object>'")); // srcType
        Expect.isTrue(msg.contains("'as'")); // dstName
        Expect.isTrue(
            error.stackTrace.toString().contains("type_vm_test.dart:344:27"));
      }
    }
    {
      var a = new List<int>(5);
      List a0 = a;
      List<Object> ao = a;
      List<int> ai = a;
      List<num> an = a;
      try {
        List<String> as = a;
      } on TypeError catch (error) {
        result++;
        var msg = error.toString();
        Expect.isTrue(msg.contains("'List<String>'")); // dstType
        Expect.isTrue(msg.contains("'List<int>'")); // srcType
        Expect.isTrue(msg.contains("'as'")); // dstName
        Expect.isTrue(
            error.stackTrace.toString().contains("type_vm_test.dart:362:27"));
      }
    }
    {
      var a = new List<num>(5);
      List a0 = a;
      List<Object> ao = a;
      try {
        List<int> ai = a;
      } on TypeError catch (error) {
        result++;
        var msg = error.toString();
        Expect.isTrue(msg.contains("'List<int>'")); // dstType
        Expect.isTrue(msg.contains("'List<num>'")); // srcType
        Expect.isTrue(msg.contains("'ai'")); // dstName
        Expect.isTrue(
            error.stackTrace.toString().contains("type_vm_test.dart:378:24"));
      }
      List<num> an = a;
      try {
        List<String> as = a;
      } on TypeError catch (error) {
        result++;
        var msg = error.toString();
        Expect.isTrue(msg.contains("'List<String>'")); // dstType
        Expect.isTrue(msg.contains("'List<num>'")); // srcType
        Expect.isTrue(msg.contains("'as'")); // dstName
        Expect.isTrue(
            error.stackTrace.toString().contains("type_vm_test.dart:390:27"));
      }
    }
    {
      var a = new List<String>(5);
      List a0 = a;
      List<Object> ao = a;
      try {
        List<int> ai = a;
      } on TypeError catch (error) {
        result++;
        var msg = error.toString();
        Expect.isTrue(msg.contains("'List<int>'")); // dstType
        Expect.isTrue(msg.contains("'List<String>'")); // srcType
        Expect.isTrue(msg.contains("'ai'")); // dstName
        Expect.isTrue(
            error.stackTrace.toString().contains("type_vm_test.dart:406:24"));
      }
      try {
        List<num> an = a;
      } on TypeError catch (error) {
        result++;
        var msg = error.toString();
        Expect.isTrue(msg.contains("'List<num>'")); // dstType
        Expect.isTrue(msg.contains("'List<String>'")); // srcType
        Expect.isTrue(msg.contains("'an'")); // dstName
        Expect.isTrue(
            error.stackTrace.toString().contains("type_vm_test.dart:417:24"));
      }
      List<String> as = a;
    }
    return result;
  }

  static testMain() {
    Expect.equals(1, test());
    Expect.equals(1, testSideEffect());
    Expect.equals(1, testArgument());
    Expect.equals(1, testReturn());
    Expect.equals(1, testField());
    Expect.equals(1, testAnyFunction());
    Expect.equals(1, testVoidFunction());
    Expect.equals(1, testFunctionNum());
    Expect.equals(9, testBoolCheck());
    Expect.equals(1, testFactory());
    Expect.equals(8, testListAssigment());
  }
}

main() {
  TypeTest.testMain();
}