| /arkcompiler/ets_frontend/ets2panda/linter-4.2/docs/rules/ |
| D | recipe151.md | 11 Such variables can only be initialized with values that originate from interop:
14 Varaible of type ``ESObject`` can only be passed to interop calls and assigned to other
27 let e0: ESObject = foo(); // CTE - ``ESObject`` typed variable can only be local
31 let e2: ESObject = 1; // CTE - can't initialize ESObject with not dynamic values
32 let e3: ESObject = {}; // CTE - can't initialize ESObject with not dynamic values
33 let e4: ESObject = []; // CTE - can't initialize ESObject with not dynamic values
34 let e5: ESObject = ""; // CTE - can't initialize ESObject with not dynamic values
37 e6['prop'] // CTE - can't access dynamic properties of ESObject
38 e6[1] // CTE - can't access dynamic properties of ESObject
39 e6.prop // CTE - can't access dynamic properties of ESObject
|
| /arkcompiler/ets_frontend/ets2panda/linter/docs/rules/ |
| D | recipe151.md | 11 Such variables can only be initialized with values that originate from interop:
14 Varaible of type ``ESObject`` can only be passed to interop calls and assigned to other
27 let e0: ESObject = foo(); // CTE - ``ESObject`` typed variable can only be local
31 let e2: ESObject = 1; // CTE - can't initialize ESObject with not dynamic values
32 let e3: ESObject = {}; // CTE - can't initialize ESObject with not dynamic values
33 let e4: ESObject = []; // CTE - can't initialize ESObject with not dynamic values
34 let e5: ESObject = ""; // CTE - can't initialize ESObject with not dynamic values
37 e6['prop'] // CTE - can't access dynamic properties of ESObject
38 e6[1] // CTE - can't access dynamic properties of ESObject
39 e6.prop // CTE - can't access dynamic properties of ESObject
|
| /arkcompiler/runtime_core/tests/cts-generator/cts-template/ |
| D | checkcast.yaml | 48 Resolve object type by specified id and if an object in accumulator can be cast to the
58 description: Check that null object reference can be cast to any type
61 'null' object reference can be cast to every type.
100 description: Check that null object reference can be cast to any type
103 'null' object reference can be cast to every type.
150 description: Check that null object reference can be cast to any array type
153 'null' object reference can be cast to every type.
193 description: Check that null object reference can be cast to any array type
196 'null' object reference can be cast to every type.
243 description: Check that any object can be cast to the base type
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/tutorial/ |
| D | classes.rst | 38 After the class is defined, its instances can be created by using
46 Similarly, an instance can be created by using object literals:
62 Classes can have instance fields, static fields, or both.
144 // that name can be undefined. The most correct would be
193 // name can be "undefined", so we cannot say to those who use this API
219 Setters and getters can be used to provide controlled access to object
243 A class can define a getter, a setter, or both.
252 A class can define instance methods, static methods, or both.
253 A ``static`` method belongs to the class itself. It can access
255 An instance method can access both ``static`` (class) fields
[all …]
|
| D | generics.rst | 26 A class and an interface can be defined as generics, adding parameters to the
61 Type parameters of generic types can have constraints. For example, the ``Key``
78 of ``Hashable`` interface can be called for keys.
85 A generic function can be used to create a more universal code. Consideration
86 can be given to a function that returns the last element of the array:
95 If the same function needs to be defined for any array, then it can be
104 The function defined so can be used with any array.
106 In a function call, type argument can be set explicitly or implicitly:
123 Type parameters of generic types can have defaults.
|
| D | functions.rst | 37 the corresponding argument of an optional parameter can be omitted. The last
38 parameter of a function can be a rest parameter (see below).
74 The last parameter of a function can be a rest parameter. As a result,
75 functions or methods can take an unlimited number of arguments:
95 then it can be omitted from the function declaration:
105 If the function return type does not need to return a value, then it can
173 A function can be defined as an arrow function, for example:
184 An expression can be specified as an arrow function to make the notation
198 function, it can access all variables defined in the outer function.
222 Overload signatures can be written to specify that a function can be called
|
| /arkcompiler/ets_frontend/test/scripts/sdk_test/ |
| D | readme.md | 3 This test suite can perform end-to-end SDK test verification. There are two ways to perform verific…
5 2) Verify if the application of the compiled package can run normally (this feature is under develo…
15 …rs of Deveco and the test application. Detailed configuration instructions can be found in the fil…
16 …ew test application, you can modify the config.yaml configuration file and add the configuration u…
27 By default, it will run all the test items. Optional parameters can be viewed through `--help`.
|
| /arkcompiler/runtime_core/static_core/tests/cts-generator/cts-template/ |
| D | checkcast.yaml | 27 Resolve object type by specified id and if an object in accumulator can be cast to the
36 description: Check that null object reference can be cast to any type
39 'null' object reference can be cast to every type.
76 description: Check that null object reference can be cast to any array type
79 'null' object reference can be cast to every type.
117 description: Check that any object can be cast to the base type
119 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
159 description: Check that any object can be cast to its type
161 … description: Object of type O can be cast to type T if O is the same as T or is subtype of T.
201 description: Check that any array can be cast to base type
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/ |
| D | es_object.ts | 176 foo2({ k: 'k', h: {t: 1}}) // we can assign anything to the esobject, even untyped literal
177 let q1: ESObject = 1; // CTE - ``ESObject`` typed variable can only be local
178 let q2: ESObject = fooOh(); // CTE - ``ESObject`` typed variable can only be local
179 let q3: ESObject = q2; // CTE - ``ESObject`` typed variable can only be local
182 let e2: ESObject = 1; // CTE - can't initialize ESObject with not dynamic values
183 let e3: ESObject = {}; // CTE - can't initialize ESObject with not dynamic values
184 let e4: ESObject = []; // CTE - can't initialize ESObject with not dynamic values
185 let e5: ESObject = ""; // CTE - can't initialize ESObject with not dynamic values
188 e6['prop'] // CTE - can't access dynamic properties of ESObject
189 e6[1] // CTE - can't access dynamic properties of ESObject
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter-4.2/test/ |
| D | es_object.ts | 176 foo2({ k: 'k', h: {t: 1}}) // we can assign anything to the esobject, even untyped literal
177 let q1: ESObject = 1; // CTE - ``ESObject`` typed variable can only be local
178 let q2: ESObject = fooOh(); // CTE - ``ESObject`` typed variable can only be local
179 let q3: ESObject = q2; // CTE - ``ESObject`` typed variable can only be local
182 let e2: ESObject = 1; // CTE - can't initialize ESObject with not dynamic values
183 let e3: ESObject = {}; // CTE - can't initialize ESObject with not dynamic values
184 let e4: ESObject = []; // CTE - can't initialize ESObject with not dynamic values
185 let e5: ESObject = ""; // CTE - can't initialize ESObject with not dynamic values
188 e6['prop'] // CTE - can't access dynamic properties of ESObject
189 e6[1] // CTE - can't access dynamic properties of ESObject
[all …]
|
| /arkcompiler/runtime_core/static_core/docs/ |
| D | doxygen.config | 12 # For lists, items can also be appended using:
37 # The PROJECT_NUMBER tag can be used to enter a project or revision number. This
43 # Using the PROJECT_BRIEF tag one can provide an optional one line description
49 # With the PROJECT_LOGO tag one can specify a logo or an icon that is included
66 # option can be useful when feeding doxygen a huge amount of source files, where
155 # The STRIP_FROM_PATH tag can be used to strip a user-defined part of the path.
157 # part of the path. The tag can be used to show relative paths in the file list.
161 # Note that you can specify absolute paths here, but also relative paths, which
167 # The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of the
177 # less readable) file names. This can be useful is your file systems doesn't
[all …]
|
| D | memory-management-SW-requirements.md | 12 Garbage collector(GC) automatically recycles memory that it can prove will never be used again.
21 - Arena Allocator (objects can be deallocated at once(list of arenas, almost at once - O(number of …
37 - Concurrent generational GC (optional - we can disable generational mode)
51 We can use profile to choose MM configuration for application (for example: we can choose non-compa…
|
| /arkcompiler/runtime_core/docs/ |
| D | doxygen.config | 12 # For lists, items can also be appended using:
37 # The PROJECT_NUMBER tag can be used to enter a project or revision number. This
43 # Using the PROJECT_BRIEF tag one can provide an optional one line description
49 # With the PROJECT_LOGO tag one can specify a logo or an icon that is included
66 # option can be useful when feeding doxygen a huge amount of source files, where
155 # The STRIP_FROM_PATH tag can be used to strip a user-defined part of the path.
157 # part of the path. The tag can be used to show relative paths in the file list.
161 # Note that you can specify absolute paths here, but also relative paths, which
167 # The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of the
177 # less readable) file names. This can be useful is your file systems doesn't
[all …]
|
| D | 2022-08-18-isa-changelog.md | 14 2. We remove the prefix of ecmascript specific opcodes, such that most of the bytecode opcode can b…
18 …of some opcodes (about immediate number and accumulator), so that the bytecode can be more compact.
24 such that runtime can distinguish the "define-function" operations of different kinds.
25 We also add header index in function such that runtime can access IndexHeader more efficiently.
34 such that the instructions can get consective indexes for methodId, stringId and literalarrayId.
46 4. The layout of literalarrays can be random.
|
| D | memory-management-SW-requirements.md | 12 Garbage collector(GC) automatically recycles memory that it can prove will never be used again.
21 - Arena Allocator (objects can be deallocated at once(list of arenas, almost at once - O(number of …
37 - Concurrent generational GC (optional - we can disable generational mode)
51 We can use profile to choose MM configuration for application (for example: we can choose non-compa…
|
| /arkcompiler/runtime_core/static_core/compiler/docs/ |
| D | lse_doc.md | 8 …ated that the optimization increases the register pressure and as a result can increase the amount…
18 Algorithm needs to know that two memory instructions access the same memory address. This can be d…
21 * `MAY_ALIAS` if analysis can't say with confidence whether the instructions access the same memor…
27 …ies to read a value that was written by store instruction above, this load can be eliminated becau…
29 …empty heap is an initial value for loop headers as well because back edges can rewrite the heap va…
35 …re and a stored value is equal to value from heap for this store then this store can be eliminated.
37 - if the instruction is a load and there is a value from the heap for this load then this load can …
39 - If the instruction can invoke GC then all references on the heap that aren't mentioned in corresp…
43 All instructions that can be eliminated are recorded in a separate list for eliminated instructions…
45 …der is empty. But still there is a case when we can use collected heap of loop preheader (e.g. if …
[all …]
|
| D | bridges.md | 4 This is a tool that can be used in optimizations that can break correct state of SaveStates.
11 Some optimisations can break correct state of `SaveStates` and if in this case GC is triggered betw…
17 …to the `source` and we are looking for SS that need to be fixed. We always can do it, because we s…
36 …State v7 GC can be triggered. So obj `1.ref` can be deleted or moved, but the pointer will not cha…
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/cookbook/ |
| D | why.rst | 23 notorious for unexpected runtime errors. For example, a developer can forget
39 engines can optimize such checks greatly, but these checks cannot be
47 The examples below are to explain how |LANG| can help to improve program
74 // that name can be undefined. The most correct would be
108 If ``name`` can be ``undefined``, then it also must be specified explicitly:
120 // name can be "undefined", so we cannot say to those who use this API
141 This case demonstrates how the stability and correctness of code can be
163 ``notify(null, undefined)``---can be passed to the function. Then the program
185 function can turn into a performance problem.
187 However, if we can guarantee to the execution engine that the values passed
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/spec/ |
| D | 1_intro.rst | 76 on). A module can communicate with other modules by exporting all or some
91 Some program entities in |LANG| can be *type-parameterized*. This means that
92 an entity can represent a very high-level (abstract) concept. Providing more
96 ‘idea’ of an abstract data structure. This abstract notion can be turned
120 development’). It can generate optimized applications capable of operating
139 Java users who can sense the meaning of most constructs of the new language
207 how sequences of tokens can form syntactically correct programs.
240 sequences of terminal symbols that can result from repeatedly replacing
249 Grammars can use the following additional symbols---sometimes called
258 - Asterisk '\*' to mark a *terminal* or *nonterminal* that can occur zero
[all …]
|
| /arkcompiler/ets_frontend/ts2panda/scripts/ |
| D | diagnosticMessages.json | 22 "The 'readonly' modifier can only appear on a property declaration or index signature.": {
102 "A 'continue' statement can only be used within an enclosing iteration statement.": {
106 "A 'break' statement can only be used within an enclosing iteration or switch statement.": {
114 "A 'return' statement can only be used within a function body.": {
126 "A 'continue' statement can only jump to a label of an enclosing iteration statement.": {
130 "A 'break' statement can only jump to a label of an enclosing statement.": {
170 "The 'const' declarations can only be declared inside a block.": {
178 "The 'let' declarations can only be declared inside a block.": {
202 "Classes can only extend a single class.": {
282 "An import declaration can only be used in a namespace or module.": {
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/stdlib/escompat/ |
| D | Global.ets | 121 * @returns unconditionally returns `false`. Integral types can not be `NaN`.
130 * @returns unconditionally returns `false`. Integral types can not be `NaN`.
139 * @returns unconditionally returns `false`. Integral types can not be `NaN`.
148 * @returns unconditionally returns `false`. Integral types can not be `NaN`.
157 * @returns unconditionally returns `false`. Integral types can not be `NaN`.
166 * @returns unconditionally returns `false`. Integral types can not be `NaN`.
175 * @returns unconditionally returns `false`. Integral types can not be `NaN`.
184 * @returns unconditionally returns `false`. Integral types can not be `NaN`.
237 * @returns unconditionally returns `true`. Integral types can not be `NaN` or `Infinity`.
246 * @returns unconditionally returns `true`. Integral types can not be `NaN` or `Infinity`.
[all …]
|
| /arkcompiler/runtime_core/static_core/docs/bc_verification/ |
| D | absint_checks.md | 27 They can help to detect usage of inconsistent information in registers in exception handlers.
29 ### Checks of exceptions, that can be thrown in runtime
33 This is definitely not normal mode of control-flow in code, so verifier can detect such situations …
37 Can help inconsistency between method signature and type of actual return value
|
| /arkcompiler/runtime_core/docs/bc_verification/ |
| D | absint_checks.md | 27 They can help to detect usage of inconsistent information in registers in exception handlers.
29 ### Checks of exceptions, that can be thrown in runtime
33 This is definitely not normal mode of control-flow in code, so verifier can detect such situations …
37 Can help inconsistency between method signature and type of actual return value
|
| /arkcompiler/runtime_core/static_core/compiler/optimizer/optimizations/ |
| D | code_sink.cpp | 46 * Generally we can move only instructions with no side-effects.
47 * We can't move:
50 * - Instructions that can throw an exception
64 // Iteratively sink instructions. On each iteration an instruction can be in RunImpl()
92 * If instruction can be sunk, it is erased from it's basic block and inserted
140 …* Check that an instruction can be sunk. Then check that dominated blocks are acceptable for sink…
152 // Check that instruction can be sunk in SinkInstruction()
154 …// We can't move instruction with REFERENCE input throw SaveState(GC can moved or delete the objec… in SinkInstruction()
215 ASSERT_PRINT(loop == candLoop || loop->IsInside(candLoop), "Can sink only into outer loop"); in IsAcceptableTarget()
221 …// We can't insert instruction before Phi, therefore do not sink into blocks where one of users is… in IsAcceptableTarget()
|
| /arkcompiler/ets_frontend/ets2panda/linter-4.2/test_rules/ |
| D | rule111.ts.strict.json | 8 …"rule": "Enumeration members can be initialized only with compile time expressions of the same typ…
15 …"rule": "Enumeration members can be initialized only with compile time expressions of the same typ…
22 …"rule": "Enumeration members can be initialized only with compile time expressions of the same typ…
|