// 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.

library test.initializing_formals;

@MirrorsUsed(targets: "test.initializing_formals")
import 'dart:mirrors';
import 'package:expect/expect.dart';

class Class<T> {
  num numField;
  bool boolField;
  String stringField;
  T tField;
  dynamic _privateField;

  Class.nongeneric(this.numField);
  Class.named({this.boolField});
  Class.optPos([this.stringField = 'default']);
  Class.generic(this.tField);
  Class.private(this._privateField);

  Class.explicitType(num this.numField);
  Class.withVar(var this.numField);
  Class.withSubtype(int this.numField);
}

class Constant {
  final num value;
  const Constant(this.value);
  const Constant.marked(final this.value);
}

main() {
  MethodMirror mm;
  ParameterMirror pm;

  mm = reflectClass(Class).declarations[#Class.nongeneric];
  pm = mm.parameters.single;
  Expect.equals(#numField, pm.simpleName);
  Expect.equals(reflectClass(num), pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal); // //# 01: ok
  Expect.isFalse(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Class).declarations[#Class.named];
  pm = mm.parameters.single;
  Expect.equals(#boolField, pm.simpleName);
  Expect.equals(reflectClass(bool), pm.type);
  Expect.isTrue(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal); // //# 01: ok
  Expect.isTrue(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Class).declarations[#Class.optPos];
  pm = mm.parameters.single;
  Expect.equals(#stringField, pm.simpleName);
  Expect.equals(reflectClass(String), pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal); // //# 01: ok
  Expect.isTrue(pm.isOptional); // //# 01: ok
  Expect.isTrue(pm.hasDefaultValue); // //# 01: ok
  Expect.equals('default', pm.defaultValue.reflectee); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Class).declarations[#Class.generic];
  pm = mm.parameters.single;
  Expect.equals(#tField, pm.simpleName);
  Expect.equals(reflectClass(Class).typeVariables.single, pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal); // //# 01: ok
  Expect.isFalse(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Class).declarations[#Class.private];
  pm = mm.parameters.single;
  Expect.equals(#_privateField, pm.simpleName); // //# 03: ok
  Expect.equals(currentMirrorSystem().dynamicType, pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal); // //# 01: ok
  Expect.isFalse(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isTrue(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Class).declarations[#Class.explicitType];
  pm = mm.parameters.single;
  Expect.equals(#numField, pm.simpleName);
  Expect.equals(reflectClass(num), pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal); // //# 01: ok
  Expect.isFalse(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Class).declarations[#Class.withVar];
  pm = mm.parameters.single;
  Expect.equals(#numField, pm.simpleName);
  Expect.equals(reflectClass(num), pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal); // //# 01: ok
  Expect.isFalse(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Class).declarations[#Class.withSubtype];
  pm = mm.parameters.single;
  Expect.equals(#numField, pm.simpleName);
  Expect.equals(reflectClass(int), pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal); // //# 01: ok
  Expect.isFalse(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Constant).declarations[#Constant];
  pm = mm.parameters.single;
  Expect.equals(#value, pm.simpleName);
  Expect.equals(reflectClass(num), pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isFalse(pm.isFinal);  // N.B. // //# 01: ok
  Expect.isFalse(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);

  mm = reflectClass(Constant).declarations[#Constant.marked];
  pm = mm.parameters.single;
  Expect.equals(#value, pm.simpleName);
  Expect.equals(reflectClass(num), pm.type);
  Expect.isFalse(pm.isNamed); // //# 01: ok
  Expect.isTrue(pm.isFinal);  // N.B. // //# 01: ok
  Expect.isFalse(pm.isOptional); // //# 01: ok
  Expect.isFalse(pm.hasDefaultValue); // //# 01: ok
  Expect.isFalse(pm.isPrivate);
  Expect.isFalse(pm.isStatic);
  Expect.isFalse(pm.isTopLevel);
}