Home
last modified time | relevance | path

Searched defs:threadnum (Results 1 – 5 of 5) sorted by relevance

/arkcompiler/runtime_core/verification/type/
Dtype_systems.cpp37 explicit FullTypeSystem(TypeSystemKind kind, ThreadNum threadnum) in FullTypeSystem()
138 SortIdx TypeSystems::GetSort(TypeSystemKind kind, ThreadNum threadnum, const PandaString &name) in GetSort()
144 TypeSystem &TypeSystems::Get(TypeSystemKind kind, ThreadNum threadnum) in Get()
Dtype_parametric.h33 ParametricType(TypeSystemKind kind, ThreadNum threadnum, SortIdx sort) in ParametricType()
Dtype_param.cpp27 TypeParam::TypeParam(TypeSystemKind kind, ThreadNum threadnum, const TypeParamIdx &p) in TypeParam()
Dtype_type.h113 Type(TypeSystemKind kind, ThreadNum threadnum, TypeNum num) : Idx_ {kind, threadnum, num} {}; in Type()
/arkcompiler/runtime_core/verification/absint/
Dpanda_types.cpp341 PandaTypes::PandaTypes(ThreadNum threadnum) in PandaTypes()