Searched full:must (Results 1 – 25 of 1484) sorted by relevance
12345678910>>...60
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_test_suite/strings/ |
| D | string_api.sts | 35 assert chars.length == 5: "Chars length must be 5";
36 assert chars[0] == c'h': "First letter must be `h`";
37 assert chars[1] == c'e': "Second letter must be `e`";
38 assert chars[2] == c'l': "Third letter must be `l`";
39 assert chars[3] == c'l': "Fourth letter must be `l`";
40 assert chars[4] == c'o': "Fifth letter must be `o`";
44 assert byteChars[0] == 98: "First byte must be 98";
45 assert byteChars[1] == 121: "Second byte must be 121";
46 assert byteChars[2] == 116: "Third byte must be 116";
47 assert byteChars[3] == 101: "Fourth byte must be 101";
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/linter/test/ |
| D | sendable_explicit_field_type.ts.json | 134 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
141 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
148 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
155 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
169 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
176 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
183 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
190 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
197 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
204 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
[all …]
|
| D | object_literals_autofixes.ts.json | 29 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
36 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
50 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
57 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
64 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
71 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
78 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
85 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
92 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
99 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
|
| D | object_literals_3.ts.json | 22 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
29 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
43 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
50 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
57 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
64 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
71 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
78 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
85 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
92 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
|
| D | sendable_generic_types.ts.json | 21 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
28 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
35 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
42 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
70 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
77 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
84 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
91 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
98 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
105 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
[all …]
|
| D | object_literals_autofixes.ts.autofix.json | 41 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
60 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
86 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
105 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
112 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
131 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
150 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
169 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
176 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
195 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
|
| D | sendable_class_interface_property.ts.json | 29 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
36 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
43 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
50 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
57 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
64 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
71 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
78 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
85 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
92 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
[all …]
|
| D | destructuring_for_loop.ts.json | 29 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
36 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
43 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
50 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
85 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
92 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
99 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
106 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
113 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
|
| D | destructuring_declarations.ts.json | 29 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
43 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
57 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
64 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
78 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
85 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
92 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
176 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
183 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
197 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
[all …]
|
| D | object_literals_3.ts.autofix.json | 34 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
53 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
79 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
98 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
117 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
136 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
143 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
150 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
157 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
164 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
|
| D | object_literals_2.ts.autofix.json | 34 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
41 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
48 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
55 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
62 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
69 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
76 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
83 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
90 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
97 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
|
| D | object_literals.ts.autofix.json | 60 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
93 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
100 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
107 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
114 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
121 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
128 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
135 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
161 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
208 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/checked/ |
| D | string_split_test.sts | 29 let str = "It can't be - there must be a gap in between!";
31 assert arr.length == 11: "Length must be 11";
32 assert arr[0].equals("It"): "First substring must be `It`";
33 assert arr[1].equals("can't"): "Second substring must be `can't`";
34 assert arr[2].equals("be"): "Third substring must be `be`";
35 assert arr[3].equals("-"): "Third substring must be `-`";
36 assert arr[4].equals("there"): "Third substring must be `there`";
37 assert arr[5].equals("must"): "Third substring must be `must`";
38 assert arr[6].equals("be"): "Third substring must be `be`";
39 assert arr[7].equals("a"): "Third substring must be `a`";
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_test_suite/gc/ |
| D | pin_object.sts | 18 assert obj != null : "Allocated object must not be null";
20 …assert GC.getObjectSpaceType(obj) == GC.YOUNG_SPACE : "The object before GC must be placed in youn…
26 …assert GC.getObjectSpaceType(obj) == GC.TENURED_SPACE : "The pinned object after GC must be placed…
29 assert addr_before_gc == addr_after_gc : "Pinned object must has a fixed address.\n" +
36 assert obj != null : "Allocated object must not be null";
37 …assert GC.getObjectSpaceType(obj) == GC.TENURED_SPACE : "The pinned array after GC must be placed …
45 assert addr_before_gc == addr_after_gc : "Pinned array must has a fixed address.\n" +
58 assert detected == true: "GC.pinObject must throw NullPointerError for null object";
69 assert detected == true: "GC.unpinObject must throw NullPointerError for null object";
80 assert detected == 1: "Boolean array pinning must throw NegativeArraySizeError";
[all …]
|
| D | weak_ref_test.sts | 19 assert obj != null : "New object must be correctly allocated";
26 assert obj != null : "New string object must be correctly allocated";
44 assert wr.deref() === undefined : "Object referent must be collected after Full GC";
45 assert wrs.deref() === undefined : "String referent must be collected after Full GC";
46 assert reachable_obj != null : "Local object must not be collected"
48 "must return non-undefined value";
|
| D | space_type_test.sts | 17 …assert GC.getObjectSpaceType("spaceTypeTest") == GC.NON_MOVABLE_SPACE : "Must be non movable space…
22 assert GC.getObjectSpaceType(obj) == GC.YOUNG_SPACE : "Must be young space";
27 assert GC.getObjectSpaceType(obj) == GC.TENURED_SPACE : "Must be tenured space";
33 assert GC.getObjectSpaceType(h_obj) == GC.HUMONGOUS_SPACE: "Must be humongous space";
44 assert detected == true: "getObjectSpaceType must throw NullPointerError for null argument";
57 assert false: "Space allocation test must not throw exceptions";
|
| /arkcompiler/ets_frontend/ets2panda/linter/test_rules/ |
| D | rule38.ts.json | 22 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
29 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
36 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
43 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
50 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
57 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
64 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
71 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
78 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
85 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
|
| D | rule38.ts.autofix.json | 34 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
41 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
48 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
55 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
62 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
69 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
76 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
83 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
90 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
97 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_func_tests/escompat/ |
| D | ReflectGetBadCases.sts | 59 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
65 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
71 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
77 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
83 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
89 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
95 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
101 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
107 … result += e.toString().contains("`target` argument of Reflect.get must have fields", 0) ? 0 : 1
115 … result += e.toString().contains("`target` argument of Reflect.get must be indexed", 0) ? 0 : 1
[all …]
|
| /arkcompiler/ets_frontend/ets2panda/test/compiler/ets/ |
| D | union_types_3.sts | 18 assert (x0 as int) * 2 == 4: "Error! Must be 4";
20 assert (x0 as int) * 3 == -6: "Error! Must be -6";
22 assert (x0 as boolean) == true: "Error! Must be true";
24 assert ((x0 as String) + "STR2").equals("STR1STR2"): "Error! Must be `STR1STR2`";
27 assert (x1 as String).equals("AAA"): "Error! Must be `AAA`";
30 assert (x2 as boolean) == true: "Error! Must be `true`";
32 // assert (x3 as double) == 3.14: "Error! Must be `3.14`"; // #15576
33 assert (x3 as Double) == 3.14: "Error! Must be `3.14`";
|
| D | union_types_1.sts | 37 assert xx.num_to_return() == 777: "Error! The num field of class `C` must be 777";
42 assert x.num == 777: "Error! The num field of union must be 777";
44 assert a == 780: "Error! Variable 'a' must be 780";
46 assert x.num == 1000: "Error! The num field of union must be 1000";
53 assert x.num == 1000: "Error! The num field of union must be 1000";
56 assert xx.num_to_return() == 1000: "Error! The num field of class `C` must be 1000";
62 assert x.num == 41: "Error! The num field of union must be 41";
64 assert x.num == 42: "Error! The num field of union must be 42";
|
| D | union_types_5.sts | 28 assert x.num == 42: "Error! num field must be 42";
30 assert x.num == 43: "Error! num field must be 43";
32 assert false: "Error! x must be instanceof B|C";
38 assert x.union0.num == 42: "Error! x.union0.num field must be 42";
40 assert x.union0.num == 43: "Error! x.union0.num field must be 43";
42 assert false: "Error! x.union0 must be instanceof B|C";
|
| /arkcompiler/ets_frontend/ets2panda/test/runtime/ets/ |
| D | notNull.sts | 41 assert typeOf(b) == 1: "b must be type Int";
42 assert b == 5 : "b must be 5";
59 assert typeOf(b) == 1: "b must be type Int";
76 assert d instanceof Double : "d must be type Double"
77 assert d == 3.1415 : "d must be 3.1415"
81 assert "3.1415".equals(sd) : "s must be '3.1415'"
85 assert f instanceof Float : "f must be type Float"
86 assert f == Float.DELTA : "f must be Float.DELTA"
103 assert false : "this must not be executed";
108 assert npe_caught : "NPE must be caught";
[all …]
|
| /arkcompiler/runtime_core/docs/ |
| D | file_format.md | 68 Any tool which supports format version `N` must support format version `N - 1` too.
103 …ing of the data. Depending on the tag there may be optional data. Runtime must be able to determin…
160 | `ACC_FINAL` | `0x0010` | Declared final; must not be overridden. |
177 | `ACC_ABSTRACT` | `0x0400` | Declared abstract; must not be instantiated. |
208 | `magic` | `uint8_t[8]` | Magic string. Must be 'P' 'A' 'N' 'D' 'A' '\\0' '\\0' …
212 | `foreign_off` | `uint32_t` | Offset to the foreign region. The region must contain …
215 | `class_idx_off` | `uint32_t` | Offset to the class index structure. The offset must p…
217 …2_t` | Offset to the line number program index structure. The offset must point to a structur…
219 … `uint32_t` | Offset to the literalarray index structure. The offset must point to a structur…
221 | `index_section_off` | `uint32_t` | Offset to the index section. The offset must point to …
[all …]
|
| /arkcompiler/runtime_core/static_core/docs/ |
| D | file_format.md | 68 Any tool which supports format version `N` must support format version `N - 1` too.
103 …ing of the data. Depending on the tag there may be optional data. Runtime must be able to determin…
161 | `ACC_FINAL` | `0x0010` | Declared final; must not be overridden. |
178 | `ACC_ABSTRACT` | `0x0400` | Declared abstract; must not be instantiated. |
209 | `magic` | `uint8_t[8]` | Magic string. Must be 'P' 'A' 'N' 'D' 'A' '\\0' '\\0' …
213 | `foreign_off` | `uint32_t` | Offset to the foreign region. The region must contain …
216 | `class_idx_off` | `uint32_t` | Offset to the class index structure. The offset must p…
218 …2_t` | Offset to the line number program index structure. The offset must point to a structur…
220 … `uint32_t` | Offset to the literalarray index structure. The offset must point to a structur…
222 | `index_section_off` | `uint32_t` | Offset to the index section. The offset must point to …
[all …]
|
12345678910>>...60