Searched full:compatible (Results 1 – 25 of 218) sorted by relevance
123456789
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/02.override-compatible_signatures/ |
| D | override_variance.params.yaml | 17 # override-compatible argument (contravariance)
29 # override-compatible argument (contravariance)
54 # override-compatible return value (covariance)
68 # override-compatible return value (covariance)
98 # override-compatible argument (invariance)
113 # override-compatible argument (covariance)
128 # override-compatible argument (covariance)
159 # override-compatible return value (invariance)
174 # override-compatible return value (contravariance)
189 # override-compatible return value (contravariance)
[all …]
|
| D | override_with_object.params.yaml | 17 # override-compatible argument (contravariance)
29 # override-compatible argument (contravariance)
54 # override-compatible return value (covariance)
84 # override-compatible argument (covariance)
99 # override-compatible argument (covariance)
130 # override-compatible return value (invariance)
145 # override-compatible return value (contravariance)
160 # override-compatible return value (contravariance)
192 # override-compatible argument (invariance)
204 # override-compatible argument (covariance)
[all …]
|
| D | override_compatible_signature.sts | 20 … The signature S2 is override-compatible with S1 only if all of the following conditions are met:
23 … is override-compatible with type Ui for i in 1..n+1. Type override compatibility is defined below.
|
| D | override_variance_n.params.yaml | 16 # override-compatible argument (covariance) //44
30 # override-compatible argument (covariance)
|
| D | override_with_object_n.params.yaml | 17 # override-compatible argument (covariance)
31 # override-compatible argument (covariance)
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/compiler/ets/annotation_tests/ |
| D | annotationDecl_bad_initializer08.sts | 31 /* @@? 22:29 Error TypeError: Array element at index 0 with type 'double' is not compatible with th…
32 /* @@? 22:34 Error TypeError: Array element at index 1 with type 'double' is not compatible with th…
37 /* @@? 24:30 Error TypeError: Array element at index 0 with type 'Color' is not compatible with the…
38 /* @@? 24:43 Error TypeError: Array element at index 1 with type 'Color' is not compatible with the…
|
| D | annotationUsage_bad_param09.sts | 40 /* @@? 31:25 Error TypeError: Array element at index 0 with type 'double' is not compatible with th…
41 /* @@? 31:30 Error TypeError: Array element at index 1 with type 'double' is not compatible with th…
44 /* @@? 33:25 Error TypeError: Array element at index 0 with type 'Color' is not compatible with the…
45 /* @@? 33:38 Error TypeError: Array element at index 1 with type 'Color' is not compatible with the…
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/parser/ |
| D | multi_returnstatement_typeerror.sts | 25 /* @@? 21:10 Error TypeError: Type 'int' is not compatible with the enclosing method's return type …
27 /* @@? 22:10 Error TypeError: Type 'A' is not compatible with the enclosing method's return type 'S…
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/compiler/ets/ |
| D | conversion_Double-to-Int_w_try_stmt_typerror.sts | 24 /* @@@ label Error TypeError: Type 'Double' is not compatible with the enclosing method's return ty…
25 /* @@@ label1 Error TypeError: Type 'Double' is not compatible with the enclosing method's return t…
|
| D | union_string_literals_8.sts | 25 /* @@? 23:13 Error TypeError: Type 'String' is not compatible with type '"aa"|"bb"' at index 1 */
27 /* @@? 23:13 Error TypeError: Type 'String' is not compatible with type '"aa"|"bb"' at index 1 */
|
| D | union_string_literals_7.sts | 23 /* @@? 21:13 Error TypeError: Type 'String[]' is not compatible with type '"aa"|"bb"' at index 1 */
25 /* @@? 21:13 Error TypeError: Type 'String[]' is not compatible with type '"aa"|"bb"' at index 1 */
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/parser/ets/ |
| D | return_type_non_match.sts | 19 …/* @@? 16:11 Error TypeError: Type 'boolean' is not compatible with the enclosing method's return …
20 /* @@? 16:11 Error TypeError: Type 'boolean' is not compatible with the enclosing method's return t…
|
| D | unexpected_token_51.sts | 25 /* @@? 21:20 Error TypeError: Type '"hehehe"' is not compatible with type 'Type' at index 1 */
27 /* @@? 22:20 Error TypeError: Type 'int' is not compatible with type 'Type' at index 1 */
|
| D | record_object_value.sts | 60 /* @@? 46:21 Error TypeError: Type '"10"' is not compatible with type 'double' at property 'age' */
61 /* @@? 47:32 Error TypeError: Type '"100"' is not compatible with type 'double' at property 'salary…
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/07.expressions/11.function_call_expression/step_2_semantic_correctness_check/ |
| D | step2.sts | 21 whose type is compatible (see Compatible Types) with the type specified
|
| D | step2_n.sts | 21 whose type is compatible (see Compatible Types) with the type specified
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/06.contexts_and_conversions/05.implicit_conversions/10.function_types_conversions/ |
| D | spec3.sts | 25 /* OK: identical (invariant) parameter types, and compatible return type */
28 /* OK: contravariant parameter types, and compatible return type */
|
| D | spec1.sts | 32 bb = bd /* OK: identical (invariant) parameter types, and compatible return type */
33 db = bd /* OK: contravariant parameter types, and compatible return type */
|
| /arkcompiler/runtime_core/static_core/plugins/ets/doc/spec/ |
| D | 6_conversions.rst | 24 In most contexts, an expression must be *compatible* with a type expected in
78 compatible type
662 compatible (see :ref:`Type Compatibility`) with the target type. If so, the
664 compatible with the target type, then the conversion causes a
678 let b: Base = d // OK, as Derived1 and Derived2 are compatible with Base
700 …todo: String Conversion - note: Implemented in a different but compatible way: spec - toString(), …
711 compatible type
966 type ``V``:sub:`j` (*i* in 1..m-normalized), when ``U``:sub:`i` is compatible
993 u2 = u1 // compile-time error as type of u1 is not compatible with type of u2
1005 // are compatible with Base as Note states
[all …]
|
| D | 15_semantics.rst | 283 Type ``T``:sub:`1` is compatible with type ``T``:sub:`2` if:
291 is compatible with type ``T``:sub:`2` does not imply that ``T``:sub:`2` is
292 compatible with type ``T``:sub:`1`.
311 The definition of the term *compatible* is found in :ref:`Type Compatibility`.
317 compatible with the type of the corresponding parameter;
320 operator (:ref:`Spread Expression`) must be compatible with the element type
325 operator must refer to an array of a type compatible with the type of the
337 compatible type
538 correct if their signatures are *override-compatible* (see
539 :ref:`Override-Compatible Signatures`).
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/04.names_declarations_and_scopes/08.function_declarations/09.function_overload_signatures/ |
| D | overload_neg.params.yaml | 38 // CTE: implementation is not compatible with the declarations
48 // CTE: implementation is not compatible with the declarations
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/07.expressions/25.equality_expressions/06.reference_equality_based_on_actual_type/object_type_equality_operators/ |
| D | ne.params.yaml | 16 # not compatible types
42 # compatible types, not equal values
|
| D | ne1.params.yaml | 16 # not compatible types
50 # compatible types, not equal values
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/07.expressions/25.equality_expressions/06.reference_equality_based_on_actual_type/union_equality_operators/ |
| D | ne.params.yaml | 56 # numerical equality, not compatible actual types
102 # string equality, not compatible actual types
137 # boolean equality, not compatible actual types
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/07.expressions/25.equality_expressions/06.reference_equality_based_on_actual_type/type_parameter_equality_operators/ |
| D | ne3.params.yaml | 56 # numerical equality, not compatible actual types
102 # string equality, not compatible actual types
137 # boolean equality, not compatible actual types
|
123456789