blob: 22a0f0443b44f3d2d074facf75957b57b2500b99 [file] [log] [blame]
// 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.
// @dart = 2.9
import "dart:mirrors";
import "package:expect/expect.dart";
import "stringify.dart";
class Class<T1, T2> {
final field;
Class(this.field);
factory Class.factoryNoOptional(a, b) => new Class<T1, T2>(a - b);
factory Class.redirectingFactoryNoOptional(a, b) = Class.factoryNoOptional;
factory Class.factoryUnnamedOptional(a, [b = 42]) => new Class<T1, T2>(a - b);
factory Class.redirectingFactoryUnnamedOptional(a, [b]) =
Class.factoryUnnamedOptional;
factory Class.factoryNamedOptional(a, {b: 42}) {
return new Class<T1, T2>(a - b);
}
factory Class.redirectingFactoryNamedOptional(a, {b}) =
Class.factoryNamedOptional;
factory Class.factoryMoreNamedOptional(a, {b: 0, c: 2}) {
return new Class<T1, T2>(a - b - c);
}
factory Class.redirectingFactoryMoreNamedOptional(a, {b}) =
Class<T1, T2>.factoryMoreNamedOptional;
factory Class.factoryMoreUnnamedOptional(a, [b = 0, c = 2]) {
return new Class<T1, T2>(a - b - c);
}
factory Class.redirectingFactoryMoreUnnamedOptional(a, [b]) =
Class<T1, T2>.factoryMoreUnnamedOptional;
factory Class.redirectingFactoryStringIntTypeParameters(a, b) = Class //
<String, int> //# 03: compile-time error
.factoryNoOptional;
factory Class.redirectingFactoryStringTypeParameters(a, b) = Class //
<String> //# 02: compile-time error
.factoryNoOptional;
factory Class.redirectingFactoryTypeParameters(a, b) =
Class<T1, T2>.factoryNoOptional;
factory Class.redirectingFactoryReversedTypeParameters(a, b) = Class //
<T2, T1> //# 04: compile-time error
.factoryNoOptional;
}
main() {
var classMirror = reflectClass(Class);
var instanceMirror = classMirror.newInstance(Symbol.empty, [2]);
Expect.equals(2, instanceMirror.reflectee.field);
instanceMirror =
classMirror.newInstance(#redirectingFactoryNoOptional, [8, 6]);
Expect.equals(2, instanceMirror.reflectee.field);
instanceMirror =
classMirror.newInstance(#redirectingFactoryUnnamedOptional, [43, 1]);
Expect.equals(42, instanceMirror.reflectee.field);
instanceMirror =
classMirror.newInstance(#redirectingFactoryMoreUnnamedOptional, [43, 1]);
Expect.equals(40, instanceMirror.reflectee.field);
instanceMirror = classMirror
.newInstance(#redirectingFactoryStringIntTypeParameters, [43, 1]);
Expect.equals(42, instanceMirror.reflectee.field);
Expect.isTrue(instanceMirror.reflectee is Class<String, int>);
Expect.isFalse(instanceMirror.reflectee is Class<int, String>);
instanceMirror =
classMirror.newInstance(#redirectingFactoryStringTypeParameters, [43, 1]);
Expect.equals(42, instanceMirror.reflectee.field);
Expect.isTrue(instanceMirror.reflectee is Class<String, int>);
Expect.isTrue(instanceMirror.reflectee is Class<String, String>);
Expect.isTrue(instanceMirror.reflectee is Class<int, String>);
bool isDart2js = false;
isDart2js = true; //# 01: ok
if (isDart2js) return;
instanceMirror =
classMirror.newInstance(#redirectingFactoryUnnamedOptional, [43]);
Expect.equals(1, instanceMirror.reflectee.field);
instanceMirror =
classMirror.newInstance(#redirectingFactoryNamedOptional, [43]);
Expect.equals(1, instanceMirror.reflectee.field);
instanceMirror = classMirror.newInstance(
#redirectingFactoryNamedOptional, [43], new Map()..[#b] = 1);
Expect.equals(42, instanceMirror.reflectee.field);
instanceMirror = classMirror.newInstance(
#redirectingFactoryMoreNamedOptional, [43], new Map()..[#b] = 1);
Expect.equals(40, instanceMirror.reflectee.field);
classMirror = reflect(new Class<String, int>(42)).type;
instanceMirror =
classMirror.newInstance(#redirectingFactoryTypeParameters, [43, 1]);
Expect.equals(42, instanceMirror.reflectee.field);
Expect.isTrue(instanceMirror.reflectee is Class<String, int>);
Expect.isFalse(instanceMirror.reflectee is Class<int, String>);
instanceMirror = classMirror
.newInstance(#redirectingFactoryReversedTypeParameters, [43, 1]);
Expect.equals(42, instanceMirror.reflectee.field);
Expect.isTrue(instanceMirror.reflectee is Class<int, String>);
Expect.isFalse(instanceMirror.reflectee is Class<String, int>);
}