Lines Matching full:source
107 bool Checker::IsAllTypesAssignableTo(Type *source, Type *target) in IsAllTypesAssignableTo() argument
109 if (source->TypeFlags() == TypeFlag::UNION) { in IsAllTypesAssignableTo()
110 auto &types = source->AsUnionType()->ConstituentTypes(); in IsAllTypesAssignableTo()
116 return relation_->IsAssignableTo(source, target); in IsAllTypesAssignableTo()
119 bool Checker::IsTypeIdenticalTo(Type *source, Type *target) in IsTypeIdenticalTo() argument
121 return relation_->IsIdenticalTo(source, target); in IsTypeIdenticalTo()
124 bool Checker::IsTypeIdenticalTo(Type *source, Type *target, const std::string &errMsg, in IsTypeIdenticalTo() argument
127 if (!IsTypeIdenticalTo(source, target)) { in IsTypeIdenticalTo()
134 bool Checker::IsTypeIdenticalTo(Type *source, Type *target, std::initializer_list<TypeErrorMessageE… in IsTypeIdenticalTo() argument
137 if (!IsTypeIdenticalTo(source, target)) { in IsTypeIdenticalTo()
144 bool Checker::IsTypeAssignableTo(Type *source, Type *target) in IsTypeAssignableTo() argument
146 return relation_->IsAssignableTo(source, target); in IsTypeAssignableTo()
149 bool Checker::IsTypeAssignableTo(Type *source, Type *target, const std::string &errMsg, in IsTypeAssignableTo() argument
152 if (!IsTypeAssignableTo(source, target)) { in IsTypeAssignableTo()
159 bool Checker::IsTypeAssignableTo(Type *source, Type *target, std::initializer_list<TypeErrorMessage… in IsTypeAssignableTo() argument
162 if (!IsTypeAssignableTo(source, target)) { in IsTypeAssignableTo()
169 bool Checker::IsTypeComparableTo(Type *source, Type *target) in IsTypeComparableTo() argument
171 return relation_->IsComparableTo(source, target); in IsTypeComparableTo()
174 bool Checker::IsTypeComparableTo(Type *source, Type *target, const std::string &errMsg, in IsTypeComparableTo() argument
177 if (!IsTypeComparableTo(source, target)) { in IsTypeComparableTo()
184 bool Checker::IsTypeComparableTo(Type *source, Type *target, std::initializer_list<TypeErrorMessage… in IsTypeComparableTo() argument
187 if (!IsTypeComparableTo(source, target)) { in IsTypeComparableTo()
194 bool Checker::AreTypesComparable(Type *source, Type *target) in AreTypesComparable() argument
196 return IsTypeComparableTo(source, target) || IsTypeComparableTo(target, source); in AreTypesComparable()
199 bool Checker::IsTypeEqualityComparableTo(Type *source, Type *target) in IsTypeEqualityComparableTo() argument
201 return IsTypeComparableTo(source, target); in IsTypeEqualityComparableTo()