Automattic\WooCommerce\Vendor\GraphQL\Utils
TypeComparators::isTypeSubTypeOf
Provided a type and a super type, return true if the first type is either equal or a subset of the second super type (covariant).
Method of the class: TypeComparators{}
No Hooks.
Returns
null. Nothing (null).
Usage
$result = TypeComparators::isTypeSubTypeOf( $schema, $maybeSubType, $superType ): bool;
TypeComparators::isTypeSubTypeOf() TypeComparators::isTypeSubTypeOf code WC 10.9.1
public static function isTypeSubTypeOf(Schema $schema, Type $maybeSubType, Type $superType): bool
{
// Equivalent type is a valid subtype
if ($maybeSubType === $superType) {
return true;
}
if (self::areSameBuiltInScalar($maybeSubType, $superType)) {
return true;
}
// If superType is non-null, maybeSubType must also be nullable.
if ($superType instanceof NonNull) {
if ($maybeSubType instanceof NonNull) {
return self::isTypeSubTypeOf($schema, $maybeSubType->getWrappedType(), $superType->getWrappedType());
}
return false;
}
if ($maybeSubType instanceof NonNull) {
// If superType is nullable, maybeSubType may be non-null.
return self::isTypeSubTypeOf($schema, $maybeSubType->getWrappedType(), $superType);
}
// If superType type is a list, maybeSubType type must also be a list.
if ($superType instanceof ListOfType) {
if ($maybeSubType instanceof ListOfType) {
return self::isTypeSubTypeOf($schema, $maybeSubType->getWrappedType(), $superType->getWrappedType());
}
return false;
}
if ($maybeSubType instanceof ListOfType) {
// If superType is not a list, maybeSubType must also be not a list.
return false;
}
if (Type::isAbstractType($superType)) {
// If superType type is an abstract type, maybeSubType type may be a currently
// possible object or interface type.
return $maybeSubType instanceof ImplementingType
&& $schema->isSubType($superType, $maybeSubType);
}
return false;
}