Searched defs:tsys (Results 1 – 3 of 3) sorted by relevance
| /arkcompiler/runtime_core/static_core/verification/type/ |
| D | type_type.cpp | 186 [[maybe_unused]] bool InvariantHolds(Type tp, TypeSystem const *tsys) in InvariantHolds()
399 static Span<Type> CopySpanToTypeSystem(Span<Type> span, TypeSystem *tsys) in CopySpanToTypeSystem()
407 Type Type::Intersection(Span<Type> span, TypeSystem *tsys) in Intersection()
414 Type Type::Union(Span<Type> span, TypeSystem *tsys) in Union()
420 static bool IsClassSubtypeOfType(Class const *lhsClass, Type rhs, TypeSystem *tsys) in IsClassSubtypeOfType()
439 bool IsSubtypeImpl(Type lhs, Type rhs, TypeSystem *tsys) in IsSubtypeImpl()
568 static Span<Type const> ToIntersectionSpan(Type const *tp, TypeSystem const *tsys) in ToIntersectionSpan()
579 static Span<Type const> ToUnionSpan(Type const *tp, TypeSystem const *tsys) in ToUnionSpan()
590 Type Type::IntersectSpans(Span<Type const> lhs, Span<Type const> rhs, TypeSystem *tsys) in IntersectSpans()
625 Type TpIntersection(Type lhs, Type rhs, TypeSystem *tsys) in TpIntersection()
[all …]
|
| /arkcompiler/runtime_core/static_core/verification/absint/ |
| D | reg_context.h | 48 bool UnionWith(RegContext const *rhs, TypeSystem *tsys) in UnionWith()
198 PandaString DumpRegs(TypeSystem const *tsys) const in DumpRegs()
225 inline RegContext RcUnion(RegContext const *lhs, RegContext const *rhs, TypeSystem *tsys) in RcUnion()
|
| /arkcompiler/runtime_core/static_core/verification/value/ |
| D | abstract_typed_value.h | 91 PandaString ToString(TypeSystem const *tsys) const in ToString()
114 …tTypedValue AtvJoin(AbstractTypedValue const *lhs, AbstractTypedValue const *rhs, TypeSystem *tsys) in AtvJoin()
|