Searched defs:sort (Results 1 – 9 of 9) sorted by relevance
| /arkcompiler/runtime_core/verification/type/ |
| D | type_type_inl.h | 35 void Type::ForAllSupertypesOfSort(SortIdx sort, Handler &&handler) const in ForAllSupertypesOfSort()
52 void Type::ForAllSubtypesOfSort(SortIdx sort, Handler &&handler) const in ForAllSubtypesOfSort()
|
| D | type_info.h | 26 TypeInfo(SortIdx sort, const TypeParamsIdx ¶ms) : Sort_(sort), ParamsIdx_(params) {} in TypeInfo()
27 TypeInfo(SortIdx sort, TypeParamsIdx &¶ms) : Sort_(sort), ParamsIdx_(std::move(params)) {} in TypeInfo()
|
| D | type_parametric.h | 33 ParametricType(TypeSystemKind kind, ThreadNum threadnum, SortIdx sort) in ParametricType()
|
| D | subtyping_closure.h | 47 void AddType(SortIdx sort, TypeNum type, size_t arity) in AddType()
|
| D | type_system.h | 126 SortIdx sort = ti.Sort(); in FindNumOrCreate() local
352 ParametricType Parametric(SortIdx sort) in Parametric()
|
| /arkcompiler/runtime_core/verification/absint/tests/ |
| D | reg_context_test.cpp | 33 SortNames sort {"Bot", "Top"}; in TEST_F() local
|
| D | exec_context_test.cpp | 36 SortNames sort {"Bot", "Top"}; in TEST_F() local
|
| /arkcompiler/runtime_core/verification/value/tests/ |
| D | abstract_typed_value_test.cpp | 30 SortNames sort {"Bot", "Top"}; in TEST_F() local
|
| /arkcompiler/runtime_core/scripts/ |
| D | memdump.py | 112 def sort(data): function
|