Home
last modified time | relevance | path

Searched full:must (Results 1 – 25 of 1632) sorted by relevance

12345678910>>...66

/arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_test_suite/strings/
Dstring_api.sts35 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/runtime_core/static_core/plugins/ets/tests/checked/
Dstring_split_test.sts29 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/ets_frontend/ets2panda/linter/test/main/
Dsendable_explicit_field_type.ts.json184 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
194 …"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…
214 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
234 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
244 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
254 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
264 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
274 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
284 …"rule": "Properties in \"Sendable\" classes and interfaces must have a Sendable data type (arkts-s…
[all …]
Dobject_literals_autofixes.ts.json34 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
44 …"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…
74 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
84 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
94 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
104 …"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…
124 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
134 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
Dobject_literals_3.ts.json24 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
34 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
54 …"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…
74 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
84 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
94 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
104 …"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…
124 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
Dobject_literals_autofixes.ts.autofix.json46 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
68 …"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…
122 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
132 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
154 …"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…
198 …"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…
230 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
Dsendable_generic_types.ts.json24 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
34 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
44 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
54 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
94 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
104 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
114 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
124 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
134 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
144 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
[all …]
Dobject_literals.ts.json44 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
74 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
84 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
94 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
104 …"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…
124 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
134 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
154 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
204 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
Ddestructuring_declarations.ts.json34 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
54 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
74 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
84 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
104 …"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…
134 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
144 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
284 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
294 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
Dobject_literals_3.ts.autofix.json36 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
58 …"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…
112 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
134 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
156 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
166 …"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…
186 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
196 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
Ddestructuring_for_loop.ts.json34 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
44 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
54 …"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…
114 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
124 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
134 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
144 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
154 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
/arkcompiler/ets_frontend/ets2panda/linter/test/ts_import_ets/ts/
Dtest5.ts.json24 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
34 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
44 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
54 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
64 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
74 …"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…
94 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
104 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
114 …"rule": "Type arguments of generic \"Sendable\" type must be a \"Sendable\" data type (arkts-senda…
[all …]
/arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_func_tests/escompat/
DReflectGetBadCases.sts59 … 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/
Dunion_types_3.sts18 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`";
Dunion_types_1.sts37 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";
Dunion_types_5.sts31 assert x.num == 42: "Error! num field must be 42";
33 assert x.num == 43: "Error! num field must be 43";
35 assert false: "Error! x must be instanceof B|C";
41 assert x.union0.num == 42: "Error! x.union0.num field must be 42";
43 assert x.union0.num == 43: "Error! x.union0.num field must be 43";
45 assert false: "Error! x.union0 must be instanceof B|C";
/arkcompiler/ets_frontend/ets2panda/linter/test/rules/
Drule38.ts.json24 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
34 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
44 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
54 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
64 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
74 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
84 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
94 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
104 …"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…
[all …]
Drule38.ts.autofix.json36 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
46 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
56 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
66 …"rule": "Array literals must contain elements of only inferrable types (arkts-no-noninferrable-arr…
76 …"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…
96 …"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…
116 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
126 …"rule": "Object literal must correspond to some explicitly declared class or interface (arkts-no-u…
[all …]
/arkcompiler/ets_frontend/ets2panda/test/runtime/ets/
DnotNull.sts41 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/ets_frontend/ets2panda/test/ast/parser/ets/
Dlabeled.sts26 /* @@? 19:13 Error SyntaxError: Label must be followed by a loop statement */
27 /* @@? 20:13 Error SyntaxError: Label must be followed by a loop statement */
28 /* @@? 20:17 Error SyntaxError: Label must be followed by a loop statement */
29 /* @@? 21:13 Error SyntaxError: Label must be followed by a loop statement */
30 /* @@? 21:17 Error SyntaxError: Label must be followed by a loop statement */
31 /* @@? 21:21 Error SyntaxError: Label must be followed by a loop statement */
32 /* @@? 22:13 Error SyntaxError: Label must be followed by a loop statement */
/arkcompiler/runtime_core/static_core/plugins/ets/tests/ets_test_suite/gc/
Dspace_type_test.sts17 …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";
46 assert false: "Space allocation test must not throw exceptions";
/arkcompiler/runtime_core/docs/
Dfile_format.md68 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/
Dfile_format.md68 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 …]
/arkcompiler/runtime_core/libpandabase/utils/
Dbit_utils.h49 static_assert(std::is_integral<T>::value, "T must be integral"); in Clz()
50 static_assert(std::is_unsigned<T>::value, "T must be unsigned"); in Clz()
65 static_assert(std::is_integral<T>::value, "T must be integral"); in Ctz()
66 static_assert(std::is_unsigned<T>::value, "T must be unsigned"); in Ctz()
81 static_assert(std::is_integral<T>::value, "T must be integral"); in Popcount()
82 static_assert(std::is_unsigned<T>::value, "T must be unsigned"); in Popcount()
106 static_assert(std::is_integral_v<T>, "T must be integral"); in MinimumBitsToStore()
107 static_assert(std::is_unsigned_v<T>, "T must be unsigned"); in MinimumBitsToStore()
120 static_assert(std::is_integral<T>::value, "T must be integral"); in Ffs()
121 static_assert(std::is_unsigned<T>::value, "T must be unsigned"); in Ffs()
[all …]
/arkcompiler/runtime_core/static_core/libpandabase/utils/
Dbit_utils.h50 static_assert(std::is_integral<T>::value, "T must be integral"); in Clz()
51 static_assert(std::is_unsigned<T>::value, "T must be unsigned"); in Clz()
66 static_assert(std::is_integral<T>::value, "T must be integral"); in Ctz()
67 static_assert(std::is_unsigned<T>::value, "T must be unsigned"); in Ctz()
82 static_assert(std::is_integral<T>::value, "T must be integral"); in Popcount()
83 static_assert(std::is_unsigned<T>::value, "T must be unsigned"); in Popcount()
107 static_assert(std::is_integral_v<T>, "T must be integral"); in MinimumBitsToStore()
108 static_assert(std::is_unsigned_v<T>, "T must be unsigned"); in MinimumBitsToStore()
121 static_assert(std::is_integral<T>::value, "T must be integral"); in Ffs()
122 static_assert(std::is_unsigned<T>::value, "T must be unsigned"); in Ffs()
[all …]

12345678910>>...66