Class PHPStan\Type\Constant\ConstantStringType

Returns the object type for a class-string or literal class name string. For non-class-string types, returns ErrorType.

Like getClassStringObjectType(), but also returns object types as-is. Used for $classOrObject::method() where the left side can be either.

"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.

Models numeric coercion for arithmetic operators.

Models the bitwise-not (~$x) operator. Returns ErrorType for types where ~ is undefined.

Projects a class-name-or-object Type (the right-hand side of $x instanceof <expr>) to the ObjectType it should be compared against. Constant class strings collapse to their ObjectType exactly; everything kept symbolically (object class names, class-string<X>) carries an uncertainty flag so the caller can fall back to BooleanType instead of a definite yes/no.

Projects a class-name-or-object Type (the second argument of is_a($x, $class, $allow_string)) to the ObjectType to narrow $x against. When $allowString is true, the is_a() result also keeps the original class-string accepted alongside the object. $allowSameClass controls whether matching the input's own class collapses to NeverType for final classes (the call site's "always-true" suppression).

Models abs().

Models the (int) cast.

Models the (float) cast.

Models PHP's implicit array key coercion: floats truncated to int, booleans become 0/1, null becomes '', numeric strings become int.

When isDecimalIntegerString() returns yes(), the type is guaranteed to be cast to an integer in an array key. Examples of constant values covered by this type: "0", "1", "1234", "-1" When isDecimalIntegerString() returns no(), the type represents strings containing non-decimal integers and other text. These are guaranteed to stay as string in an array key. Examples of constant values covered by this type: "+1", "00", "18E+3", "1.2", "1,3", "foo"

Non-falsy string is a non-empty string that is also not '0'. Stricter subset of non-empty-string.

A literal-string is a string composed entirely from string literals in the source code (not from user input). Used for SQL injection prevention.

May add a new key. When $offsetType is null, appends (like $a[] = $value).

Unlike setOffsetValueType(), assumes the key already exists. Preserves the array shape and list type.

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

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