| /arkcompiler/ets_frontend/ets2panda/linter/test/main/ |
| D | functions.ts.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.ts.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.sts | 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 …]
|
| D | undefined_check_calls.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 … "suggest": "Argument of type 'undefined' is not assignable to parameter of type 'number[]'.",
24 … "rule": "Argument of type 'undefined' is not assignable to parameter of type 'number[]'.",
33 …"suggest": "Argument of type 'string | undefined' is not assignable to parameter of type 'Resource…
34 …"rule": "Argument of type 'string | undefined' is not assignable to parameter of type 'ResourceStr…
63 "suggest": "Argument of type 'undefined' is not assignable to parameter of type 'A'.",
64 "rule": "Argument of type 'undefined' is not assignable to parameter of type 'A'.",
73 "suggest": "Argument of type 'undefined' is not assignable to parameter of type 'A'.",
74 "rule": "Argument of type 'undefined' is not assignable to parameter of type 'A'.",
[all …]
|
| D | es_object.ts.json | 6 "You may obtain a copy of the License at",
12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.",
24 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
34 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
44 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
54 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
64 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
74 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
84 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
94 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
[all …]
|
| D | es_object.ts.arkts2.json | 6 "You may obtain a copy of the License at",
12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.",
24 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
34 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
44 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
54 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
64 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
74 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
84 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
94 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
[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/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/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/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/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/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/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 approach* to programming (OOP). The major notions of this approach are
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
96 A classical illustration is the notion of a list that represents the
97 ‘idea’ of an abstract data structure. This abstract notion can be turned
98 into a concrete list by providing additional information (i.e., the type of
102 *templates*) serves as the basis of the generic programming paradigm. It
[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 for the expressions related to coroutines
94 superclass, or the overridden method version of the superclass;
95 - *primaryExpression* that is to refer to an instance variable of a class,
96 interface, or function type after evaluation, unless the manner of the
100 If the form of *primaryExpression* is *thisExpression*, then the pattern
103 If the form of *primaryExpression* is *super*, then the pattern "``super?.``"
137 The *arguments* grammar rule refers to the list of arguments of a call. Only
[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/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/ets_frontend/ets2panda/linter/test/rules/ |
| D | rule151.ts.json | 6 "You may obtain a copy of the License at",
12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.",
24 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)",
34 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
44 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
54 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
64 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
74 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
84 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
94 "rule": "Usage of 'ESObject' type is restricted (arkts-limited-esobj)",
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/17.experimental_features/06.statements/01.for-of_type_annotation/ |
| D | for_of.params.yaml | 4 # You may obtain a copy of the License at
10 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
19 for (let v: int of arr) res += v
26 for (let v: int of arr!) res += v
33 for (const v: int of arr!) res += v
38 for (let v: char of "") res += v
45 for (let v: char of s!) res += v
52 for (const v: char of s!) res += v
56 // array of primitives (char)
59 for (let v: char of arr) res += v
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/parser/ets/ |
| D | class_as_object_1.sts | 5 * You may obtain a copy of the License at
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
19 /* @@? 16:13 Error TypeError: Class name can't be the argument of function or method. */
20 /* @@? 16:13 Error TypeError: Class name can't be the argument of function or method. */
21 /* @@? 16:13 Error TypeError: Class name can't be the argument of function or method. */
22 /* @@? 16:13 Error TypeError: Class name can't be the argument of function or method. */
23 /* @@? 16:13 Error TypeError: Class name can't be the argument of function or method. */
24 /* @@? 16:13 Error TypeError: Class name can't be the argument of function or method. */
25 /* @@? 16:13 Error TypeError: Class name can't be the argument of function or method. */
26 /* @@? 16:13 Error TypeError: Class name can't be the argument of function or method. */
[all …]
|