Class PHPStan\Type\StringType

Whether accessing a non-existent offset is safe (won't cause errors). Unlike isOffsetAccessible() which checks if offset access is supported at all.

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.

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.

Models numeric coercion for arithmetic operators.

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

Models abs().

Models the (int) cast.

Models the (float) cast.

Models the (string) cast.

Models the (array) cast.

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

Returns how this type might change when passed to a typed parameter or assigned to a typed property. With $strictTypes = true: int widens to int|float (since int is accepted by float parameters in strict mode). With $strictTypes = false: additional coercions apply, e.g. Stringable objects are accepted by string parameters. Used internally to determine what types a value might be coerced to when checking parameter acceptance.

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.

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.

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.

Models the ** operator.

Performance optimization to skip template resolution when no templates are present.