Class PHPStan\Type\NullType

`implements`	`ConstantScalarType`
`uses`	`NonArrayTypeTrait, NonCallableTypeTrait, NonIterableTypeTrait, NonObjectTypeTrait, FalseyBooleanTypeTrait, NonGenericTypeTrait, NonRemoveableTypeTrait`

Methods
`public`	`__construct()`	#
`public`	`getReferencedClasses(): string[]` Implements `PHPStan\Type\Type::getReferencedClasses()`	#
`public`	`getObjectClassNames(): array` Implements `PHPStan\Type\Type::getObjectClassNames()`	#
`public`	`getObjectClassReflections(): array` Implements `PHPStan\Type\Type::getObjectClassReflections()`	#
`public`	`getConstantStrings(): array` Implements `PHPStan\Type\Type::getConstantStrings()`	#
`public`	`getValue(): null` Implements `PHPStan\Type\ConstantScalarType::getValue()`	#
`public`	`generalize(GeneralizePrecision $precision): Type` Implements `PHPStan\Type\Type::generalize()`	#
`public`	`accepts(Type $type, bool $strictTypes): TrinaryLogic` Implements `PHPStan\Type\Type::accepts()`	#
`public`	`acceptsWithReason(Type $type, bool $strictTypes): AcceptsResult` This is like accepts() but gives reasons why the type was not/might not be accepted in some non-intuitive scenarios. This is like accepts() but gives reasons why the type was not/might not be accepted in some non-intuitive scenarios. In PHPStan 2.0 this method will be removed and the return type of accepts() will change to AcceptsResult. Implements `PHPStan\Type\Type::acceptsWithReason()`	#
`public`	`isSuperTypeOf(Type $type): TrinaryLogic` Implements `PHPStan\Type\Type::isSuperTypeOf()`	#
`public`	`equals(Type $type): bool` Implements `PHPStan\Type\Type::equals()`	#
`public`	`isSmallerThan(Type $otherType): TrinaryLogic` Implements `PHPStan\Type\Type::isSmallerThan()`	#
`public`	`isSmallerThanOrEqual(Type $otherType): TrinaryLogic` Implements `PHPStan\Type\Type::isSmallerThanOrEqual()`	#
`public`	`describe(VerbosityLevel $level): string` Implements `PHPStan\Type\Type::describe()`	#
`public`	`toNumber(): Type` Implements `PHPStan\Type\Type::toNumber()`	#
`public`	`toString(): Type` Implements `PHPStan\Type\Type::toString()`	#
`public`	`toInteger(): Type` Implements `PHPStan\Type\Type::toInteger()`	#
`public`	`toFloat(): Type` Implements `PHPStan\Type\Type::toFloat()`	#
`public`	`toArray(): Type` Implements `PHPStan\Type\Type::toArray()`	#
`public`	`toArrayKey(): Type` Implements `PHPStan\Type\Type::toArrayKey()`	#
`public`	`isOffsetAccessible(): TrinaryLogic` Implements `PHPStan\Type\Type::isOffsetAccessible()`	#
`public`	`isOffsetAccessLegal(): TrinaryLogic` Implements `PHPStan\Type\Type::isOffsetAccessLegal()`	#
`public`	`hasOffsetValueType(Type $offsetType): TrinaryLogic` Implements `PHPStan\Type\Type::hasOffsetValueType()`	#
`public`	`getOffsetValueType(Type $offsetType): Type` Implements `PHPStan\Type\Type::getOffsetValueType()`	#
`public`	`setOffsetValueType(?Type $offsetType, Type $valueType, bool $unionValues = true): Type` Implements `PHPStan\Type\Type::setOffsetValueType()`	#
`public`	`setExistingOffsetValueType(Type $offsetType, Type $valueType): Type` Implements `PHPStan\Type\Type::setExistingOffsetValueType()`	#
`public`	`unsetOffset(Type $offsetType): Type` Implements `PHPStan\Type\Type::unsetOffset()`	#
`public`	`traverse(callable $cb): Type` Traverses inner types Traverses inner types Returns a new instance with all inner types mapped through $cb. Might return the same instance if inner types did not change. Implements `PHPStan\Type\Type::traverse()`	#
`public`	`traverseSimultaneously(Type $right, callable $cb): Type` Traverses inner types while keeping the same context in another type. Traverses inner types while keeping the same context in another type. Implements `PHPStan\Type\Type::traverseSimultaneously()`	#
`public`	`isNull(): TrinaryLogic` Implements `PHPStan\Type\Type::isNull()`	#
`public`	`isConstantValue(): TrinaryLogic` Is Type of a known constant value? Includes literal strings, integers, floats, true, false, null, and array shapes. Is Type of a known constant value? Includes literal strings, integers, floats, true, false, null, and array shapes. Implements `PHPStan\Type\Type::isConstantValue()`	#
`public`	`isConstantScalarValue(): TrinaryLogic` Is Type of a known constant scalar value? Includes literal strings, integers, floats, true, false, and null. Is Type of a known constant scalar value? Includes literal strings, integers, floats, true, false, and null. Implements `PHPStan\Type\Type::isConstantScalarValue()`	#
`public`	`getConstantScalarTypes(): array` Implements `PHPStan\Type\Type::getConstantScalarTypes()`	#
`public`	`getConstantScalarValues(): array` Implements `PHPStan\Type\Type::getConstantScalarValues()`	#
`public`	`isTrue(): TrinaryLogic` Implements `PHPStan\Type\Type::isTrue()`	#
`public`	`isFalse(): TrinaryLogic` Implements `PHPStan\Type\Type::isFalse()`	#
`public`	`isBoolean(): TrinaryLogic` Implements `PHPStan\Type\Type::isBoolean()`	#
`public`	`isFloat(): TrinaryLogic` Implements `PHPStan\Type\Type::isFloat()`	#
`public`	`isInteger(): TrinaryLogic` Implements `PHPStan\Type\Type::isInteger()`	#
`public`	`isString(): TrinaryLogic` Implements `PHPStan\Type\Type::isString()`	#
`public`	`isNumericString(): TrinaryLogic` Implements `PHPStan\Type\Type::isNumericString()`	#
`public`	`isNonEmptyString(): TrinaryLogic` Implements `PHPStan\Type\Type::isNonEmptyString()`	#
`public`	`isNonFalsyString(): TrinaryLogic` Implements `PHPStan\Type\Type::isNonFalsyString()`	#
`public`	`isLiteralString(): TrinaryLogic` Implements `PHPStan\Type\Type::isLiteralString()`	#
`public`	`isClassStringType(): TrinaryLogic` Implements `PHPStan\Type\Type::isClassStringType()`	#
`public`	`getClassStringObjectType(): Type` Returns object type Foo for class-string<Foo> and 'Foo' (if Foo is a valid class). Returns object type Foo for class-string<Foo> and 'Foo' (if Foo is a valid class). Implements `PHPStan\Type\Type::getClassStringObjectType()`	#
`public`	`getObjectTypeOrClassStringObjectType(): Type` Returns object type Foo for class-string<Foo>, 'Foo' (if Foo is a valid class), and object type Foo. Returns object type Foo for class-string<Foo>, 'Foo' (if Foo is a valid class), and object type Foo. Implements `PHPStan\Type\Type::getObjectTypeOrClassStringObjectType()`	#
`public`	`isVoid(): TrinaryLogic` Implements `PHPStan\Type\Type::isVoid()`	#
`public`	`isScalar(): TrinaryLogic` Implements `PHPStan\Type\Type::isScalar()`	#
`public`	`looseCompare(Type $type, PhpVersion $phpVersion): BooleanType` Implements `PHPStan\Type\Type::looseCompare()`	#
`public`	`getSmallerType(): Type` Implements `PHPStan\Type\Type::getSmallerType()`	#
`public`	`getSmallerOrEqualType(): Type` Implements `PHPStan\Type\Type::getSmallerOrEqualType()`	#
`public`	`getGreaterType(): Type` Implements `PHPStan\Type\Type::getGreaterType()`	#
`public`	`getGreaterOrEqualType(): Type` Implements `PHPStan\Type\Type::getGreaterOrEqualType()`	#
`public`	`getFiniteTypes(): array` Returns a list of finite values. Returns a list of finite values. 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. Implements `PHPStan\Type\Type::getFiniteTypes()`	#
`public`	`exponentiate(Type $exponent): Type` Implements `PHPStan\Type\Type::exponentiate()`	#
`public`	`toPhpDocNode(): TypeNode` Implements `PHPStan\Type\Type::toPhpDocNode()`	#
`public static`	`__set_state(mixed[] $properties): Type` Implements `PHPStan\Type\Type::__set_state()`	#


					
	public

