| /arkcompiler/ets_frontend/ets2panda/linter/test/ |
| D | sendable_class_inheritance.sts | 41 interface localSendableInterface extends lang.ISendable {}
56 // case1: extends import var
57 // == case1.1: extends sendable
59 class sendableClass1 extends sendableVar {} // ERROR
61 // == case1.2: extends non-sendable
63 class sendableClass2 extends nonSendableVar {} // ERROR
65 // case2: extends local var
66 // == case2.1: extends sendable
68 class sendableClass3 extends localSendableVar {} // ERROR
70 // == case2.2: extends non-sendable
[all …]
|
| D | conditional_types.sts | 19 interface Dog extends Animal {
22 type Example1 = Dog extends Animal ? number : string; // type Example1 = number
23 type Example2 = RegExp extends Animal ? number : string; // type Example2 = string
31 type NameOrId<T extends number | string> = T extends number
34 function createLabel<T extends number | string>(idOrName: T): NameOrId<T> {
41 type MessageOf<T> = T extends { message: unknown } ? T['message'] : never;
51 type Flatten<T> = T extends any[] ? T[number] : T;
|
| /arkcompiler/ets_frontend/es2panda/test/parser/ts/ |
| D | test_infer-type-with-extends4.ts | 17 // Speculative lookahead for `infer T extends U ?`
18 type T10<T> = T extends (infer U extends number ? 1 : 0) ? 1 : 0; // ok, parsed as conditional
19 type X10_Y1<T> = T10<T extends number ? 1 : 0>;
22 type T11<T> = T extends ((infer U) extends number ? 1 : 0) ? 1 : 0; // ok, parsed as conditional
23 type T12<T> = T extends (infer U extends number) ? 1 : 0; // ok, parsed as `infer..extends` (no tra…
24 type T13<T> = T extends infer U extends number ? 1 : 0; // ok, parsed as `infer..extends` (conditio…
25 type T14<T> = T extends keyof infer U extends number ? 1 : 0; // ok, parsed as `infer..extends` (pr…
26 type T15<T> = T extends { [P in infer U extends keyof T ? 1 : 0]: 1; } ? 1 : 0; // ok, parsed as co…
27 type T16<T> = T extends { [P in infer U extends keyof T]: 1; } ? 1 : 0; // ok, parsed as `infer..ex…
28 type T17<T> = T extends { [P in keyof T as infer U extends P ? 1 : 0]: 1; } ? 1 : 0; // ok, parsed …
[all …]
|
| D | test_infer-type-with-extends5.ts | 17 type T19<T extends string | number> = T extends (infer U extends number) ? [T, U] : never;
22 type T20<T> = T extends (infer U extends number) ? T extends (infer V extends U) ? [T, U, V] : neve…
25 type T21<T, N extends number> = T extends (infer U extends N) ? [T, U] : never;
33 type IfEquals<X, Y, A, B> = (<T>() => T extends X ? 1 : 2) extends <T>() => T extends Y ? 1 : 2 ? A…
35 declare const val1: <T>() => (T extends infer U extends number ? 1 : 0);
40 type ExpectNumber<T extends number> = T;
41 declare const val2: <T>() => (T extends ExpectNumber<infer U> ? 1 : 0);
46 type X22<T> = T extends [infer U extends number, infer U extends number] ? string : never;
49 type c<T> = T extends [infer s extends U extends number ? 1:2 ]? 1:2
|
| D | test_infer-type-with-extends1.ts | 18 type T1<T extends any[]> = T extends [infer U extends string] ? ["string", U] :
19 T extends [infer U extends number] ? ["number", U] :
27 type T2<T extends (...args: any[]) => void> = T extends (a: infer U extends string) => void ? ["str…
28 T extends (a: infer U extends number) => void ? ["number", U] :
36 type T3<T extends (...args: any[]) => any> =
37 T extends (...args: any[]) => (infer U extends string) ? ["string", U] :
38 T extends (...args: any[]) => (infer U extends number) ? ["number", U] :
46 type T4<T extends new (...args: any[]) => any> =
47 T extends new (...args: any[]) => (infer U extends { a: string }) ? ["string", U] :
48 T extends new (...args: any[]) => (infer U extends { a: number }) ? ["number", U] :
|
| D | test_infer-type-with-extends2.ts | 19 T extends Promise<infer U extends string> ? ["string", U] :
20 T extends Promise<infer U extends number> ? ["number", U] :
29 T extends { a: infer U extends string } ? ["string", U] :
30 T extends { a: infer U extends number } ? ["number", U] :
39 T extends { a: infer U extends string, b: infer U extends string } ? ["string", U] :
40 T extends { a: infer U extends number, b: infer U extends number } ? ["number", U] :
|
| D | test-ts-conditional-type.ts | 18 …r & boolean extends boolean ? number : string)[] extends ((boolean extends & string ? typeof a : n…
20 var b: boolean & number extends A ? number : string; variable
21 var c: A | number extends string ? number : string; variable
22 var d: boolean | A & string extends string ? number : string; variable
23 var e: boolean & number | string extends string ? number : string; variable
25 type Bar<T> = T extends (infer U)[]
27 : T extends (...args: any[]) => infer U
29 : T extends Promise<infer U>
|
| D | test_generic.ts | 17 function func1<Type, A, B extends readonly number[]>(arg: Type): Type {
21 function func2<A extends { a: number, b: string }>() { }
23 function func3<A extends keyof { a: { b: number, c: boolean }, b: [number, string] }>(a: A, b: stri…
29 interface R<K extends [number, string], T = string> {
34 interface U<A extends readonly [number, number, { a: number, b: string }], Z = boolean> extends R<[…
36 readonly<A extends number>(): [boolean, number[]];
43 a: function <B, C extends typeof func1>() { },
45 c<E, F extends readonly []>() { }
48 class A<T extends B, Z = { a: number, b: string }> {
50 private b<E extends (a: number, b: string) => any[]>() { }
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/test/parser/ts/ |
| D | test-ts-conditional-type.ts | 18 …r & boolean extends boolean ? number : string)[] extends ((boolean extends & string ? typeof a : n…
20 var b: boolean & number extends A ? number : string; variable
21 var c: A | number extends string ? number : string; variable
22 var d: boolean | A & string extends string ? number : string; variable
23 var e: boolean & number | string extends string ? number : string; variable
25 type Bar<T> = T extends (infer U)[]
27 : T extends (...args: any[]) => infer U
29 : T extends Promise<infer U>
|
| D | test_generic.ts | 17 function func1<Type, A, B extends readonly number[]>(arg: Type): Type {
21 function func2<A extends { a: number, b: string }>() { }
23 function func3<A extends keyof { a: { b: number, c: boolean }, b: [number, string] }>(a: A, b: stri…
29 interface R<K extends [number, string], T = string> {
34 interface U<A extends readonly [number, number, { a: number, b: string }], Z = boolean> extends R<[…
36 o<A extends number>(): [boolean, number[]];
43 a: function <B, C extends typeof func1>() { },
45 c<E, F extends readonly []>() { }
48 class A<T extends B, Z = { a: number, b: string }> {
50 private b<E extends (a: number, b: string) => any[]>() { }
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/05.generics/01.type_parameters/generic_interfaces/ |
| D | generic_interface_self_dependency.params.yaml | 16 - T extends T
17 - U<T extends T>
18 - U<W<T extends T>>
19 - U<U<T extends T>>
20 - T extends U, U extends T
21 - T extends U, U extends W, W extends T
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/05.generics/02.generic_instantiations/ |
| D | basic_instantiations.params.yaml | 17 class OneArg<T extends SomeType> {}
18 class A extends SomeType {}
22 class TwoArgs<T extends SomeType, U extends OtherType> {}
23 class A extends SomeType {}
28 function oneArg<T extends SomeType>() {}
29 class A extends SomeType {}
33 function twoArgs<T extends SomeType, U extends OtherType>() {}
34 class A extends SomeType {}
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/02.override-compatible_signatures/ |
| D | pos.params.yaml | 31 …function foo<T extends X, U extends Y, V extends Z>(t: T, u: U, v: V): T { return new X(); } // CT…
32 function foo<T extends X, U extends Y>(t: T, u: U, v: Object): T { return new X(); }
33 function foo<T extends X>(t: T, u: Object, v: Object): T { return new X(); }
39 …function foo<X extends Z>(a: int, b: long, c: double, d: Object): X { return new Z(); } // CTE: no…
40 function bar<X extends Z>(a: int, b: long, c: double, d: Object): X { return new Z(); }
45 …function foo<X extends Z>(a: int, b: long, c: double, d: Object): X { return new Z(); } // CTE: no…
46 function foo<X extends Z>(a: long, b: long, c: double, d: Object): X { return new Z(); }
65 class A<T extends X, U extends Y> {
74 class A<T extends X, U extends Y> {
83 class A<T extends X, U extends Y> {
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/17.experimental_features/09.final_classes_and_methods/01.final_classes/ |
| D | fc.params.yaml | 22 final class F extends A implements I {}
33 final final class F extends A {} // CTE
41 final abstract class F extends A {} // CTE
49 final class B extends A {}
50 class F extends B {} // CTE
58 abstract class F extends A {} // CTE
66 final class F extends A {} // CTE
73 class A<T extends I> {}
74 final class F<T extends I> extends A<T> {}
83 final class A<T extends I> {}
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/stdlib/std/core/ |
| D | Errors.sts | 22 export class AssertionError extends Error {
39 export class DivideByZeroError extends Error {
48 export class NullPointerError extends Error {
57 export class UncatchedExceptionError extends Error {
66 export class SyntaxError extends Error {
83 export class JSONTypeError extends Error {
92 export class RangeError extends Error {
109 export final class ArrayIndexOutOfBoundsError extends Error {
118 export final class ArithmeticError extends Error {
127 export class OutOfMemoryError extends Error {
[all …]
|
| D | Function.sts | 21 export interface Function0<out R> extends Function<R> {
25 export interface Function1<in P1, out R> extends Function<R> {
29 export interface Function2<in P1, in P2, out R> extends Function<R> {
33 export interface Function3<in P1, in P2, in P3, out R> extends Function<R> {
37 export interface Function4<in P1, in P2, in P3, in P4, out R> extends Function<R> {
41 export interface Function5<in P1, in P2, in P3, in P4, in P5, out R> extends Function<R> {
45 export interface Function6<in P1, in P2, in P3, in P4, in P5, in P6, out R> extends Function<R> {
49 export interface Function7<in P1, in P2, in P3, in P4, in P5, in P6, in P7, out R> extends Function…
53 export interface Function8<in P1, in P2, in P3, in P4, in P5, in P6, in P7, in P8, out R> extends F…
57 …nction9<in P1, in P2, in P3, in P4, in P5, in P6, in P7, in P8, in P9, out R> extends Function<R> {
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/04.overloading_and_overriding_in_classes/ |
| D | access_modifier_over.params.yaml | 19 class Derived extends Base {
37 class Derived extends Base {
47 class Derived extends Base {
65 class Derived extends Base {
83 class Derived extends Base {
101 class Derived extends Base {
111 class Derived extends Base {
119 class Derived extends Base {
127 class Derived extends Base {
136 class Derived extends Base {
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/07.expressions/19.nullish-coalescing_expression/ |
| D | least_upper_bound.sts | 22 class CAA extends ACA {}
23 class CAB extends ACA {}
24 class CAAA extends CAA {}
25 class CAAB extends CAA {}
27 class CBA extends ACB {}
28 class CBB extends ACB {}
29 class CBBA extends CBB {}
30 class CBBB extends CBB {}
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/17.experimental_features/06.statements/02.multiple_catch_clauses_in_try_statements/ |
| D | catch.params.yaml | 18 class Ex extends Exception {}
19 class Fx extends Exception {}
36 class Ex extends Exception {}
37 class Fx extends Exception {}
54 class Ex extends Exception {}
55 class Fx extends Exception {}
74 class Ex extends Exception {}
75 class Fx extends Exception {}
92 class Ex extends Exception {}
93 class Fx extends Ex {}
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/06.contexts_and_conversions/04.casting_contexts_and_conversions/02.narrowing_reference_casting_conversions/ |
| D | userdef_ref.params.yaml | 50 class B extends A {}
57 class B extends A {}
64 class B extends A {}
71 class B extends A {}
72 class C extends B {}
94 interface J extends I {}
103 class B extends A implements I {}
111 class B extends A implements I {}
119 class B extends A implements I {}
135 class B extends A {}
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/05.generics/02.generic_instantiations/02.type_arguments/type_arguments_of_parameterized_declarations/ |
| D | constr_args1.params.yaml | 28 bound: ' extends X'
32 bound: ' extends X|null'
36 bound: ' extends Object|null'
50 bound: ' extends I'
54 bound: ' extends I|null'
58 bound: ' extends Object|null'
72 bound: ' extends X[]'
76 bound: ' extends X[]|null'
80 bound: ' extends Object|null'
84 bound: ' extends Object[]'
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/05.generics/01.type_parameters/02.type_parameter_default/generic_classes/ |
| D | class_type_parameter_default.params.yaml | 18 class Derived extends Base {}
23 class Derived extends Base<OtherType> {}
28 class Derived<T = OtherType> extends Base<T> {}
33 class Derived extends Base {}
38 class Derived extends Base<SomeType> {}
43 class Derived extends Base<OtherType, SomeType> {}
48 class Derived<V> extends Base<V> {}
53 class Derived extends Base {}
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/06.contexts_and_conversions/05.implicit_conversions/10.function_types_conversions/decl_field/ |
| D | decl-field-n2.params.yaml | 19 class B extends A {}
20 class C extends B {}
32 class B extends A {}
33 class C extends B {}
45 class B extends A {}
46 class C extends B {}
59 interface J extends I {}
70 interface J extends I {}
81 interface J extends I {}
93 class B extends A {}
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/06.contexts_and_conversions/05.implicit_conversions/10.function_types_conversions/comp_arr/ |
| D | comp-arr-n2.params.yaml | 19 class B extends A {}
20 class C extends B {}
32 class B extends A {}
33 class C extends B {}
45 class B extends A {}
46 class C extends B {}
59 interface J extends I {}
70 interface J extends I {}
81 interface J extends I {}
93 class B extends A {}
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/06.contexts_and_conversions/05.implicit_conversions/10.function_types_conversions/comp_obj/ |
| D | comp-clss-n2.params.yaml | 19 class B extends A {}
20 class C extends B {}
32 class B extends A {}
33 class C extends B {}
45 class B extends A {}
46 class C extends B {}
59 interface J extends I {}
70 interface J extends I {}
81 interface J extends I {}
93 class B extends A {}
[all …]
|