Searched full:unchanged (Results 1 – 25 of 60) sorted by relevance
123
| /arkcompiler/runtime_core/static_core/models/thread_pool/ |
| D | thread_pool.tla | 406 /\ UNCHANGED << workers, workers_status,
418 /\ UNCHANGED << workers, workers_status,
433 /\ UNCHANGED << queue_lock_,
435 /\ UNCHANGED cond_var_
440 /\ UNCHANGED << workers, workers_status,
449 /\ UNCHANGED << workers, workers_status,
464 /\ UNCHANGED queue_size_
468 /\ UNCHANGED << workers, workers_status, num_workers,
476 /\ UNCHANGED << workers, workers_status, num_workers,
486 /\ UNCHANGED << workers, workers_status,
[all …]
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/04.invariance_covariance_and_contravariance/examples/ |
| D | example_type_variance_case_13.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged.
|
| D | example_type_variance_case_16.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged.
|
| D | example_type_variance_case_11.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter types unchanged with derived class.
|
| D | example_type_variance_case_17.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged.
|
| D | example_type_variance_case_02.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged.
|
| D | example_type_variance_case_10.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged.
|
| D | example_type_variance_case_12.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged.
|
| D | example_type_variance_case_01.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged.
|
| D | example_type_variance_case_22.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged with interf…
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/ |
| D | semantic_rules_case_20.ets | 17 desc: Ensuring that method override in subclasses keeps number return types unchanged.
|
| D | semantic_rules_case_17.ets | 17 desc: Ensuring that method override in subclasses keeps void return types unchanged.
|
| D | semantic_rules_case_23.ets | 17 desc: Ensuring that method override in subclasses keeps union return types unchanged.
|
| D | semantic_rules_case_18.ets | 17 desc: Ensuring that method override in subclasses keeps never return types unchanged.
|
| D | semantic_rules_case_26.ets | 17 desc: Ensuring that method override in subclasses keeps never return types unchanged.
|
| D | semantic_rules_case_25.ets | 17 desc: Ensuring that method override in subclasses keeps generic return types unchanged.
|
| D | semantic_rules_case_19.ets | 17 desc: Ensuring that method override in subclasses keeps function return types unchanged.
|
| D | semantic_rules_case_31.ets | 17 … Ensuring that method override in subclasses keeps union return types (null | undefined) unchanged.
|
| D | semantic_rules_case_21.ets | 17 desc: Ensuring that method override in subclasses keeps Promise return types unchanged.
|
| D | semantic_rules_case_22.ets | 17 desc: Ensuring that method override in subclasses keeps conditional types unchanged.
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/15.semantic_rules/02.type_identity/ |
| D | type_identity_case_08.ets | 17 desc: Ensuring that method_one in subclasses keeps parameter and return types unchanged.
|
| /arkcompiler/runtime_core/static_core/plugins/ets/tests/ets-templates/09.classes/01.class_declaration/03.class_extension_clause/multi_level_inheritance/ |
| D | multi_level_inheritance_value_transfer35.ets | 17 …cVar is properly initialized in base class a and that the value remains unchanged in the lowest su…
|
| /arkcompiler/ets_runtime/test/jittest/lazy_deopt_6/ |
| D | lazy_deopt_6.js | 70 … First test call: without modifying the prototype. Expected output: property 'x' remains unchanged.
|
| /arkcompiler/ets_runtime/test/jittest/lazy_deopt_4/ |
| D | lazy_deopt_4.js | 73 … First test call: without modifying the prototype. Expected output: property 'x' remains unchanged.
|
| /arkcompiler/ets_runtime/test/jittest/lazy_deopt_5/ |
| D | lazy_deopt_5.js | 70 … First test call: without modifying the prototype. Expected output: property 'x' remains unchanged.
|
123