__construct()

#


					
	public

getReferencedClasses(): string[]

Implements

PHPStan\Type\Type::getReferencedClasses()

#


					
	public

getObjectClassNames(): array

Implements

PHPStan\Type\Type::getObjectClassNames()

#


					
	public

getObjectClassReflections(): array

Implements

PHPStan\Type\Type::getObjectClassReflections()

#


					
	public

getConstantStrings(): array

Implements

PHPStan\Type\Type::getConstantStrings()

#


					
	public

getValue(): null

Implements

PHPStan\Type\ConstantScalarType::getValue()

#


					
	public

generalize(GeneralizePrecision $precision): Type

Implements

PHPStan\Type\Type::generalize()

#


					
	public

accepts(Type $type, bool $strictTypes): TrinaryLogic

Implements

PHPStan\Type\Type::accepts()

#


					
	public

acceptsWithReason(Type $type, bool $strictTypes): AcceptsResult

This is like accepts() but gives reasons why the type was not/might not be accepted in some non-intuitive scenarios.

In PHPStan 2.0 this method will be removed and the return type of accepts() will change to AcceptsResult.

Implements

PHPStan\Type\Type::acceptsWithReason()

#


					
	public

isSuperTypeOf(Type $type): TrinaryLogic

Implements

PHPStan\Type\Type::isSuperTypeOf()

