Searched full:compatible (Results 1 – 25 of 173) sorted by relevance
1234567
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/07.overloading_and_overriding/02.override-compatible_signatures/ |
| 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_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_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.
|
| /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/ets_runtime/ecmascript/pgo_profiler/ |
| D | pgo_profiler_manager.cpp | 61 … LOG_ECMA(ERROR) << "The ap file (" << fileName << ") is not compatible with AOT version. skip it"; in MergeApFiles()
70 … << "No ap file pass verify, no ap file compatible an version, no ap file processed. Input files: " in MergeApFiles()
105 … LOG_ECMA(ERROR) << "The ap file (" << fileName << ") is not compatible with AOT version. skip it"; in MergeApFiles()
113 … << "No ap file pass verify, no ap file compatible an version, no ap file processed. Input files: " in MergeApFiles()
|
| /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
77 compatible type
561 compatible (see :ref:`Type Compatibility`) with the target type. If so, the
563 compatible with the target type, then conversion causes a
577 let b: Base = d // OK, as Derived1 and Derived2 are compatible with Base
595 …todo: String Conversion - note: Implemented in a different but compatible way: spec - toString(), …
606 compatible type
835 type ``V``:sub:`j` (*i* in 1..m-normalized), when ``U``:sub:`i` is compatible
851 u2 = u1 // compile-time error as type of u1 is not compatible with type of u2
863 // are compatible with Base as Note states
[all …]
|
| D | 15_semantics.rst | 237 Type *T*:sub:`1` is compatible with type *T*:sub:`2` if:
245 is compatible with type *T*:sub:`2` does not imply that *T*:sub:`2` is
246 compatible with type *T*:sub:`1`.
262 The definition of the term *compatible* is found in :ref:`Type Compatibility`.
268 compatible with the type of the corresponding parameter ;
271 operator (:ref:`Spread Expression`) must be compatible with the element type
276 operator must refer to an array of a type compatible with the type of the
288 compatible type
428 correct if their signatures are *override-compatible* (see
429 :ref:`Override-Compatible Signatures`).
[all …]
|
| D | 5_generics.rst | 165 If no constraint is declared, then the type parameter is not compatible with
169 generic instantiation must be compatible with *S* (see :ref:`Type Compatibility`).
194 let z = new G<SomeType> // Compile-time : SomeType is not compatible with Base
200 let h4 = new H<Object> // Compile-time : Object is not compatible with Base|SomeType
204 let e2 = new Exotic<64> // Compile-time : 64 is not compatible with 1|2|3
254 let o: Object = this.data // error: as type T is not compatible with Object
524 ``C``:sub:`n`, then *T*:sub:`i` is compatible with each constraint type
541 - All type arguments are compatible with the corresponding type parameter
704 Type ``T`` is not compatible with ``Partial<T>`` (see :ref:`Type Compatibility`),
748 Type ``T`` is not compatible (see :ref:`Type Compatibility`) with
[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/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
|
| /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/interop_js/ |
| D | tsconfig.sample.json | 3 …Set the JavaScript language version for emitted JavaScript and include compatible library declarat…
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/17.experimental_features/06.statements/02.multiple_catch_clauses_in_try_statements/ |
| D | exec.params.yaml | 104 # assignment compatible to exception
119 # assignment compatible to error
|
| /arkcompiler/ets_frontend/arkguard/ |
| D | tsconfig.base.json | 4 …/* Set the JavaScript language version for emitted JavaScript and include compatible library decla…
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/compiler/ets/ |
| D | objectLiteralWrongValueType.sts | 24 /* @@? 21:8 Error TypeError: Type 'string' is not compatible with type 'int' at property 'f' */
|
| D | override15.sts | 24 …2 cannot override fn(): int in I because overriding return type is not compatible with the other r…
|
| /arkcompiler/ets_frontend/ets2panda/test/ast/parser/ets/ |
| D | n_returnNullFromFunction.sts | 22 /* @@? 19:12 Error TypeError: Type 'null' is not compatible with the enclosing method's return type…
|
| D | recordKeyTypeCheck04.sts | 21 /* @@? 18:9 Error TypeError: Type 'string' is not compatible with type 'Double' at index 1 */
|
| D | n_returnNullFromMethod.sts | 22 /* @@? 18:16 Error TypeError: Type 'null' is not compatible with the enclosing method's return type…
|
| D | async_func_return_type_bad.sts | 20 /* @@? 17:12 Error TypeError: Type 'string' is not compatible with the enclosing method's return ty…
|
1234567