| /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/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/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/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/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/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/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 95 A classical illustration is the notion of a list that represents the 96 ‘idea’ of an abstract data structure. This abstract notion can be turned 97 into a concrete list by providing additional information (the type of 101 or ‘templates’) serves as the basis of the generic programming [all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter-4.2/test/ |
| D | functions.ts.relax.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 29 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 50 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 57 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 64 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 84 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.", 85 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'." 91 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.", [all …]
|
| D | functions.ts.strict.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 29 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 36 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 57 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 64 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 78 … "rule": "Use generic functions instead of generic arrow functions (arkts-no-generic-lambdas)" 98 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.", 99 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'." [all …]
|
| D | es_object.ts.strict.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 29 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 36 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 43 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 50 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 57 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 64 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 71 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" [all …]
|
| D | es_object.ts.relax.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 29 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 36 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 43 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 50 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 57 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 64 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 71 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" [all …]
|
| D | functions.ts.autofix.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 31 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 39 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 63 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 79 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 87 … "rule": "Use generic functions instead of generic arrow functions (arkts-no-generic-lambdas)" 110 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.", 111 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'." [all …]
|
| D | for_stmts.ts | 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 | limited_stdlib_api.ts.relax.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 22 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)" 36 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)" 43 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)" 50 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)" 57 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)" 71 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)" 78 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)" 85 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)" [all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/ |
| D | functions.ts.relax.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 29 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 50 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 57 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 64 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 84 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.", 85 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'." 91 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.", [all …]
|
| D | functions.ts.strict.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 29 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 36 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 57 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 64 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 78 … "rule": "Use generic functions instead of generic arrow functions (arkts-no-generic-lambdas)" 98 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.", 99 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'." [all …]
|
| D | es_object.ts.relax.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 29 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 36 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 43 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 50 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 57 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 64 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 71 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" [all …]
|
| D | es_object.ts.strict.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 29 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 36 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 43 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 50 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 57 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 64 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" 71 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobject)" [all …]
|
| D | functions.ts.autofix.json | 6 "You may obtain a copy of the License at", 12 "WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.", 31 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 39 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 63 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 71 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 79 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)" 87 … "rule": "Use generic functions instead of generic arrow functions (arkts-no-generic-lambdas)" 110 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.", 111 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'." [all …]
|
| D | for_stmts.ts | 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/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/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/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 …]
|