Class PHPStan\Type\IntegerRangeType

Return the range of integers smaller than the given value

Return the range of integers smaller than or equal to the given value

Return the range of integers greater than the given value

Return the range of integers greater than or equal to the given value

Unlike isSuperTypeOf(), accepts() takes into account PHP's implicit type coercion. With $strictTypes = false, int is accepted by float, and Stringable objects are accepted by string.

"Does every value of $type belong to $this type?" Preferable to instanceof checks because it correctly handles union types, intersection types, and all other composite types.

Answers "is this compound type a subtype of $otherType?" from the compound type's perspective. Called by simple types when they encounter a CompoundType argument in their isSuperTypeOf() method. The compound type decomposes itself and calls $otherType->isSuperTypeOf() for each component. For example, UnionType(string|int)::isSubTypeOf(MixedType) asks MixedType whether it is a supertype of string and int separately, then combines with extremeIdentity (all must pass).

Answers "is this compound type accepted by $acceptingType?" from the compound type's perspective. Called by simple types when they encounter a CompoundType argument in their accepts() method. The compound type decomposes itself and calls $acceptingType->accepts() for each component. For example, UnionType(string|int)::isAcceptedBy(StringType) asks StringType to accept string and int separately, then combines results with extremeIdentity (all must pass).

Removes constant value information. E.g. 'foo' -> string, 1 -> int. Used when types become too complex to track precisely (e.g. loop iterations).

Compares this compound type against $otherType using greater-than semantics. Used for comparison operators (>). Each compound type decomposes the comparison across its members (e.g., IntegerRangeType checks whether all values in the range are greater than the other type).

Compares this compound type against $otherType using greater-than-or-equal semantics. Used for comparison operators (>=). Same decomposition strategy as isGreaterThan().

Type narrowing methods for comparison operators. For example, for ConstantIntegerType(5), getSmallerType() returns int<min, 4>.

Models the (bool) cast.

Models abs().

Models the (string) cast.

Return the union with another type, but only if it can be expressed in a simpler way than using UnionType

Return the intersection with another type, but only if it can be expressed in a simpler way than using IntersectionType

Return the different with another type, or null if it cannot be represented.

Models the ** operator.

Returns a list of finite values this type can take. Examples: - for bool: [true, false]

• for int<0, 3>: [0, 1, 2, 3]
• for enums: list of enum cases
• for scalars: the scalar itself For infinite types it returns an empty array.