Class PHPStan\Type\StaticType

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

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

Located at src/Type/StaticType.php

Methods
`public`	`__construct(ClassReflection $classReflection, ?Type $subtractedType = null)` Overridden by `PHPStan\Type\ThisType::__construct()` `PHPStan\Type\Generic\GenericStaticType::__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` Overridden by `PHPStan\Type\Generic\GenericStaticType::getStaticObjectType()`	#
`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` Implements `PHPStan\Type\Type::accepts()`	#
`public`	`isSuperTypeOf(Type $type): IsSuperTypeOfResult` Overridden by `PHPStan\Type\ThisType::isSuperTypeOf()` `PHPStan\Type\Generic\GenericStaticType::isSuperTypeOf()` Implements `PHPStan\Type\Type::isSuperTypeOf()`	#
`public`	`equals(Type $type): bool` Implements `PHPStan\Type\Type::equals()`	#
`public`	`describe(VerbosityLevel $level): string` Overridden 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. 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`	`hasInstanceProperty(string $propertyName): TrinaryLogic` Implements `PHPStan\Type\Type::hasInstanceProperty()`	#
`public`	`getInstanceProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection` Implements `PHPStan\Type\Type::getInstanceProperty()`	#
`public`	`getUnresolvedInstancePropertyPrototype( string $propertyName, ClassMemberAccessAnswerer $scope, ): UnresolvedPropertyPrototypeReflection` Implements `PHPStan\Type\Type::getUnresolvedInstancePropertyPrototype()`	#
`public`	`hasStaticProperty(string $propertyName): TrinaryLogic` Implements `PHPStan\Type\Type::hasStaticProperty()`	#
`public`	`getStaticProperty(string $propertyName, ClassMemberAccessAnswerer $scope): ExtendedPropertyReflection` Implements `PHPStan\Type\Type::getStaticProperty()`	#
`public`	`getUnresolvedStaticPropertyPrototype( string $propertyName, ClassMemberAccessAnswerer $scope, ): UnresolvedPropertyPrototypeReflection` Implements `PHPStan\Type\Type::getUnresolvedStaticPropertyPrototype()`	#
`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` Overridden by `PHPStan\Type\ThisType::changeBaseClass()` `PHPStan\Type\Generic\GenericStaticType::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`	`getKeysArrayFiltered(Type $filterValueType, TrinaryLogic $strict): Type` Implements `PHPStan\Type\Type::getKeysArrayFiltered()`	#
`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, ?TrinaryLogic $strict = null): 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`	`spliceArray(Type $offsetType, Type $lengthType, Type $replacementType): Type` Implements `PHPStan\Type\Type::spliceArray()`	#
`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`	`toCoercedArgumentType(bool $strictTypes): Type` Tells how a type might change when passed to an argument or assigned to a typed property. Example: int is accepted by int\|float with strict_types = 1 Stringable is accepted by string\|Stringable even without strict_types. Tells how a type might change when passed to an argument or assigned to a typed property. Example: int is accepted by int\|float with strict_types = 1 Stringable is accepted by string\|Stringable even without strict_types. Implements `PHPStan\Type\Type::toCoercedArgumentType()`	#
`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. 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. Overridden by `PHPStan\Type\ThisType::traverse()` `PHPStan\Type\Generic\GenericStaticType::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. Overridden by `PHPStan\Type\ThisType::traverseSimultaneously()` `PHPStan\Type\Generic\GenericStaticType::traverseSimultaneously()` Implements `PHPStan\Type\Type::traverseSimultaneously()`	#
`public`	`subtract(Type $type): Type`	#
`public`	`getTypeWithoutSubtractedType(): Type`	#
`public`	`changeSubtractedType(?Type $subtractedType): Type` Overridden by `PHPStan\Type\ThisType::changeSubtractedType()` `PHPStan\Type\Generic\GenericStaticType::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. 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. 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` Overridden by `PHPStan\Type\ThisType::toPhpDocNode()` `PHPStan\Type\Generic\GenericStaticType::toPhpDocNode()` Implements `PHPStan\Type\Type::toPhpDocNode()`	#

Namespaces

Classes

Interfaces

Class PHPStan\Type\StaticType

Overridden by

Implements

Implements

Implements

Overridden by

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Overridden by

Implements

Implements

Overridden by

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Overridden 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