blob: b145d416bc7f3eb64777abfefd99da4765c8a132 [file] [log] [blame]
/*
* Copyright (c) 2018, 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.
*/
/**
* @assertion We say that a type T0 is a subtype of a type T1 (written T0 <: T1)
* when:
* Function Type/Function: T0 is a function type and T1 is Function
* @description Check that if type T0 is a function type and T1 is Function then
* T0 is a subtype of T1. Test non-void function with named arguments
* @author sgrekhov@unipro.ru
*/
/**
* @description Check that if type T0 is a subtype of a type T1, then instance
* of T0 can be be used as an argument of type T1
* @author sgrekhov@unipro.ru
*/
/*
* This test is generated from function_type_function_A09.dart and
* arguments_binding_x01.dart.
* Don't modify it. If you want to change this file, change one of the files
* above and then run generator.dart to regenerate the tests.
*/
import '../../utils/common.dart';
class C {}
typedef C T0(C c, {dynamic d});
C t0Instance(C c, {dynamic d}) => c;
Function t1Instance = null;
namedArgumentsFunc1(Function t1, {Function t2 = t1Default}) {}
positionalArgumentsFunc1(Function t1, [Function t2 = t1Default]) {}
namedArgumentsFunc2<X>(X t1, {required X t2}) {}
class ArgumentsBindingClass {
ArgumentsBindingClass(Function t1) {}
ArgumentsBindingClass.named(Function t1, {Function t2 = t1Default}) {}
ArgumentsBindingClass.positional(Function t1, [Function t2 = t1Default]) {}
factory ArgumentsBindingClass.fNamed(Function t1, {Function t2 = t1Default}) {
return new ArgumentsBindingClass.named(t1, t2: t2);
}
factory ArgumentsBindingClass.fPositional(Function t1, [Function t2 = t1Default]) {
return new ArgumentsBindingClass.positional(t1, t2);
}
static namedArgumentsStaticMethod(Function t1, {Function t2 = t1Default}) {}
static positionalArgumentsStaticMethod(Function t1, [Function t2 = t1Default]) {}
namedArgumentsMethod(Function t1, {Function t2 = t1Default}) {}
positionalArgumentsMethod(Function t1, [Function t2 = t1Default]) {}
set testSetter(Function val) {}
}
class ArgumentsBindingGen<X> {
ArgumentsBindingGen(X t1) {}
ArgumentsBindingGen.named(X t1, {required X t2}) {}
factory ArgumentsBindingGen.fNamed(X t1, {required X t2}) {
return new ArgumentsBindingGen.named(t1, t2: t2);
}
namedArgumentsMethod(X t1, {required X t2}) {}
set testSetter(X val) {}
}
main() {
// test functions
namedArgumentsFunc1(forgetType(t0Instance), t2: forgetType(t0Instance));
positionalArgumentsFunc1(forgetType(t0Instance), forgetType(t0Instance));
// test class constructors
ArgumentsBindingClass instance1 =
new ArgumentsBindingClass(forgetType(t0Instance));
instance1 = new ArgumentsBindingClass.fNamed(forgetType(t0Instance),
t2: forgetType(t0Instance));
instance1 = new ArgumentsBindingClass.named(forgetType(t0Instance),
t2: forgetType(t0Instance));
instance1 = new ArgumentsBindingClass.positional(forgetType(t0Instance),
forgetType(t0Instance));
// tests methods and setters
instance1.namedArgumentsMethod(forgetType(t0Instance),
t2: forgetType(t0Instance));
instance1.positionalArgumentsMethod(forgetType(t0Instance),
forgetType(t0Instance));
instance1.testSetter = forgetType(t0Instance);
// test static methods
ArgumentsBindingClass.namedArgumentsStaticMethod(forgetType(t0Instance),
t2: forgetType(t0Instance));
ArgumentsBindingClass.positionalArgumentsStaticMethod(
forgetType(t0Instance), forgetType(t0Instance));
// Test type parameters
//# <-- NotGenericFunctionType
// test generic functions
namedArgumentsFunc2<Function>(forgetType(t0Instance), t2: forgetType(t0Instance));
// test generic class constructors
ArgumentsBindingGen<Function> instance2 =
new ArgumentsBindingGen<Function>(forgetType(t0Instance));
instance2 = new ArgumentsBindingGen<Function>.fNamed(forgetType(t0Instance),
t2: forgetType(t0Instance));
instance2 = new ArgumentsBindingGen<Function>.named(forgetType(t0Instance),
t2: forgetType(t0Instance));
// test generic class methods and setters
instance2.namedArgumentsMethod(forgetType(t0Instance),
t2: forgetType(t0Instance));
instance2.testSetter = forgetType(t0Instance);
//# -->
}