#


					
	public

equals(Type $type): bool

Implements

PHPStan\Type\Type::equals()

#


					
	public

isSmallerThan(Type $otherType): TrinaryLogic

Implements

PHPStan\Type\Type::isSmallerThan()

#


					
	public

isSmallerThanOrEqual(Type $otherType): TrinaryLogic

Implements

PHPStan\Type\Type::isSmallerThanOrEqual()

#


					
	public

describe(VerbosityLevel $level): string

Implements

PHPStan\Type\Type::describe()

#


					
	public

toNumber(): Type

Implements

PHPStan\Type\Type::toNumber()

#


					
	public

toString(): Type

Implements

PHPStan\Type\Type::toString()

#


					
	public

toInteger(): Type

Implements

PHPStan\Type\Type::toInteger()

#


					
	public

toFloat(): Type

Implements

PHPStan\Type\Type::toFloat()

#


					
	public

toArray(): Type

Implements

PHPStan\Type\Type::toArray()

#


					
	public

toArrayKey(): Type

Implements

PHPStan\Type\Type::toArrayKey()

#


					
	public

isOffsetAccessible(): TrinaryLogic

Implements

PHPStan\Type\Type::isOffsetAccessible()

#


					
	public

isOffsetAccessLegal(): TrinaryLogic

Implements

PHPStan\Type\Type::isOffsetAccessLegal()

#


					
	public

hasOffsetValueType(Type $offsetType): TrinaryLogic

Implements

PHPStan\Type\Type::hasOffsetValueType()

#


					
	public

getOffsetValueType(Type $offsetType): Type

Implements

PHPStan\Type\Type::getOffsetValueType()

#


					
	public

setOffsetValueType(?Type $offsetType, Type $valueType, bool $unionValues = true): Type

Implements

PHPStan\Type\Type::setOffsetValueType()

#


					
	public

setExistingOffsetValueType(Type $offsetType, Type $valueType): Type

Implements

PHPStan\Type\Type::setExistingOffsetValueType()

#


					
	public

unsetOffset(Type $offsetType): Type

Implements

PHPStan\Type\Type::unsetOffset()

#


					
	public

traverse(callable $cb): Type

Traverses inner types

Returns a new instance with all inner types mapped through $cb. Might return the same instance if inner types did not change.

Implements

PHPStan\Type\Type::traverse()

#


					
	public

