// Copyright (c) 2014, 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.

import 'package:expect/expect.dart';
import 'package:async_helper/async_helper.dart';
import 'dart:mirrors';

import "deferred_constraints_constants_lib.dart" deferred as lib;

const myConst1 =
  lib.constantInstance; //# reference1: compile-time error
  /* //                   //# reference1: continued
    499;
  */ //                   //# reference1: continued
const myConst2 =
  lib.Const.instance; //# reference2: compile-time error
  /* //                 //# reference2: continued
    499;
  */ //                 //# reference2: continued

void f1(
    {a:
  const lib.Const() //# default_argument1: compile-time error
  /* //                  //# default_argument1: continued
        499
  */ //                  //# default_argument1: continued
    }) {}

void f2(
    {a:
  lib.constantInstance //# default_argument2: compile-time error
  /* //                        //# default_argument2: continued
        499
  */ //                        //# default_argument2: continued
    }) {}

@lib.Const() //# metadata1: compile-time error
class H1 {}

@lib.Const.instance //# metadata2: compile-time error
class H2 {}

@lib.Const.namedConstructor() //# metadata3: compile-time error
class H3 {}

void main() {
  var a1 = myConst1;
  var a2 = myConst2;

  asyncStart();
  lib.loadLibrary().then((_) {
    var instance = lib.constantInstance;
    var c1 = const lib.Const(); //# constructor1: compile-time error
    var c2 = const lib.Const.namedConstructor(); //# constructor2: compile-time error
    f1();
    f2();
    var constInstance = lib.constantInstance; //# reference_after_load: ok
    var h1 = new H1();
    var h2 = new H2();
    var h3 = new H3();

    // Need to access the metadata to trigger the expected compilation error.
    reflectClass(H1).metadata; //# metadata1: continued
    reflectClass(H2).metadata; //# metadata2: continued
    reflectClass(H3).metadata; //# metadata3: continued

    asyncEnd();
  });
}