Home
last modified time | relevance | path

Searched full:extends (Results 1 – 25 of 2521) sorted by relevance

12345678910>>...101

/arkcompiler/ets_frontend/ets2panda/linter/test/main/
Dsendable_class_inheritance.ets.migrate.ets41 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 …]
Dsendable_class_inheritance.ets41 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 …]
/arkcompiler/ets_frontend/es2panda/test/parser/ts/
Dtest_infer-type-with-extends4.ts17 // 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 …]
Dtest_infer-type-with-extends5.ts17 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
Dtest_infer-type-with-extends1.ts18 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] :
Dtest_infer-type-with-extends2.ts19 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] :
Dtest-ts-conditional-type.ts18 …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>
Dtest_generic.ts17 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/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/02.override-compatible_signatures/
Doverride_compatibility_parameter.params.yaml24 class Derived<T> extends Base<T> {
42 class Derived<T> extends Base<T> {
43 override foo<J extends T>(i: J) {
56 class Derived extends Base {
68 foo<T extends Base>(i: T) {
73 class Derived extends Base {
74 override foo<J extends Object>(i: J) {
87 foo<T extends Base>(i: T) {
92 class Derived extends Base {
93 override foo<J extends Base>(i: J) {
[all …]
/arkcompiler/ets_frontend/ets2panda/linter/test/ts_import_ets/ts/
Dtest4.ts21 class D1 extends A {}
22 class D2 extends A1 {}
23 class D3 extends A2 {}
24 class D4 extends B {}
25 class D5 extends B1 {}
26 class D6 extends B2 {}
27 class D7 extends C {}
28 class DerivedFromC1 extends C1 {}
29 class DerivedFromC2 extends C2 {}
31 interface I1 extends I {}
[all …]
/arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/06.contexts_and_conversions/05.implicit_conversions/08.subtype_to_supertype_conversions/
Dsubtype_to_supertype.params.yaml19 class Derived extends Base {}
33 class Derived extends Base {}
40 interface Base2 extends Base {}
48 interface Base2 extends Base {}
56 abstract class Base2 extends Base {}
57 class Derived extends Base2 {}
64 abstract class Base2 extends Base {}
65 class Derived extends Base2 {}
73 class Derived extends Base2 {}
81 class Derived extends Base2 {}
[all …]
/arkcompiler/ets_frontend/ets2panda/test/parser/ts/
Dtest-ts-conditional-type.ts18 …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>
Dtest_generic.ts17 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/
Dgeneric_interface_self_dependency.params.yaml16 - 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/01.type_parameters/01.type_parameter_constraint/generic_interfaces/
Dgeneric_interface_self_dependency.params.yaml16 - 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/
Dbasic_instantiations.params.yaml17 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/01.overload-equivalent_signatures/
Dpos.params.yaml31 function foo<T extends X, U extends Y, V extends Z>(t: T, u: U, v: V): T { return t; }
32 function foo<T extends X, U extends Y>(t: T, u: U, v: Object): T { return t; }
33 function foo<T extends X>(t: T, u: Object, v: Object): T { return t; }
39 function foo<X extends Z>(a: int, b: long, c: double, d: X): X { return d; }
40 function bar<X extends Z>(a: int, b: long, c: double, d: X): X { return d; }
45 function foo<X extends Z>(a: int, b: long, c: double, d: X): X { return d; }
46 function foo<X extends Z>(a: long, b: long, c: double, d: X): X { return d; }
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/10.final_classes_and_methods/01.final_classes/
Dfc.params.yaml22 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/tests/ets-templates/05.generics/01.type_parameters/01.type_parameter_constraint/generic_classes/
Dgeneric_class_union_normalization.params.yaml17 class C<T extends float|Int> {} // -> Numeric
24 final class C<T extends float|Int> {} // -> Numeric
31 abstract class AC<T extends float|Int> {} // -> Numeric
32 class C<T extends float|Int> extends AC<T> {} // -> Numeric
39 class C<T extends float|number> {} // -> Floating
46 final class C<T extends float|number> {} // -> Floating
53 abstract class AC<T extends float|number> {} // -> Floating
54 class C<T extends float|number> extends AC<T> {} // -> Floating
61 class C<T extends number|number> {} // -> number
64 class C<T extends "literal"|string> {} // -> string
/arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/03.types/19.union_types/02.access_to_common_union_members/
Dcm_fld2.params.yaml25 class AA extends A {}
26 class BB extends B {}
41 class AA extends A {}
42 class BB extends B {
57 class AA extends A {}
58 class BB extends B {
75 class AA extends A {
78 class BB extends B {
96 class B extends A {}
97 class AA extends A {}
[all …]
Dcm_meth2.params.yaml29 class AA extends A {}
30 class BB extends B {}
49 class AA extends A {}
50 class BB extends B {
69 class AA extends A {}
70 class BB extends B {
93 class AA extends A {
98 class BB extends B {
120 class B extends A {}
121 class AA extends A {}
[all …]
/arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/05.generics/02.generic_instantiations/02.explicit_generic_instantiations/
Dclass.params.yaml52 class B<T, U> extends A<T>{
66 class B extends A {}
68 class Cls<T extends U, U extends Object> {
81 class B extends A {}
83 class Cls<T extends U, U extends Object> {
96 class B extends A {}
98 class Cls<T extends U, U extends Object> {
111 class B extends A {}
113 class Cls<T extends U, U extends Object> {
126 class B extends A {}
[all …]
/arkcompiler/runtime_core/static_core/plugins/ets/stdlib/std/core/
DErrors.ets21 export class AssertionError extends Error {
31 export class DivideByZeroError extends Error {
40 export class NullPointerError extends Error {
49 export class UncaughtExceptionError extends Error {
58 export class SyntaxError extends Error {
71 export class JSONTypeError extends Error {
80 export class RangeError extends Error {
93 export final class ArrayIndexOutOfBoundsError extends Error {
102 export final class ArithmeticError extends Error {
111 export class OutOfMemoryError extends Error {
[all …]
/arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/04.overloading_and_overriding_in_classes/
Daccess_modifier_over.params.yaml19 class Derived extends Base {
37 class Derived extends Base {
47 class Derived extends Base {
61 class Derived extends Base {
75 class Derived extends Base {
89 class Derived extends Base {
99 class Derived extends Base {
105 class Derived extends Base {
111 class Derived extends Base {
118 class Derived extends Base {
[all …]
/arkcompiler/ets_frontend/ets2panda/test/ast/parser/ets/
Dtypeinference_function_generic.ets16 function fn1<T extends D, D>(x: T, y: D) {}
19 function fn2<T extends D, D>(x: D, y: T) {}
22 function fn3<T, D extends T>(x: T, y: D) {}
25 function fn4<T, D extends T>(x: D, y: T) {}
28 function fn5<T extends D ,D>(x: D, y:T) {}
32 function fn6<T, F extends T, D extends F>(x:T,y:D,z:F){}
35 function fn7<T extends D, D extends /* @@ label */T>(x:T, y:D){}

12345678910>>...101