Class PHPStan\Type\StaticType

`implements`	`TypeWithClassName, SubtractableType`
`uses`	`NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait`

Methods
`public`	`__construct(ClassReflection $classReflection, ?Type $subtractedType = null)` Overriden by `PHPStan\Type\ThisType::__construct()`	#
`public`	`getClassName(): string` Implements `PHPStan\Type\TypeWithClassName::getClassName()`	#
`public`	`getClassReflection(): ClassReflection` Implements `PHPStan\Type\TypeWithClassName::getClassReflection()`	#
`public`	`getAncestorWithClassName(string $className): ?TypeWithClassName` Implements `PHPStan\Type\TypeWithClassName::getAncestorWithClassName()`	#
`public`	`getStaticObjectType(): ObjectType`	#
`public`	`getReferencedClasses(): array` Implements `PHPStan\Type\Type::getReferencedClasses()`	#
`public`	`getObjectClassNames(): array` Implements `PHPStan\Type\Type::getObjectClassNames()`	#
`public`	`getObjectClassReflections(): array` Implements `PHPStan\Type\Type::getObjectClassReflections()`	#
`public`	`getArrays(): array` Implements `PHPStan\Type\Type::getArrays()`	#
`public`	`getConstantArrays(): array` Implements `PHPStan\Type\Type::getConstantArrays()`	#
`public`	`getConstantStrings(): array` Implements `PHPStan\Type\Type::getConstantStrings()`	#
`public`	`accepts(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::accepts()`	#
`public`	`isSuperTypeOf(Type $type): IsSuperTypeOfResult` Overriden by `PHPStan\Type\ThisType::isSuperTypeOf()` Implements `PHPStan\Type\Type::isSuperTypeOf()`	#
`public`	`equals(Type $type): bool` Implements `PHPStan\Type\Type::equals()`	#
`public`	`describe(VerbosityLevel $level): string` Overriden by `PHPStan\Type\ThisType::describe()` Implements `PHPStan\Type\Type::describe()`	#
`public`	`getTemplateType(string $ancestorClassName, string $templateTypeName): Type` Returns actual template type for a given object. Returns actual template type for a given object. Example: @-template T class Foo {} // $fooType is Foo $t = $fooType->getTemplateType(Foo::class, 'T'); $t->isInteger(); // yes Returns ErrorType in case of a missing type. Implements `PHPStan\Type\Type::getTemplateType()`	#
`public`	`isObject(): TrinaryLogic` Implements `PHPStan\Type\Type::isObject()`	#
`public`	`isEnum(): TrinaryLogic` Implements `PHPStan\Type\Type::isEnum()`	#
`public`	`canAccessProperties(): TrinaryLogic` Implements `PHPStan\Type\Type::canAccessProperties()`	#
`public`	`hasProperty(string $propertyName): TrinaryLogic` Implements `PHPStan\Type\Type::hasProperty()`	#
`public`	`getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection` Implements `PHPStan\Type\Type::getProperty()`	#
`public`	`getUnresolvedPropertyPrototype( string $propertyName, ClassMemberAccessAnswerer $scope, ): UnresolvedPropertyPrototypeReflection` Implements `PHPStan\Type\Type::getUnresolvedPropertyPrototype()`	#
`public`	`canCallMethods(): TrinaryLogic` Implements `PHPStan\Type\Type::canCallMethods()`	#
`public`	`hasMethod(string $methodName): TrinaryLogic` Implements `PHPStan\Type\Type::hasMethod()`	#
`public`	`getMethod(string $methodName, ClassMemberAccessAnswerer $scope): ExtendedMethodReflection` Implements `PHPStan\Type\Type::getMethod()`	#
`public`	`getUnresolvedMethodPrototype(string $methodName, ClassMemberAccessAnswerer $scope): UnresolvedMethodPrototypeReflection` Implements `PHPStan\Type\Type::getUnresolvedMethodPrototype()`	#
`public`	`canAccessConstants(): TrinaryLogic` Implements `PHPStan\Type\Type::canAccessConstants()`	#
`public`	`hasConstant(string $constantName): TrinaryLogic` Implements `PHPStan\Type\Type::hasConstant()`	#
`public`	`getConstant(string $constantName): ClassConstantReflection` Implements `PHPStan\Type\Type::getConstant()`	#
`public`	`changeBaseClass(ClassReflection $classReflection): self` Overriden by `PHPStan\Type\ThisType::changeBaseClass()`	#
`public`	`isIterable(): TrinaryLogic` Implements `PHPStan\Type\Type::isIterable()`	#
`public`	`isIterableAtLeastOnce(): TrinaryLogic` Implements `PHPStan\Type\Type::isIterableAtLeastOnce()`	#
`public`	`getArraySize(): Type` Implements `PHPStan\Type\Type::getArraySize()`	#
`public`	`getIterableKeyType(): Type` Implements `PHPStan\Type\Type::getIterableKeyType()`	#
`public`	`getFirstIterableKeyType(): Type` Implements `PHPStan\Type\Type::getFirstIterableKeyType()`	#
`public`	`getLastIterableKeyType(): Type` Implements `PHPStan\Type\Type::getLastIterableKeyType()`	#
`public`	`getIterableValueType(): Type` Implements `PHPStan\Type\Type::getIterableValueType()`	#
`public`	`getFirstIterableValueType(): Type` Implements `PHPStan\Type\Type::getFirstIterableValueType()`	#
`public`	`getLastIterableValueType(): Type` Implements `PHPStan\Type\Type::getLastIterableValueType()`	#
`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`	`getKeysArray(): Type` Implements `PHPStan\Type\Type::getKeysArray()`	#
`public`	`getValuesArray(): Type` Implements `PHPStan\Type\Type::getValuesArray()`	#
`public`	`chunkArray(Type $lengthType, TrinaryLogic $preserveKeys): Type` Implements `PHPStan\Type\Type::chunkArray()`	#
`public`	`fillKeysArray(Type $valueType): Type` Implements `PHPStan\Type\Type::fillKeysArray()`	#
`public`	`flipArray(): Type` Implements `PHPStan\Type\Type::flipArray()`	#
`public`	`intersectKeyArray(Type $otherArraysType): Type` Implements `PHPStan\Type\Type::intersectKeyArray()`	#
`public`	`popArray(): Type` Implements `PHPStan\Type\Type::popArray()`	#
`public`	`reverseArray(TrinaryLogic $preserveKeys): Type` Implements `PHPStan\Type\Type::reverseArray()`	#
`public`	`searchArray(Type $needleType): Type` Implements `PHPStan\Type\Type::searchArray()`	#
`public`	`shiftArray(): Type` Implements `PHPStan\Type\Type::shiftArray()`	#
`public`	`shuffleArray(): Type` Implements `PHPStan\Type\Type::shuffleArray()`	#
`public`	`sliceArray(Type $offsetType, Type $lengthType, TrinaryLogic $preserveKeys): Type` Implements `PHPStan\Type\Type::sliceArray()`	#
`public`	`isCallable(): TrinaryLogic` Implements `PHPStan\Type\Type::isCallable()`	#
`public`	`getEnumCases(): array` Implements `PHPStan\Type\Type::getEnumCases()`	#
`public`	`isArray(): TrinaryLogic` Implements `PHPStan\Type\Type::isArray()`	#
`public`	`isConstantArray(): TrinaryLogic` Implements `PHPStan\Type\Type::isConstantArray()`	#
`public`	`isOversizedArray(): TrinaryLogic` Implements `PHPStan\Type\Type::isOversizedArray()`	#
`public`	`isList(): TrinaryLogic` Implements `PHPStan\Type\Type::isList()`	#
`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`	`isLowercaseString(): TrinaryLogic` Implements `PHPStan\Type\Type::isLowercaseString()`	#
`public`	`isUppercaseString(): TrinaryLogic` Implements `PHPStan\Type\Type::isUppercaseString()`	#
`public`	`isClassString(): TrinaryLogic` Implements `PHPStan\Type\Type::isClassString()`	#
`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`	`getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope): array` Implements `PHPStan\Type\Type::getCallableParametersAcceptors()`	#
`public`	`isCloneable(): TrinaryLogic` Implements `PHPStan\Type\Type::isCloneable()`	#
`public`	`toNumber(): Type` Implements `PHPStan\Type\Type::toNumber()`	#
`public`	`toAbsoluteNumber(): Type` Implements `PHPStan\Type\Type::toAbsoluteNumber()`	#
`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`	`toBoolean(): BooleanType` Implements `PHPStan\Type\Type::toBoolean()`	#
`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. Overriden by `PHPStan\Type\ThisType::traverse()` 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. Overriden by `PHPStan\Type\ThisType::traverseSimultaneously()` Implements `PHPStan\Type\Type::traverseSimultaneously()`	#
`public`	`subtract(Type $type): Type`	#
`public`	`getTypeWithoutSubtractedType(): Type`	#
`public`	`changeSubtractedType(?Type $subtractedType): Type` Overriden by `PHPStan\Type\ThisType::changeSubtractedType()`	#
`public`	`getSubtractedType(): ?Type`	#
`public`	`tryRemove(Type $typeToRemove): ?Type` Return the difference with another type, or null if it cannot be represented. Return the difference with another type, or null if it cannot be represented. Implements `PHPStan\Type\Type::tryRemove()`	#
`public`	`exponentiate(Type $exponent): Type` Implements `PHPStan\Type\Type::exponentiate()`	#
`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`	`toPhpDocNode(): TypeNode` Overriden by `PHPStan\Type\ThisType::toPhpDocNode()` Implements `PHPStan\Type\Type::toPhpDocNode()`	#


					
	public

__construct(ClassReflection $classReflection, ?Type $subtractedType = null)

Overriden by

PHPStan\Type\ThisType::__construct()

#


					
	public

getClassName(): string

Implements

PHPStan\Type\TypeWithClassName::getClassName()

#


					
	public

getClassReflection(): ClassReflection

Implements

PHPStan\Type\TypeWithClassName::getClassReflection()

#


					
	public

getAncestorWithClassName(string $className): ?TypeWithClassName

Implements

PHPStan\Type\TypeWithClassName::getAncestorWithClassName()

#


					
	public

getStaticObjectType(): ObjectType

#


					
	public

getReferencedClasses(): array

Implements

PHPStan\Type\Type::getReferencedClasses()

#


					
	public

getObjectClassNames(): array

Implements

PHPStan\Type\Type::getObjectClassNames()

#


					
	public

getObjectClassReflections(): array

Implements

PHPStan\Type\Type::getObjectClassReflections()

#


					
	public

getArrays(): array

Implements

PHPStan\Type\Type::getArrays()

#


					
	public

getConstantArrays(): array

Implements

PHPStan\Type\Type::getConstantArrays()

#


					
	public

getConstantStrings(): array

Implements

PHPStan\Type\Type::getConstantStrings()

#


					
	public

accepts(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::accepts()

#


					
	public

isSuperTypeOf(Type $type): IsSuperTypeOfResult

Overriden by

PHPStan\Type\ThisType::isSuperTypeOf()

Implements

PHPStan\Type\Type::isSuperTypeOf()

#


					
	public

equals(Type $type): bool

Implements

PHPStan\Type\Type::equals()

#


					
	public

describe(VerbosityLevel $level): string

Overriden by

PHPStan\Type\ThisType::describe()

Implements

PHPStan\Type\Type::describe()

#


					
	public

getTemplateType(string $ancestorClassName, string $templateTypeName): Type

Returns actual template type for a given object.

Example:

@-template T class Foo {}

// $fooType is Foo $t = $fooType->getTemplateType(Foo::class, 'T'); $t->isInteger(); // yes

Returns ErrorType in case of a missing type.

Implements

PHPStan\Type\Type::getTemplateType()

#


					
	public

isObject(): TrinaryLogic

Implements

PHPStan\Type\Type::isObject()

#


					
	public

isEnum(): TrinaryLogic

Implements

PHPStan\Type\Type::isEnum()

#


					
	public

canAccessProperties(): TrinaryLogic

Implements

PHPStan\Type\Type::canAccessProperties()

#


					
	public

hasProperty(string $propertyName): TrinaryLogic

Implements

PHPStan\Type\Type::hasProperty()

#


					
	public

getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection

Implements

PHPStan\Type\Type::getProperty()

#


					
	public

getUnresolvedPropertyPrototype(
	string $propertyName,
	ClassMemberAccessAnswerer $scope,
): UnresolvedPropertyPrototypeReflection

Implements

PHPStan\Type\Type::getUnresolvedPropertyPrototype()

#


					
	public

canCallMethods(): TrinaryLogic

Implements

PHPStan\Type\Type::canCallMethods()

#


					
	public

hasMethod(string $methodName): TrinaryLogic

Implements

PHPStan\Type\Type::hasMethod()

#


					
	public

getMethod(string $methodName, ClassMemberAccessAnswerer $scope): ExtendedMethodReflection

Implements

PHPStan\Type\Type::getMethod()

#


					
	public

getUnresolvedMethodPrototype(string $methodName, ClassMemberAccessAnswerer $scope): UnresolvedMethodPrototypeReflection

Implements

PHPStan\Type\Type::getUnresolvedMethodPrototype()

#


					
	public

canAccessConstants(): TrinaryLogic

Implements

PHPStan\Type\Type::canAccessConstants()

#


					
	public

hasConstant(string $constantName): TrinaryLogic

Implements

PHPStan\Type\Type::hasConstant()

#


					
	public

getConstant(string $constantName): ClassConstantReflection

Implements

PHPStan\Type\Type::getConstant()

#


					
	public

changeBaseClass(ClassReflection $classReflection): self

Overriden by

PHPStan\Type\ThisType::changeBaseClass()

#


					
	public

isIterable(): TrinaryLogic

Implements

PHPStan\Type\Type::isIterable()

#


					
	public

isIterableAtLeastOnce(): TrinaryLogic

Implements

PHPStan\Type\Type::isIterableAtLeastOnce()

#


					
	public

getArraySize(): Type

Implements

PHPStan\Type\Type::getArraySize()

#


					
	public

getIterableKeyType(): Type

Implements

PHPStan\Type\Type::getIterableKeyType()

#


					
	public

getFirstIterableKeyType(): Type

Implements

PHPStan\Type\Type::getFirstIterableKeyType()

#


					
	public

getLastIterableKeyType(): Type

Implements

PHPStan\Type\Type::getLastIterableKeyType()

#


					
	public

getIterableValueType(): Type

Implements

PHPStan\Type\Type::getIterableValueType()

#


					
	public

getFirstIterableValueType(): Type

Implements

PHPStan\Type\Type::getFirstIterableValueType()

#


					
	public

getLastIterableValueType(): Type

Implements

PHPStan\Type\Type::getLastIterableValueType()

#


					
	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

getKeysArray(): Type

Implements

PHPStan\Type\Type::getKeysArray()

#


					
	public

getValuesArray(): Type

Implements

PHPStan\Type\Type::getValuesArray()

#


					
	public

chunkArray(Type $lengthType, TrinaryLogic $preserveKeys): Type

Implements

PHPStan\Type\Type::chunkArray()

#


					
	public

fillKeysArray(Type $valueType): Type

Implements

PHPStan\Type\Type::fillKeysArray()

#


					
	public

flipArray(): Type

Implements

PHPStan\Type\Type::flipArray()

#


					
	public

intersectKeyArray(Type $otherArraysType): Type

Implements

PHPStan\Type\Type::intersectKeyArray()

#


					
	public

popArray(): Type

Implements

PHPStan\Type\Type::popArray()

#


					
	public

reverseArray(TrinaryLogic $preserveKeys): Type

Implements

PHPStan\Type\Type::reverseArray()

#


					
	public

searchArray(Type $needleType): Type

Implements

PHPStan\Type\Type::searchArray()

#


					
	public

shiftArray(): Type

Implements

PHPStan\Type\Type::shiftArray()

#


					
	public

shuffleArray(): Type

Implements

PHPStan\Type\Type::shuffleArray()

#


					
	public

sliceArray(Type $offsetType, Type $lengthType, TrinaryLogic $preserveKeys): Type

Implements

PHPStan\Type\Type::sliceArray()

#


					
	public

isCallable(): TrinaryLogic

Implements

PHPStan\Type\Type::isCallable()

#


					
	public

getEnumCases(): array

Implements

PHPStan\Type\Type::getEnumCases()

#


					
	public

isArray(): TrinaryLogic

Implements

PHPStan\Type\Type::isArray()

#


					
	public

isConstantArray(): TrinaryLogic

Implements

PHPStan\Type\Type::isConstantArray()

#


					
	public

isOversizedArray(): TrinaryLogic

Implements

PHPStan\Type\Type::isOversizedArray()

#


					
	public

isList(): TrinaryLogic

Implements

PHPStan\Type\Type::isList()

#


					
	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

isLowercaseString(): TrinaryLogic

Implements

PHPStan\Type\Type::isLowercaseString()

#


					
	public

isUppercaseString(): TrinaryLogic

Implements

PHPStan\Type\Type::isUppercaseString()

#


					
	public

isClassString(): TrinaryLogic

Implements

PHPStan\Type\Type::isClassString()

#


					
	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

getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope): array

Implements

PHPStan\Type\Type::getCallableParametersAcceptors()

#


					
	public

isCloneable(): TrinaryLogic

Implements

PHPStan\Type\Type::isCloneable()

#


					
	public

toNumber(): Type

Implements

PHPStan\Type\Type::toNumber()

#


					
	public

toAbsoluteNumber(): Type

Implements

PHPStan\Type\Type::toAbsoluteNumber()

#


					
	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

toBoolean(): BooleanType

Implements

PHPStan\Type\Type::toBoolean()

#


					
	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.

Overriden by

PHPStan\Type\ThisType::traverse()

Implements

PHPStan\Type\Type::traverse()

#


					
	public

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

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

Overriden by

PHPStan\Type\ThisType::traverseSimultaneously()

Implements

PHPStan\Type\Type::traverseSimultaneously()

#


					
	public

subtract(Type $type): Type

#


					
	public

getTypeWithoutSubtractedType(): Type

#


					
	public

changeSubtractedType(?Type $subtractedType): Type

Overriden by

PHPStan\Type\ThisType::changeSubtractedType()

#


					
	public

getSubtractedType(): ?Type

#


					
	public

tryRemove(Type $typeToRemove): ?Type

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

Implements

PHPStan\Type\Type::tryRemove()

#


					
	public

exponentiate(Type $exponent): Type

Implements

PHPStan\Type\Type::exponentiate()

#


					
	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

toPhpDocNode(): TypeNode

Overriden by

PHPStan\Type\ThisType::toPhpDocNode()

Implements

PHPStan\Type\Type::toPhpDocNode()

#

Namespaces

Classes

Interfaces

Class PHPStan\Type\StaticType

Overriden by

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Overriden by

Implements

Implements

Overriden by

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Overriden by

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