| /arkcompiler/ets_frontend/ts2panda/scripts/ |
| D | diagnosticMessages.json | 18 "A required parameter cannot follow an optional parameter.": {
42 "A 'declare' modifier cannot be used in an already ambient context.": {
46 "'{0}' modifier cannot be used in an ambient context.": {
62 "A rest parameter cannot have an initializer.": {
70 "'{0}' modifier cannot appear on an index signature.": {
74 "A '{0}' modifier cannot be used with an import declaration.": {
98 "A 'delete' cannot be called on an identifier in strict mode.": {
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.": {
126 "A 'continue' statement can only jump to a label of an enclosing iteration statement.": {
[all …]
|
| /arkcompiler/ets_runtime/test/typeinfer/automatedcases/ |
| D | inferentiallyTypingAnEmptyArray.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
22 // In the absence of a contextual type, the type of an array literal is C[], where C is the
25 // When an array literal is contextually typed(section 4.19) by an object type containing a
30 // While the spec does not say it, an inferential type causes an empty array literal to have
34 // Therefore, the following access to bar should not cause an error because we infer
|
| D | objectLiteralEnumPropertyNames.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
139 const an = 0; constant
140 AssertType(an, "int");
149 AssertType({ [an]: 5, [bn]: 6}, "{ 0: number; 1: number; }");
151 [an]: 5,
152 AssertType([an], "number");
153 AssertType(an, "int");
163 AssertType({ [an]: 7, [bn]: 8}, "{ 0: number; 1: number; }");
165 [an]: 7,
166 AssertType([an], "number");
[all …]
|
| D | noImplicitReturnsInAsync1.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
29 let x = await Promise.resolve("The test is passed without an error.");
31 AssertType(await Promise.resolve("The test is passed without an error."), "string");
32 AssertType(Promise.resolve("The test is passed without an error."), "Promise<string>");
34 AssertType("The test is passed without an error.", "string");
|
| D | infiniteExpansionThroughInstantiation2.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
22 // instantiating a derived type can cause an infinitely expanding type reference to be generated
23 // which could be used in an assignment check for constraint satisfaction
25 interface AA<T extends AA<T>> // now an error due to referencing type parameter in constraint
|
| D | duplicateAnonymousModuleClasses.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
33 // Should not be an error
51 // Should not be an error
70 // Should not be an error
|
| D | destructuringObjectBindingPatternAndAssignment1ES6.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
22 // An expression of type S is considered assignable to an assignment target V if one of the followi…
24 // V is an object assignment pattern and, for each assignment property P in V,
34 // V is an object assignment pattern and, for each assignment property P in V,
35 // S has an apparent property with the property name specified in
76 // V is an object assignment pattern and, for each assignment property P in V,
115 // V is an object assignment pattern and, for each assignment property P in V,
|
| D | destructuringObjectBindingPatternAndAssignment1ES5.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
22 // An expression of type S is considered assignable to an assignment target V if one of the followi…
24 // V is an object assignment pattern and, for each assignment property P in V,
34 // V is an object assignment pattern and, for each assignment property P in V,
35 // S has an apparent property with the property name specified in
76 // V is an object assignment pattern and, for each assignment property P in V,
115 // V is an object assignment pattern and, for each assignment property P in V,
|
| D | constEnum1.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
22 // An enum declaration that specifies a const modifier is a constant enum declaration.
24 // it is an error for a member declaration to specify an expression that isn't classified as a cons…
|
| D | moduleAliasInterface.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
32 // _modes. // produces an internal error - please implement in derived class
39 // If you just use p1:modes, the compiler accepts it - should be an error
41 constructor(p1: modes.IMode, p2: modes.Mode) { }// should be an error on p2 - it's not exported
|
| D | enumClassification.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
22 // An enum type where each member has no initializer or an initializer that specififes
24 // the enum type is classified as a literal enum type. An enum type that doesn't adhere
|
| D | ClassAndModuleThatMergeWithStaticVariableAndNonExportedVarThatShareAName.ts | 11 * distributed under the License is distributed on an "AS IS" BASIS,
29 let Origin = ""; // not an error, since not exported
41 let Origin = ""; // not an error since not exported
|
| /arkcompiler/runtime_core/libpandabase/ |
| D | README.md | 23 pandargs API consists of two major entities: template class `PandArg`, which represents an argument…
30 To create an argument, it's template constructor should be called. Here is an instance:
55 Template parameter is an argument type. Following values could be passed:
64 `arg_list_t` is a type, declared in `pandargs.h` under `panda` namespace, which is an alias for `st…
67 - `PandArgType GetType()` - returns type of an argument
68 - `std::string GetName()` - returns name of an argument
69 - `std::string GetDesc()` - returns description of an argument
70 - `T GetValue()` - returns value of an argument depending on it's type
71 - `T GetDefaultValue()` - returns default value of an argument
72 - `void SetValue(T val)` - set value of an argument
[all …]
|
| /arkcompiler/runtime_core/compiler/docs/ |
| D | aot_cha.md | 7 …class path influences on resulting class hierarchy that would be available for an application. As a
29 --paoc-output application.an \
32 --aot-files=application.an \
42 --paoc-output application.an \
45 --aot-files=application.an \
48 [TID 0073b5] E/aot: Failed to load AoT file: Cannot use 'application.an'.
61 …formed during Runtime initialization when only boot panda files are loaded. The verification of .an
62 files for boot panda files is needed when the options `--enable-an` is used.
64 Since the AOT file can be compiled on one host system and executed on different target, we need an …
68 …ust match between `ark_aot` and `ark`. It means, that if you are compiling an AOT file for boot pa…
|
| D | paoc.md | 3 `Paoc` is an application to launch compiler on [panda binary files](../../docs/file_format.md).
5 1. `AOT-mode` (default) - compile the files and produce an executable;
6 …2. `JIT-mode` - only run compiler (IR builder, optimizations) without generating an executable. Th…
36 Default is `out.an`.
75 `paoc` has an option to apply clusters of special compiler options (different from default and pass…
|
| D | avoid-calculating-start-of-array.md | 5 Since accessing an array element is done via an object and an element index,
20 Detect multiple array accesses to an array that belong to one basic block or
|
| /arkcompiler/runtime_core/docs/ |
| D | aot.md | 8 AOT file has `.an` extension and it is a valid ELF file.
121 - `--output` - path to the output AOT file (default is `out.an`)
134 `ark --aot-file file.an file.abc _GLOBAL::main`
140 `ark_aot --panda-files=file1.abc:file2.abc --output file.an`
148 ark_aot --panda-files file.abc --output file.an
149 ark --aot-file file.an file.abc _GLOBAL::main
152 ark_aot --panda-files file.abc --output file.an
153 ark --aot-file file.an /local/data/tmp/file.abc _GLOBAL::main
156 ark_aot --panda-files file.abc --output file.an --location /local/data/tmp
157 ark --aot-file file.an /local/data/tmp/file.abc _GLOBAL::main
[all …]
|
| D | rationale-for-bytecode.md | 10 Before discussing bytecode per se, let's take a look at an over-simplified picture of a real
16 directly on the CPU) or _memory_ (some locations in computer's RAM). An important subset of memory
26 Here comes the bytecode. Simply said, it is an attempt to build an abstract CPU on top of real
38 to distinguish between an abstract system and the hardware.
45 One very important question is how an operation refers to its operands.
77 just a single register-based instruction. Since the interpreter has an extra work to do to read
111 be an accumulator register. Having an implicitly addressed accumulator register de facto borrows
112 some "stack-based'ness" into an otherwise register-based instruction set in attempt to make the
115 In an ideal case, accumulator register may safe us ~25% of size. But it needs to be used carefully:
165 How to make sure that we benefit from the shorter encoding most of the time? An observation shows
[all …]
|
| D | assembly_format.md | 86 There are keys that indicate that a function must not have an implementation. The absence of these …
103 | `external` | Marks an externally defined function. Does not require value. |
104 | `native` | Marks an externally defined function. Does not require value. |
125 | `external` | Marks an externally defined record. Does not require value. |
131 | `external` | Marks an externally defined field. Does not require value. |
132 | `static` | Marks an statically defined field. Does not require value. |
305 * `FunctionName`, `ArgumentType0`, ... `ArgumentTypeN`, `a0`, ... `aN` are valid identifiers.
306 * All `a0`, ... `aN` are unique within the argument list of the function.
311 By convention, all arguments are named `a0`, ... `aN` and all local variables are named `v0`, ... `…
352 …an array of strings as its single argument may serve as a program entry point. The name of the ent…
[all …]
|
| D | file_format.md | 40 having an offset to an entity it doesn't matter whether the entity is local or foreign.
42 Runtime can easily check type of an offset by checking it is in the foreign region
53 An offset cannot contain values in the range *\[0; 32)*, except for specially mentioned cases.
150 | `ACC_ENUM` | `0x4000` | Declared as an element of an enum. |
176 | `ACC_INTERFACE` | `0x0200` | Is an interface, not a class. |
179 | `ACC_ANNOTATION` | `0x2000` | Declared as an annotation type. |
180 | `ACC_ENUM` | `0x4000` | Declared as an enum type. |
212 …first entity. Runtime should use `foreign_off` and `foreign_size` to determine type of an offset. |
251 It is organized as an array of [RegionHeader](#regionheader) structures.
265 …ionIndex`](#classregionindex) structure. Corresponding index entry must be an offset to a [Class](…
[all …]
|
| /arkcompiler/ets_frontend/es2panda/ir/expressions/ |
| D | updateExpression.cpp | 10 * distributed under the License is distributed on an "AS IS" BASIS,
62 …checker->ThrowTypeError("An arithmetic operand must be of type 'any', 'number', 'bigint' or an enu… in Check()
67 …argument_, "The operand of an increment or decrement operator must be a variable or a property acc… in Check()
68 "The operand of an increment or decrement operator may not be an optional property access"); in Check()
|
| /arkcompiler/ets_frontend/es2panda/typescript/core/ |
| D | binaryLikeExpression.cpp | 10 * distributed under the License is distributed on an "AS IS" BASIS,
62 … "The left-hand side of an arithmetic operation must be of type 'any', 'number', 'bigint' or an " in CheckBinaryOperator()
70 … "The right-hand side of an arithmetic operation must be of type 'any', 'number', 'bigint' or an " in CheckBinaryOperator()
177 ThrowTypeError({"The left-hand side of an 'instanceof' expression must be of type 'any',", in CheckInstanceofExpression()
178 " an object type or a type parameter."}, in CheckInstanceofExpression()
184 ThrowTypeError({"The right-hand side of an 'instanceof' expression must be of type 'any'", in CheckInstanceofExpression()
201 …{"The left-hand side of an 'in' expression must be of type 'any',", " 'string', 'number', or 'symb… in CheckInExpression()
207 …ThrowTypeError("The right-hand side of an 'in' expression must not be a primitive.", rightExpr->St… in CheckInExpression()
218 … leftExpr, "the left hand side of an assigment expression must be a variable or a property access", in CheckAssignmentOperator()
219 … "The left-hand side of an assignment expression may not be an optional property access."); in CheckAssignmentOperator()
|
| /arkcompiler/runtime_core/tests/verifier-tests/ |
| D | bug_2085.pa | 9 # distributed under the License is distributed on an "AS IS" BASIS,
18 # description: 'Get field value from an object by field id and put it into accumulator.
34 # Check that verifier reports an error when the 1st operand is not a ref to an object (other than…
|
| /arkcompiler/toolchain/build/config/ |
| D | arm.gni | 9 # distributed under the License is distributed on an "AS IS" BASIS,
25 # An empty string means to use the default for the arm_version.
29 # "vfpv3". An empty string means to use the default for the arm_version.
33 # "softfp". An empty string means to use the default one for the
38 # or "cortex-a15". An empty string means to use the default for the
|
| /arkcompiler/ets_runtime/ecmascript/base/tests/ |
| D | error_helper_test.cpp | 10 * distributed under the License is distributed on an "AS IS" BASIS,
169 JSHandle<JSTaggedValue> errorMsg(factory->NewFromASCII("You have an Error!")); in HWTEST_F_L0()
180 "You have an Error!"); in HWTEST_F_L0()
183 JSHandle<JSTaggedValue> evalErrorMsg(factory->NewFromASCII("You have an eval error!")); in HWTEST_F_L0()
194 "You have an eval error!"); in HWTEST_F_L0()
223 JSHandle<JSTaggedValue> rangeErrorMsg(factory->NewFromASCII("You have an range error!")); in HWTEST_F_L0()
235 "You have an range error!"); in HWTEST_F_L0()
238 JSHandle<JSTaggedValue> uriErrorMsg(factory->NewFromASCII("You have an uri error!")); in HWTEST_F_L0()
249 "You have an uri error!"); in HWTEST_F_L0()
252 JSHandle<JSTaggedValue> oomErrorMsg(factory->NewFromASCII("You have an out of memory error!")); in HWTEST_F_L0()
[all …]
|