traverseSimultaneously(Type $right, callable $cb): Type

Traverses inner types while keeping the same context in another type.

Implements

PHPStan\Type\Type::traverseSimultaneously()

#


					
	public

isNull(): TrinaryLogic

Implements

PHPStan\Type\Type::isNull()

#


					
	public

isConstantValue(): TrinaryLogic

Is Type of a known constant value? Includes literal strings, integers, floats, true, false, null, and array shapes.

Implements

PHPStan\Type\Type::isConstantValue()

#


					
	public

isConstantScalarValue(): TrinaryLogic

Is Type of a known constant scalar value? Includes literal strings, integers, floats, true, false, and null.

Implements

PHPStan\Type\Type::isConstantScalarValue()

#


					
	public

getConstantScalarTypes(): array

Implements

PHPStan\Type\Type::getConstantScalarTypes()

#


					
	public

getConstantScalarValues(): array

Implements

PHPStan\Type\Type::getConstantScalarValues()

#


					
	public

isTrue(): TrinaryLogic

Implements

PHPStan\Type\Type::isTrue()

#


					
	public

isFalse(): TrinaryLogic

Implements

PHPStan\Type\Type::isFalse()

#


					
	public

isBoolean(): TrinaryLogic

Implements

PHPStan\Type\Type::isBoolean()

#


					
	public

isFloat(): TrinaryLogic

Implements

PHPStan\Type\Type::isFloat()

#


					
	public

isInteger(): TrinaryLogic

Implements

PHPStan\Type\Type::isInteger()

#


					
	public

isString(): TrinaryLogic

Implements

PHPStan\Type\Type::isString()

#


					
	public

isNumericString(): TrinaryLogic

Implements

PHPStan\Type\Type::isNumericString()

#


					
	public

isNonEmptyString(): TrinaryLogic

Implements

PHPStan\Type\Type::isNonEmptyString()

#


					
	public

isNonFalsyString(): TrinaryLogic

Implements

PHPStan\Type\Type::isNonFalsyString()

#


					
	public

isLiteralString(): TrinaryLogic

Implements

PHPStan\Type\Type::isLiteralString()

#


					
	public

isClassStringType(): TrinaryLogic

Implements

PHPStan\Type\Type::isClassStringType()

#


					
	public

getClassStringObjectType(): Type

Returns object type Foo for class-string<Foo> and 'Foo' (if Foo is a valid class).

Implements

PHPStan\Type\Type::getClassStringObjectType()

#


					
	public

getObjectTypeOrClassStringObjectType(): Type

Returns object type Foo for class-string<Foo>, 'Foo' (if Foo is a valid class), and object type Foo.

Implements

PHPStan\Type\Type::getObjectTypeOrClassStringObjectType()

#


					
	public

isVoid(): TrinaryLogic

Implements

PHPStan\Type\Type::isVoid()

#


					
	public

isScalar(): TrinaryLogic

Implements

PHPStan\Type\Type::isScalar()

#


					
	public

looseCompare(Type $type, PhpVersion $phpVersion): BooleanType

Implements

PHPStan\Type\Type::looseCompare()

#


					
	public

getSmallerType(): Type

Implements

PHPStan\Type\Type::getSmallerType()

#


					
	public

getSmallerOrEqualType(): Type

Implements

PHPStan\Type\Type::getSmallerOrEqualType()

#


					
	public

getGreaterType(): Type

Implements

PHPStan\Type\Type::getGreaterType()

#


					
	public

getGreaterOrEqualType(): Type

Implements

PHPStan\Type\Type::getGreaterOrEqualType()

#


					
	public

getFiniteTypes(): array

Returns a list of finite values.

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.

Implements

PHPStan\Type\Type::getFiniteTypes()

#


					
	public

exponentiate(Type $exponent): Type

Implements

PHPStan\Type\Type::exponentiate()

#


					
	public

toPhpDocNode(): TypeNode

Implements

PHPStan\Type\Type::toPhpDocNode()

#


					
	public
					static

__set_state(mixed[] $properties): Type

Implements

PHPStan\Type\Type::__set_state()

#

Namespaces

Classes

Interfaces

Class PHPStan\Type\NullType

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements