Class PHPStan\Type\Generic\GenericStaticType

`extends`	`StaticType`

PHPStan\Type\StaticType implements TypeWithClassName, SubtractableType uses NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\Generic\GenericStaticType

Located at src/Type/Generic/GenericStaticType.php

Methods


					
	public

__construct(
	ClassReflection $classReflection,
	array<int, Type> $types,
	?Type $subtractedType,
	array<int, TemplateTypeVariance> $variances,
)

Overrides

PHPStan\Type\StaticType::__construct()


					
	public

getTypes(): array<int, Type>


					
	public

getVariances(): array<int, TemplateTypeVariance>


					
	public

getStaticObjectType(): ObjectType

Overrides

PHPStan\Type\StaticType::getStaticObjectType()


					
	public

changeBaseClass(ClassReflection $classReflection): StaticType

Overrides

PHPStan\Type\StaticType::changeBaseClass()


					
	public

isSuperTypeOf(Type $type): IsSuperTypeOfResult

Overrides

PHPStan\Type\StaticType::isSuperTypeOf()


					
	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.

Overrides

PHPStan\Type\StaticType::traverse()


					
	public

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

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

Overrides

PHPStan\Type\StaticType::traverseSimultaneously()


					
	public

changeSubtractedType(?Type $subtractedType): Type

Overrides

PHPStan\Type\StaticType::changeSubtractedType()


					
	public

inferTemplateTypes(Type $receivedType): TemplateTypeMap

Infers template types

Infers the real Type of the TemplateTypes found in $this, based on the received Type.

Implements

PHPStan\Type\Type::inferTemplateTypes()


					
	public

getReferencedTemplateTypes(TemplateTypeVariance $positionVariance): array

Returns the template types referenced by this Type, recursively

The return value is a list of TemplateTypeReferences, who contain the referenced template type as well as the variance position in which it was found.

For example, calling this on array<Foo<T>,Bar> (with T a template type) will return one TemplateTypeReference for the type T.

Parameters

$positionVariance

The variance position in which the receiver type was found.

Implements

PHPStan\Type\Type::getReferencedTemplateTypes()


					
	public

toPhpDocNode(): TypeNode

Overrides

PHPStan\Type\StaticType::toPhpDocNode()

Methods inherited from PHPStan\Type\StaticType
getClassName(), getClassReflection(), getAncestorWithClassName(), getReferencedClasses(), getObjectClassNames(), getObjectClassReflections(), getArrays(), getConstantArrays(), getConstantStrings(), accepts(), equals(), describe(), getTemplateType(), isObject(), isEnum(), canAccessProperties(), hasProperty(), getProperty(), getUnresolvedPropertyPrototype(), canCallMethods(), hasMethod(), getMethod(), getUnresolvedMethodPrototype(), canAccessConstants(), hasConstant(), getConstant(), isIterable(), isIterableAtLeastOnce(), getArraySize(), getIterableKeyType(), getFirstIterableKeyType(), getLastIterableKeyType(), getIterableValueType(), getFirstIterableValueType(), getLastIterableValueType(), isOffsetAccessible(), isOffsetAccessLegal(), hasOffsetValueType(), getOffsetValueType(), setOffsetValueType(), setExistingOffsetValueType(), unsetOffset(), getKeysArray(), getValuesArray(), chunkArray(), fillKeysArray(), flipArray(), intersectKeyArray(), popArray(), reverseArray(), searchArray(), shiftArray(), shuffleArray(), sliceArray(), isCallable(), getEnumCases(), isArray(), isConstantArray(), isOversizedArray(), isList(), isNull(), isConstantValue(), isConstantScalarValue(), getConstantScalarTypes(), getConstantScalarValues(), isTrue(), isFalse(), isBoolean(), isFloat(), isInteger(), isString(), isNumericString(), isNonEmptyString(), isNonFalsyString(), isLiteralString(), isLowercaseString(), isUppercaseString(), isClassString(), getClassStringObjectType(), getObjectTypeOrClassStringObjectType(), isVoid(), isScalar(), looseCompare(), getCallableParametersAcceptors(), isCloneable(), toNumber(), toAbsoluteNumber(), toString(), toInteger(), toFloat(), toArray(), toArrayKey(), toCoercedArgumentType(), toBoolean(), subtract(), getTypeWithoutSubtractedType(), getSubtractedType(), tryRemove(), exponentiate(), getFiniteTypes(),

Methods inherited from PHPStan\Type\StaticType

getClassName(), getClassReflection(), getAncestorWithClassName(), getReferencedClasses(), getObjectClassNames(), getObjectClassReflections(), getArrays(), getConstantArrays(), getConstantStrings(), accepts(), equals(), describe(), getTemplateType(), isObject(), isEnum(), canAccessProperties(), hasProperty(), getProperty(), getUnresolvedPropertyPrototype(), canCallMethods(), hasMethod(), getMethod(), getUnresolvedMethodPrototype(), canAccessConstants(), hasConstant(), getConstant(), isIterable(), isIterableAtLeastOnce(), getArraySize(), getIterableKeyType(), getFirstIterableKeyType(), getLastIterableKeyType(), getIterableValueType(), getFirstIterableValueType(), getLastIterableValueType(), isOffsetAccessible(), isOffsetAccessLegal(), hasOffsetValueType(), getOffsetValueType(), setOffsetValueType(), setExistingOffsetValueType(), unsetOffset(), getKeysArray(), getValuesArray(), chunkArray(), fillKeysArray(), flipArray(), intersectKeyArray(), popArray(), reverseArray(), searchArray(), shiftArray(), shuffleArray(), sliceArray(), isCallable(), getEnumCases(), isArray(), isConstantArray(), isOversizedArray(), isList(), isNull(), isConstantValue(), isConstantScalarValue(), getConstantScalarTypes(), getConstantScalarValues(), isTrue(), isFalse(), isBoolean(), isFloat(), isInteger(), isString(), isNumericString(), isNonEmptyString(), isNonFalsyString(), isLiteralString(), isLowercaseString(), isUppercaseString(), isClassString(), getClassStringObjectType(), getObjectTypeOrClassStringObjectType(), isVoid(), isScalar(), looseCompare(), getCallableParametersAcceptors(), isCloneable(), toNumber(), toAbsoluteNumber(), toString(), toInteger(), toFloat(), toArray(), toArrayKey(), toCoercedArgumentType(), toBoolean(), subtract(), getTypeWithoutSubtractedType(), getSubtractedType(), tryRemove(), exponentiate(), getFiniteTypes(),

Namespaces

Classes

Interfaces

Class PHPStan\Type\Generic\GenericStaticType

Overrides

Overrides

Overrides

Overrides

Overrides

Overrides

Overrides

Implements

Parameters

Implements

Overrides