| /arkcompiler/ets_frontend/ets2panda/linter/test/main/ |
| D | functions.ets.json | 6 "You may obtain a copy of the License at",
12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.",
34 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
44 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
74 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
84 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
94 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
123 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.",
124 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'.",
133 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.",
[all …]
|
| D | no-overload-matches.ts.json | 6 "You may obtain a copy of the License at",
12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.",
23 …of 2, '(p1: number, p2: string): void', gave the following error.\n Argument of type 'undefined…
24 …of 2, '(p1: number, p2: string): void', gave the following error.\n Argument of type 'undefined…
33 …of 2, '(p11: number, p22: string): undefined', gave the following error.\n Argument of type 'un…
34 …of 2, '(p11: number, p22: string): undefined', gave the following error.\n Argument of type 'un…
43 …of 2, '(p1: number, p2: string): void', gave the following error.\n Argument of type 'undefined…
44 …of 2, '(p1: number, p2: string): void', gave the following error.\n Argument of type 'undefined…
|
| D | null_check_calls.ets.json | 6 "You may obtain a copy of the License at",
12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.",
33 "suggest": "Argument of type 'null' is not assignable to parameter of type 'number[]'.",
34 "rule": "Argument of type 'null' is not assignable to parameter of type 'number[]'.",
43 "suggest": "Argument of type 'null' is not assignable to parameter of type 'number'.",
44 "rule": "Argument of type 'null' is not assignable to parameter of type 'number'.",
53 …"suggest": "Argument of type 'number | null' is not assignable to parameter of type 'number'.\n T…
54 …"rule": "Argument of type 'number | null' is not assignable to parameter of type 'number'.\n Type…
63 …"suggest": "Argument of type 'number | null' is not assignable to parameter of type 'number'.\n T…
64 …"rule": "Argument of type 'number | null' is not assignable to parameter of type 'number'.\n Type…
[all …]
|
| D | for_stmts.ets | 5 * You may obtain a copy of the License at
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
27 * OK, spec 7.5.2 Type inference from Types of Elements
28 * type is (number | string | boolean)[], it is inferred from types of the elements.
31 for (const entry of someArray) {
35 for (const entry of [1, 'string', false]) {
44 for (const entry of someTuple) {
53 for (const i of list) {
57 for (const i of [4, 5, 6]) {
62 for (const c of s) {
[all …]
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | absint_checks.md | 3 ### Physical compatibility of arguments to instructions and actual parameters to methods
5 This type of checks eliminate rutime problems with undefined bits in integers, truncation issues, e…
7 From security point of view, this checks guarantee expected ranges of values in code and absence of…
15 Or access to wrong fields of object.
17 ### Checks of subtyping
19 Checks of compatibility of objects in arguments to instructions and actual parameters to methods.
21 These checks eliminate calls of methods with incorrect `this`, wrong access to arrays, etc.
23 ### Checks of exception handlers
25 These checks performed to check correctness of context on exception handler entry.
27 They can help to detect usage of inconsistent information in registers in exception handlers.
[all …]
|
| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | absint_checks.md | 3 ### Physical compatibility of arguments to instructions and actual parameters to methods
5 This type of checks eliminate rutime problems with undefined bits in integers, truncation issues, e…
7 From security point of view, this checks guarantee expected ranges of values in code and absence of…
15 Or access to wrong fields of object.
17 ### Checks of subtyping
19 Checks of compatibility of objects in arguments to instructions and actual parameters to methods.
21 These checks eliminate calls of methods with incorrect `this`, wrong access to arrays, etc.
23 ### Checks of exception handlers
25 These checks performed to check correctness of context on exception handler entry.
27 They can help to detect usage of inconsistent information in registers in exception handlers.
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/03.types/19.union_types/ |
| D | assignment_of_arrays_with_union_types_n.params.yaml | 4 # You may obtain a copy of the License at
10 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
18 desc: Exception assignment of undefined to an array of object or string union type.
23 desc: Exception assignment of a number to an array of string or null union type.
27 desc: Exception assignment of a number to an array of boolean or object union type.
35 desc: Exception assignment of a date string to an array of custom class or number union type.
39 desc: Exception assignment of a boolean array to an array of string or function union type.
43 desc: Exception assignment of a string to an array of boolean or float type.
51 desc: Exception assignment of a date object to an array of custom class or Promise union type.
55 desc: Exception assignment of a string to an array of number or number[] type.
[all …]
|
| /arkcompiler/runtime_core/static_core/ |
| D | LICENSE | 11 and distribution as defined by Sections 1 through 9 of this document.
16 "Legal Entity" shall mean the union of the acting entity and all
18 control with that entity. For the purposes of this definition,
20 direction or management of such entity, whether by contract or
21 otherwise, or (ii) ownership of fifty percent (50%) or more of the
22 outstanding shares, or (iii) beneficial ownership of such entity.
32 transformation or translation of a Source form, including but
36 "Work" shall mean the work of authorship, whether in Source or
44 represent, as a whole, an original work of authorship. For the purposes
45 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/toolchain/ |
| D | LICENSE | 11 and distribution as defined by Sections 1 through 9 of this document.
16 "Legal Entity" shall mean the union of the acting entity and all
18 control with that entity. For the purposes of this definition,
20 direction or management of such entity, whether by contract or
21 otherwise, or (ii) ownership of fifty percent (50%) or more of the
22 outstanding shares, or (iii) beneficial ownership of such entity.
32 transformation or translation of a Source form, including but
36 "Work" shall mean the work of authorship, whether in Source or
44 represent, as a whole, an original work of authorship. For the purposes
45 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/jsvm/ |
| D | LICENSE | 11 and distribution as defined by Sections 1 through 9 of this document.
16 "Legal Entity" shall mean the union of the acting entity and all
18 control with that entity. For the purposes of this definition,
20 direction or management of such entity, whether by contract or
21 otherwise, or (ii) ownership of fifty percent (50%) or more of the
22 outstanding shares, or (iii) beneficial ownership of such entity.
32 transformation or translation of a Source form, including but
36 "Work" shall mean the work of authorship, whether in Source or
44 represent, as a whole, an original work of authorship. For the purposes
45 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/ets_runtime/ |
| D | LICENSE | 11 and distribution as defined by Sections 1 through 9 of this document.
16 "Legal Entity" shall mean the union of the acting entity and all
18 control with that entity. For the purposes of this definition,
20 direction or management of such entity, whether by contract or
21 otherwise, or (ii) ownership of fifty percent (50%) or more of the
22 outstanding shares, or (iii) beneficial ownership of such entity.
32 transformation or translation of a Source form, including but
36 "Work" shall mean the work of authorship, whether in Source or
44 represent, as a whole, an original work of authorship. For the purposes
45 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/runtime_core/ |
| D | LICENSE | 11 and distribution as defined by Sections 1 through 9 of this document.
16 "Legal Entity" shall mean the union of the acting entity and all
18 control with that entity. For the purposes of this definition,
20 direction or management of such entity, whether by contract or
21 otherwise, or (ii) ownership of fifty percent (50%) or more of the
22 outstanding shares, or (iii) beneficial ownership of such entity.
32 transformation or translation of a Source form, including but
36 "Work" shall mean the work of authorship, whether in Source or
44 represent, as a whole, an original work of authorship. For the purposes
45 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/ |
| D | LICENSE.txt | 11 and distribution as defined by Sections 1 through 9 of this document.
16 "Legal Entity" shall mean the union of the acting entity and all
18 control with that entity. For the purposes of this definition,
20 direction or management of such entity, whether by contract or
21 otherwise, or (ii) ownership of fifty percent (50%) or more of the
22 outstanding shares, or (iii) beneficial ownership of such entity.
32 transformation or translation of a Source form, including but
36 "Work" shall mean the work of authorship, whether in Source or
44 represent, as a whole, an original work of authorship. For the purposes
45 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/regression/ |
| D | 14201.ets.json | 6 "You may obtain a copy of the License at",
12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.",
23 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.",
24 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'.",
33 … "suggest": "Argument of type 'undefined' is not assignable to parameter of type 'string'.",
34 "rule": "Argument of type 'undefined' is not assignable to parameter of type 'string'.",
43 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.",
44 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'.",
53 … "suggest": "Argument of type 'undefined' is not assignable to parameter of type 'string'.",
54 "rule": "Argument of type 'undefined' is not assignable to parameter of type 'string'.",
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/arkanalyzer/ |
| D | LICENSE | 10 and distribution as defined by Sections 1 through 9 of this document.
15 "Legal Entity" shall mean the union of the acting entity and all
17 control with that entity. For the purposes of this definition,
19 direction or management of such entity, whether by contract or
20 otherwise, or (ii) ownership of fifty percent (50%) or more of the
21 outstanding shares, or (iii) beneficial ownership of such entity.
31 transformation or translation of a Source form, including but
35 "Work" shall mean the work of authorship, whether in Source or
43 represent, as a whole, an original work of authorship. For the purposes
44 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/homecheck/ |
| D | LICENSE | 10 and distribution as defined by Sections 1 through 9 of this document.
15 "Legal Entity" shall mean the union of the acting entity and all
17 control with that entity. For the purposes of this definition,
19 direction or management of such entity, whether by contract or
20 otherwise, or (ii) ownership of fifty percent (50%) or more of the
21 outstanding shares, or (iii) beneficial ownership of such entity.
31 transformation or translation of a Source form, including but
35 "Work" shall mean the work of authorship, whether in Source or
43 represent, as a whole, an original work of authorship. For the purposes
44 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/sdk/api/ |
| D | @ohos.util.PlainArray.ets | 5 * You may obtain a copy of the License at
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
19 * The PlainArray class is a collection of key-value pairs.
25 * Returns number of Entries with unique keys in the PlainArray
27 * @returns number of Entries with unique keys in the PlainArray
34 * Add a set of data to PlainArray.
35 * @param key the key of the element to add
39 throw new RangeError("The value of key is out of range.");
65 * Creates a new instance of PlainArray
74 * @param callbackFn.value the value of the element
[all …]
|
| /arkcompiler/ets_frontend/arkguard/ |
| D | LICENSE | 11 and distribution as defined by Sections 1 through 9 of this document.
16 "Legal Entity" shall mean the union of the acting entity and all
18 control with that entity. For the purposes of this definition,
20 direction or management of such entity, whether by contract or
21 otherwise, or (ii) ownership of fifty percent (50%) or more of the
22 outstanding shares, or (iii) beneficial ownership of such entity.
32 transformation or translation of a Source form, including but
36 "Work" shall mean the work of authorship, whether in Source or
44 represent, as a whole, an original work of authorship. For the purposes
45 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/ets_frontend/ |
| D | LICENSE | 11 and distribution as defined by Sections 1 through 9 of this document.
16 "Legal Entity" shall mean the union of the acting entity and all
18 control with that entity. For the purposes of this definition,
20 direction or management of such entity, whether by contract or
21 otherwise, or (ii) ownership of fifty percent (50%) or more of the
22 outstanding shares, or (iii) beneficial ownership of such entity.
32 transformation or translation of a Source form, including but
36 "Work" shall mean the work of authorship, whether in Source or
44 represent, as a whole, an original work of authorship. For the purposes
45 of this License, Derivative Works shall not include works that remain
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/spec/ |
| D | 1_intro.rst | 5 You may obtain a copy of the License at
9 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
46 based on classes and interfaces. The major notions of this approach are as
71 of *compilation units*. A compilation unit is typically represented as
77 of its resources to, or importing from other modules.
79 This feature provides a high level of software development process and
98 A classical illustration is the notion of a list that represents the
99 ‘idea’ of an abstract data structure. This abstract notion can be turned
100 into a concrete list by providing additional information (i.e., the type of
104 *templates*) serves as the basis of the generic programming paradigm. It
[all …]
|
| D | 8_statements.rst | 5 You may obtain a copy of the License at
9 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
23 The syntax of *statements* is presented below:
51 The actions that every statement performs in a normal mode of execution are
52 specific for the particular kind of statement. Normal modes of
53 evaluation for each kind of statement are described in the following
66 mode of evaluation
80 The syntax of *expression statement* is presented below:
88 The execution of a statement leads to the execution of the expression. The
89 result of such execution is discarded.
[all …]
|
| D | 7_expressions.rst | 5 You may obtain a copy of the License at
9 WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
21 This chapter describes the meanings of expressions and the rules for the
22 evaluation of expressions, except the expressions related to coroutines
31 The syntax of *expression* is presented below:
88 ``objectReference`` refers to one of the following three options:
92 superclass, or the overridden method version of the superclass;
93 - *primaryExpression* that is to refer to an instance variable of a class,
94 interface, or function type after evaluation, unless the manner of the
98 If the form of *primaryExpression* is *thisExpression*, then the pattern
[all …]
|
| /arkcompiler/runtime_core/compiler/docs/ |
| D | reg_alloc_graph_coloring_doc.md | 17 This paper describes register allocation algorithm that is based on ideas of Chordal-graph coloring…
18 …of register allocation on Chordal-graphs is described in works of Sebastian Hack and Fernando Pere…
19 In works of Hack ("Register Allocation for Programs in SSA Form") and Pereira ("Register Allocation…
20 … with fixed-intervals (special intervals that are placeholders of convention registers) of call-si…
23 …tervals, algorithm under the hood is the same as in Linear-scan from works of Wimmer ("Linear Scan…
27 …dges of the graph. Affinity edges represent move-relation between values. Currently affinity edges…
28 Output graph will be interference-graph G = {Nodes, IEdges, AEdges} – graph with 2 types of edges: …
31 …of nodes by MCS or LexBFS (that is reverse PEO), one by one is colored by a Greedy coloring algori…
32 PEO on chordal graph always builds a clique, so it always color consequently nodes of the same cliq…
35 This algorithm extends coalescing abilities of original algorithms of Chordal-RA with integrated co…
[all …]
|
| /arkcompiler/runtime_core/static_core/compiler/docs/ |
| D | reg_alloc_graph_coloring_doc.md | 17 This paper describes register allocation algorithm that is based on ideas of Chordal-graph coloring…
18 …of register allocation on Chordal-graphs is described in works of Sebastian Hack and Fernando Pere…
19 In works of Hack ("Register Allocation for Programs in SSA Form") and Pereira ("Register Allocation…
20 … with fixed-intervals (special intervals that are placeholders of convention registers) of call-si…
23 …tervals, algorithm under the hood is the same as in Linear-scan from works of Wimmer ("Linear Scan…
27 …dges of the graph. Affinity edges represent move-relation between values. Currently affinity edges…
28 Output graph will be interference-graph G = {Nodes, IEdges, AEdges} – graph with 2 types of edges: …
31 …of nodes by MCS or LexBFS (that is reverse PEO), one by one is colored by a Greedy coloring algori…
32 PEO on chordal graph always builds a clique, so it always color consequently nodes of the same cliq…
35 This algorithm extends coalescing abilities of original algorithms of Chordal-RA with integrated co…
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/test/runtime/ets/ |
| D | Multiline_string.ets | 5 * You may obtain a copy of the License at
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
17 let x = `This is an example of a multiline string,
20 type UT = `This is an example of a multiline string,
23 let x2:UT = `This is an example of a multiline string,
27 assertEQ(x2, `This is an example of a multiline string,
30 …assertEQ(x2, "This is an example of a multiline string,\n which should be enclo…
32 let x3 = `This is an example of a multiline string`;
33 type UT2 = `This is an example of a multiline string` | "X";
34 let x4:UT2 = `This is an example of a multiline string`
[all …]
|