| /arkcompiler/ets_frontend/ets2panda/linter/test/ |
| 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.",
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)"
91 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.",
92 "rule": "Argument of type 'null' is not assignable to parameter of type 'string'."
98 "suggest": "Argument of type 'null' is not assignable to parameter of type 'string'.",
[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.",
22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
29 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
36 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
43 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
50 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
57 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
64 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
71 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
[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 | limited_stdlib_api.ts.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)"
29 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)"
36 "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)"
64 "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 …]
|
| 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.",
28 "suggest": "Argument of type 'null' is not assignable to parameter of type 'number[]'.",
29 "rule": "Argument of type 'null' is not assignable to parameter of type 'number[]'."
35 "suggest": "Argument of type 'null' is not assignable to parameter of type 'number'.",
36 "rule": "Argument of type 'null' is not assignable to parameter of type 'number'."
42 …"suggest": "Argument of type 'number | null' is not assignable to parameter of type 'number'.\n T…
43 …"rule": "Argument of type 'number | null' is not assignable to parameter of type 'number'.\n Type…
49 …"suggest": "Argument of type 'number | null' is not assignable to parameter of type 'number'.\n T…
50 …"rule": "Argument of type 'number | null' is not assignable to parameter of type 'number'.\n Type…
|
| /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/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/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/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/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 | 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.
49 The actions that every statement performs in a normal mode of execution are
50 specific for the particular kind of that statement. The normal modes of
51 evaluation for each kind of statement are described in the following
64 normal mode of execution
90 The execution of a statement leads to the execution of the expression. The
91 result of such execution is discarded.
109 A sequence of statements (see :ref:`Statements`) enclosed in balanced braces
118 The execution of a block means that all block statements, except type
[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
92 superclass, or the overridden method version of the superclass;
93 - *primaryExpression* that is to refer to an instance variable of a class
94 or interface type after evaluation, unless the manner of the evaluation
97 If the form of *primaryExpression* is *thisExpression*, then the pattern
100 If the form of *primaryExpression* is *super*, then the pattern "super?."
118 The *arguments* grammar rule refers to the list of arguments of a call. Only
[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.",
22 "rule": "Use explicit types instead of \"any\", \"unknown\" (arkts-no-any-unknown)"
29 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
36 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
43 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
50 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
57 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
64 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
71 "rule": "Usage of \"ESObject\" type is restricted (arkts-limited-esobj)"
[all …]
|
| D | rule5.ts.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 \"let\" instead of \"var\" (arkts-no-var)"
29 "rule": "Use \"let\" instead of \"var\" (arkts-no-var)"
36 "rule": "Use \"let\" instead of \"var\" (arkts-no-var)"
43 "rule": "Use \"let\" instead of \"var\" (arkts-no-var)"
57 "rule": "Use \"let\" instead of \"var\" (arkts-no-var)"
64 "rule": "Use \"let\" instead of \"var\" (arkts-no-var)"
71 "rule": "Use \"let\" instead of \"var\" (arkts-no-var)"
78 "rule": "Use \"let\" instead of \"var\" (arkts-no-var)"
[all …]
|
| D | rule144.ts.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)"
29 "rule": "Usage of standard library is restricted (arkts-limited-stdlib)"
36 "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)"
64 "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/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/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/runtime_core/static_core/tests/cts-generator/cts-template/ |
| D | isinstance.yaml | 4 # You may obtain a copy of the License at
10 # WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
29 …Resolve object type by specified id and if an object in accumulator is an instance of the resolved…
31 …Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T shou…
32 …type in type hierarchy or T is such array that O array elements are the same or subtype of T array…
39 description: Check that null object reference is not an instance of any class
42 'null' object is not an instance of any class.
161 …Resolve object type by specified id and if an object in accumulator is an instance of the resolved…
163 …Object of type O is instance of type T if O is the same as T or is subtype of T. For arrays T shou…
164 …ype hierarchy or T is such array that O array elements are the same or subtype of T array elements.
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/stdlib/std/core/ |
| D | Short.sts | 5 * You may obtain a copy of the License at
11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
50 * Returns value of this instance as a primitive
52 * @returns value of this instance
59 * Returns boxed representation of the primitive
81 * Size of this type in bits
86 * Size of this type in bytes
91 * Returns value of this instance
100 * Returns value of this instance
109 * Returns value of this instance
[all …]
|