Home
last modified time | relevance | path

Searched full:a (Results 1 – 25 of 7513) sorted by relevance

12345678910>>...301

/arkcompiler/ets_runtime/test/typeinfer/automatedcases/
DstaticFieldWithInterfaceContext.ts6 * You may obtain a copy of the License at
22 x: { a: "a" };
26 AssertType(class { // should typecheck the same as the last line static x = { a: "a" };}, "ty…
29 static x = { a: "a" };
30 AssertType(x, "{ a: "a"; }");
31 AssertType({ a: "a" }, "{ a: "a"; }");
32 AssertType(a, "string");
33 AssertType("a", "string");
36 c.x = { a: "a" };
37 AssertType(c.x = { a: "a" }, "{ a: "a"; }");
[all …]
DtypeGuardTypeOfUndefined.ts6 * You may obtain a copy of the License at
22 function test1(a: any) {
23 if (typeof a !== "undefined") {
24 AssertType(typeof a !== "undefined", "boolean");
25 AssertType(typeof a, "union");
26 AssertType(a, "any");
29 if (typeof a === "boolean") {
30 AssertType(typeof a === "boolean", "boolean");
31 AssertType(typeof a, "union");
32 AssertType(a, "any");
[all …]
DcomparisonOperatorWithSubtypeEnumAndNumber.ts6 * You may obtain a copy of the License at
21 enum E { a, b, c }
23 let a: E; variable
24 AssertType(a, "E");
30 let ra1 = a < b;
32 AssertType(a < b, "boolean");
33 AssertType(a, "E");
36 let ra2 = b < a;
38 AssertType(b < a, "boolean");
40 AssertType(a, "E");
[all …]
DprivateNameStaticFieldAssignment.ts6 * You may obtain a copy of the License at
21 class A {
24 A.#field = 1;
25 AssertType(A.#field = 1, "int");
26 AssertType(A.#field, "number");
29 A.#field += 2;
30 AssertType(A.#field += 2, "number");
31 AssertType(A.#field, "number");
34 A.#field -= 3;
35 AssertType(A.#field -= 3, "number");
[all …]
DemptyVariableDeclarationBindingPatterns01_ES5.ts6 * You may obtain a copy of the License at
22a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
23a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
24a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
26 let a: any;
27 AssertType(a, "any");
29 let {} = a;
30 AssertType(a, "any");
32 let {} = a;
33 AssertType(a, "any");
[all …]
DemptyVariableDeclarationBindingPatterns01_ES5iterable.ts6 * You may obtain a copy of the License at
22a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
23a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
24a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
26 let a: any;
27 AssertType(a, "any");
29 let {} = a;
30 AssertType(a, "any");
32 let {} = a;
33 AssertType(a, "any");
[all …]
DemptyVariableDeclarationBindingPatterns01_ES6.ts6 * You may obtain a copy of the License at
22a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
23a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
24a: any; let {} = a; let {} = a; const {} = a; let [] = a; let [] = a; const [] =…
26 let a: any;
27 AssertType(a, "any");
29 let {} = a;
30 AssertType(a, "any");
32 let {} = a;
33 AssertType(a, "any");
[all …]
DcontextualTypeWithUnionTypeMembers.ts6 * You may obtain a copy of the License at
21 //When used as a contextual type, a union type U has those members that are present in any of
24 commonMethodType(a: string): string;
26 commonMethodWithTypeParameter(a: T): T;
28 methodOnlyInI1(a: string): string;
32 commonMethodType(a: string): string;
34 commonMethodWithTypeParameter(a: T): T;
36 methodOnlyInI2(a: string): string;
40 // Let S be the set of types in U that has a property P.
41 // If S is not empty, U has a property P of a union type of the types of P from each type in S.
[all …]
DgenericTypeParameterEquivalence2.ts6 * You may obtain a copy of the License at
21 // compose :: (b->c) -> (a->b) -> (a->c)
22 function compose<A, B, C>(f: (b: B) => C, g: (a:A) => B): (a:A) => C {
23 AssertType(function (a:A) : C { return f(g.apply(null, a)); }, "(A) => C");
24 AssertType(a, "A");
25 return function (a:A) : C {
27 AssertType(f(g.apply(null, a)), "C");
29 AssertType(g.apply(null, a), "any");
32 AssertType(a, "A");
33 return f(g.apply(null, a));
[all …]
DadditionOperatorWithAnyAndEveryType.ts6 * You may obtain a copy of the License at
23 public a: string; property in C
26 enum E { a, b, c } enumerator
27 module M { export let a } variable
29 let a: any; variable
30 AssertType(a, "any");
45 let r1 = a + a;
47 AssertType(a + a, "any");
48 AssertType(a, "any");
49 AssertType(a, "any");
[all …]
DcomparisonOperatorWithTwoOperandsAreAny.ts6 * You may obtain a copy of the License at
21 let a: any;
22 AssertType(a, "any");
24 let r1 = a < a;
26 AssertType(a < a, "boolean");
27 AssertType(a, "any");
28 AssertType(a, "any");
30 let r2 = a > a;
32 AssertType(a > a, "boolean");
33 AssertType(a, "any");
[all …]
DgenericContextualTypes1.ts6 * You may obtain a copy of the License at
23 declare function wrap<A, B>(f: (a: A) => B): (a: A) => B;
25 declare function compose<A, B, C>(f: (a: A) => B, g: (b: B) => C): (a: A) => C;
27 declare function list<T>(a: T): T[];
29 declare function unlist<T>(a: T[]): T;
35 declare function map<T, U>(a: T[], f: (x: T) => U): U[];
39 declare function zip<A, B>(a: A, b: B): [A, B];
43 const f00: <A>(x: A) => A[] = list;
44 AssertType(f00, "<A>(A) => A[]");
45 AssertType(x, "A");
[all …]
DarithmeticOperatorWithEnum.ts6 * You may obtain a copy of the License at
24 a,
28 let a: any; variable
29 AssertType(a, "any");
38 let ra1 = c * a;
40 AssertType(c * a, "number");
42 AssertType(a, "any");
56 let ra4 = a * c;
58 AssertType(a * c, "number");
59 AssertType(a, "any");
[all …]
DarithmeticOperatorWithEnumUnion.ts6 * You may obtain a copy of the License at
24 a,
32 let a: any; variable
33 AssertType(a, "any");
42 let ra1 = c * a;
44 AssertType(c * a, "number");
46 AssertType(a, "any");
60 let ra4 = a * c;
62 AssertType(a * c, "number");
63 AssertType(a, "any");
[all …]
DcontextualTypeWithUnionTypeIndexSignatures.ts6 * You may obtain a copy of the License at
21 //When used as a contextual type, a union type U has those members that are present in any of
24 (a: number): number;
27 (a: number): string;
37 [a: string]: SomeType;
40 [a: string]: SomeType2;
43 [a: number]: SomeType;
46 [a: number]: SomeType2;
49 // When an object literal is contextually typed by a type that includes a string index signature,
50 // the resulting type of the object literal includes a string index signature with the union type o…
[all …]
DnewWithSpreadES6.ts6 * You may obtain a copy of the License at
27 interface A { interface
38 "a-b": typeof B;
45 let a: string[]; variable
46 AssertType(a, "string[]");
48 let b: A;
49 AssertType(b, "A");
54 let d: A[];
55 AssertType(d, "A[]");
57 let e: { [key: string]: A };
[all …]
DnewWithSpreadES5.ts6 * You may obtain a copy of the License at
26 interface A { interface
37 "a-b": typeof B;
44 let a: string[]; variable
45 AssertType(a, "string[]");
47 let b: A;
48 AssertType(b, "A");
53 let d: A[];
54 AssertType(d, "A[]");
56 let e: { [key: string]: A };
[all …]
DnonInferrableTypePropagation2.ts6 * You may obtain a copy of the License at
21 export interface Predicate<A> {
22 (a: A): boolean
30 interface Right<A> {
32 readonly right: A
35 type Either<E, A> = Left<E> | Right<A>;
37 interface Refinement<A, B extends A> {
38 (a: A): a is B
42A, B extends A>(Refinement<A, B>): (readonly A[]) => readonly B[]; <A>(Predicate<A>): <B extends A
44 <A, B extends A>(refinement: Refinement<A, B>): (as: ReadonlyArray<A>) => ReadonlyArray<B>
[all …]
DpropertyAccessOnTypeParameterWithConstraints2.ts6 * You may obtain a copy of the License at
23 class A {
30 class B extends A {
37 class C<U extends A, T extends A> {
42 let a = x['foo'](); // should be string
43 AssertType(a, "string");
49 AssertType(a + x.foo(), "string");
50 AssertType(a, "string");
53 return a + x.foo();
57 let a = x['foo'](); // should be string
[all …]
DprivateNameFieldAssignment.ts6 * You may obtain a copy of the License at
21 class A {
102 A.getInstance().#field = 1;
103 AssertType(A.getInstance().#field = 1, "int");
104 AssertType(A.getInstance().#field, "number");
105 AssertType(A.getInstance(), "A");
106 AssertType(A.getInstance, "() => A");
109 A.getInstance().#field += 2;
110 AssertType(A.getInstance().#field += 2, "number");
111 AssertType(A.getInstance().#field, "number");
[all …]
DcapturedLetConstInLoop2.ts6 * You may obtain a copy of the License at
27 let a = arguments.length;
28 AssertType(a, "number");
32 AssertType((function() { return x + a }), "() => any");
33 AssertType(function() { return x + a }, "() => any");
34 AssertType(x + a, "any");
36 AssertType(a, "number");
37 return x + a });
39 (() => x + a);
40 AssertType((() => x + a), "() => any");
[all …]
/arkcompiler/ets_frontend/
DREADME.md1 # ets_frontend <a name="EN-US_TOPIC_0000001137330686"></a>
3 - [ets_frontend <a name="EN-US_TOPIC_0000001137330686"></a>](#ets_frontend-)
4 - [Introduction<a name="section11660541593"></a>](#introduction)
5 - [Directory Structure<a name="section161941989596"></a>](#directory-structure)
6 - [Build<a name="section0446154755015"></a>](#Build)
7 - [Usage Guidelines<a name="section33105542504"></a>](#usage-guidelines)
8 - [Repositories Involved<a name="section1371113476307"></a>](#repositories-involved)
10 ## Introduction<a name="section11660541593"></a>
12 ets_frontend is a front-end tool in the ARK Runtime Subsystem. Combined with the ace-ets2bundle com…
20 ## Directory Structure<a name="section161941989596"></a>
[all …]
DREADME_zh.md1 # ets_frontend组件<a name="ZH-CN_TOPIC_0000001137330686"></a>
3 - [ets_frontend组件<a name="ZH-CN_TOPIC_0000001137330686"></a>](#ets_frontend组件)
4 - [简介<a name="section11660541593"></a>](#简介)
5 - [目录<a name="section161941989596"></a>](#目录)
6 - [编译构建<a name="section0446154755015"></a>](#编译构建)
7 - [使用说明<a name="section33105542504"></a>](#使用说明)
8 - [相关仓<a name="section1371113476307"></a>](#相关仓)
10 ## 简介<a name="section11660541593"></a>
20 ## 目录<a name="section161941989596"></a>
47 ## 编译构建<a name="section0446154755015"></a>
[all …]
/arkcompiler/ets_runtime/docs/
Dusing-the-toolchain.md1 # Using the Toolchain<a name="EN-US_TOPIC_0000001128256014"></a>
23 <a name="table18706114344420"></a>
24 …29%" id="mcps1.1.6.1.1"><p id="p1970694310447"><a name="p1970694310447"></a><a name="p197069431044…
26 …29%" id="mcps1.1.6.1.2"><p id="p9548142314456"><a name="p9548142314456"></a><a name="p954814231445…
28 …4434%" id="mcps1.1.6.1.3"><p id="p170614318449"><a name="p170614318449"></a><a name="p170614318449…
30 …01%" id="mcps1.1.6.1.4"><p id="p1841257144811"><a name="p1841257144811"></a><a name="p184125714481…
32 …%" id="mcps1.1.6.1.5"><p id="p15894191313495"><a name="p15894191313495"></a><a name="p158941913134…
36 …eaders="mcps1.1.6.1.1 "><p id="p0706154312447"><a name="p0706154312447"></a><a name="p070615431244…
38 …eaders="mcps1.1.6.1.2 "><p id="p1654810236457"><a name="p1654810236457"></a><a name="p165481023645…
40 …ders="mcps1.1.6.1.3 "><p id="p12451427144913"><a name="p12451427144913"></a><a name="p124514271449…
[all …]
DREADME_zh.md222 …th="50%" id="mcps1.1.3.1.1"><p id="p51552743010"><a name="p51552743010"></a><a name="p51552743010"…
224 …th="50%" id="mcps1.1.3.1.2"><p id="p11592710304"><a name="p11592710304"></a><a name="p11592710304"…
228 … headers="mcps1.1.3.1.1 "><p id="p171592710306"><a name="p171592710306"></a><a name="p171592710306…
230 …ders="mcps1.1.3.1.2 "><p id="p13151527133011"><a name="p13151527133011"></a><a name="p131515271330…
233 …eaders="mcps1.1.3.1.1 "><p id="p1615182712308"><a name="p1615182712308"></a><a name="p161518271230…
235 …eaders="mcps1.1.3.1.2 "><p id="p9556101593120"><a name="p9556101593120"></a><a name="p955610159312…
238 …eaders="mcps1.1.3.1.1 "><p id="p1815182733012"><a name="p1815182733012"></a><a name="p181518273301…
240 …eaders="mcps1.1.3.1.2 "><p id="p1615627173019"><a name="p1615627173019"></a><a name="p161562717301…
243 … headers="mcps1.1.3.1.1 "><p id="p111572716304"><a name="p111572716304"></a><a name="p111572716304…
245 …eaders="mcps1.1.3.1.2 "><p id="p1655718513105"><a name="p1655718513105"></a><a name="p165571851310…
[all …]

12345678910>>...301