Class PHPStan\Type\ObjectType

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

PHPStan\Type\ObjectType implements TypeWithClassName, SubtractableType uses MaybeIterableTypeTrait, NonArrayTypeTrait, NonGenericTypeTrait, UndecidedComparisonTypeTrait, NonGeneralizableTypeTrait
- PHPStan\Type\Enum\EnumCaseObjectType
- PHPStan\Type\Generic\GenericObjectType
  - PHPStan\Type\Generic\TemplateGenericObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait
- PHPStan\Type\Generic\TemplateObjectType implements TemplateType uses UndecidedComparisonCompoundTypeTrait, TemplateTypeTrait

Located at src/Type/ObjectType.php

Methods
`public`	`__construct(string $className, ?Type $subtractedType = null, ?ClassReflection $classReflection = null)` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::__construct()` `PHPStan\Type\Generic\GenericObjectType::__construct()` `PHPStan\Type\Generic\TemplateObjectType::__construct()`	#
`public static`	`resetCaches(): void`	#
`public`	`getClassName(): string` Implements `PHPStan\Type\TypeWithClassName::getClassName()`	#
`public`	`hasProperty(string $propertyName): TrinaryLogic` Implements `PHPStan\Type\Type::hasProperty()`	#
`public`	`getProperty(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection` Overriden by `PHPStan\Type\Generic\GenericObjectType::getProperty()` Implements `PHPStan\Type\Type::getProperty()`	#
`public`	`getUnresolvedPropertyPrototype( string $propertyName, ClassMemberAccessAnswerer $scope, ): UnresolvedPropertyPrototypeReflection` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::getUnresolvedPropertyPrototype()` `PHPStan\Type\Generic\GenericObjectType::getUnresolvedPropertyPrototype()` Implements `PHPStan\Type\Type::getUnresolvedPropertyPrototype()`	#
`public`	`getPropertyWithoutTransformingStatic(string $propertyName, ClassMemberAccessAnswerer $scope): PropertyReflection`	#
`public`	`getReferencedClasses(): string[]` Overriden by `PHPStan\Type\Generic\GenericObjectType::getReferencedClasses()` Implements `PHPStan\Type\Type::getReferencedClasses()`	#
`public`	`getObjectClassNames(): array` Implements `PHPStan\Type\Type::getObjectClassNames()`	#
`public`	`getObjectClassReflections(): array` Implements `PHPStan\Type\Type::getObjectClassReflections()`	#
`public`	`accepts(Type $type, bool $strictTypes): TrinaryLogic` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::accepts()` `PHPStan\Type\Generic\GenericObjectType::accepts()` 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. Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::acceptsWithReason()` `PHPStan\Type\Generic\GenericObjectType::acceptsWithReason()` Implements `PHPStan\Type\Type::acceptsWithReason()`	#
`public`	`isSuperTypeOf(Type $type): TrinaryLogic` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::isSuperTypeOf()` `PHPStan\Type\Generic\GenericObjectType::isSuperTypeOf()` Implements `PHPStan\Type\Type::isSuperTypeOf()`	#
`public`	`equals(Type $type): bool` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::equals()` `PHPStan\Type\Generic\GenericObjectType::equals()` Implements `PHPStan\Type\Type::equals()`	#
`public`	`describe(VerbosityLevel $level): string` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::describe()` `PHPStan\Type\Generic\GenericObjectType::describe()` Implements `PHPStan\Type\Type::describe()`	#
`protected`	`describeAdditionalCacheKey(): string`	#
`public`	`toNumber(): Type` Implements `PHPStan\Type\Type::toNumber()`	#
`public`	`toInteger(): Type` Implements `PHPStan\Type\Type::toInteger()`	#
`public`	`toFloat(): Type` Implements `PHPStan\Type\Type::toFloat()`	#
`public`	`toString(): Type` Implements `PHPStan\Type\Type::toString()`	#
`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`	`isObject(): TrinaryLogic` Implements `PHPStan\Type\Type::isObject()`	#
`public`	`isEnum(): TrinaryLogic` Implements `PHPStan\Type\Type::isEnum()`	#
`public`	`canAccessProperties(): TrinaryLogic` Implements `PHPStan\Type\Type::canAccessProperties()`	#
`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` Overriden by `PHPStan\Type\Generic\GenericObjectType::getMethod()` Implements `PHPStan\Type\Type::getMethod()`	#
`public`	`getUnresolvedMethodPrototype(string $methodName, ClassMemberAccessAnswerer $scope): UnresolvedMethodPrototypeReflection` Overriden by `PHPStan\Type\Generic\GenericObjectType::getUnresolvedMethodPrototype()` 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): ConstantReflection` Implements `PHPStan\Type\Type::getConstant()`	#
`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`	`getConstantStrings(): array` Implements `PHPStan\Type\Type::getConstantStrings()`	#
`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`	`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`	`isOffsetAccessible(): TrinaryLogic` Implements `PHPStan\Type\Type::isOffsetAccessible()`	#
`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`	`getEnumCases(): array` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::getEnumCases()` Implements `PHPStan\Type\Type::getEnumCases()`	#
`public`	`isCallable(): TrinaryLogic` Implements `PHPStan\Type\Type::isCallable()`	#
`public`	`getCallableParametersAcceptors(ClassMemberAccessAnswerer $scope): array` Implements `PHPStan\Type\Type::getCallableParametersAcceptors()`	#
`public`	`isCloneable(): TrinaryLogic` Implements `PHPStan\Type\Type::isCloneable()`	#
`public static`	`__set_state(mixed[] $properties): Type` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::__set_state()` `PHPStan\Type\Generic\GenericObjectType::__set_state()` Implements `PHPStan\Type\Type::__set_state()`	#
`public`	`isInstanceOf(string $className): TrinaryLogic`	#
`public`	`subtract(Type $type): Type` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::subtract()`	#
`public`	`getTypeWithoutSubtractedType(): Type` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::getTypeWithoutSubtractedType()`	#
`public`	`changeSubtractedType(?Type $subtractedType): Type` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::changeSubtractedType()` `PHPStan\Type\Generic\GenericObjectType::changeSubtractedType()`	#
`public`	`getSubtractedType(): ?Type` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::getSubtractedType()`	#
`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\Generic\GenericObjectType::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\Generic\GenericObjectType::traverseSimultaneously()` Implements `PHPStan\Type\Type::traverseSimultaneously()`	#
`public`	`getNakedClassReflection(): ?ClassReflection`	#
`public`	`getClassReflection(): ?ClassReflection` Overriden by `PHPStan\Type\Generic\GenericObjectType::getClassReflection()` Implements `PHPStan\Type\TypeWithClassName::getClassReflection()`	#
`public`	`getAncestorWithClassName(string $className): self\|null` Implements `PHPStan\Type\TypeWithClassName::getAncestorWithClassName()`	#
`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. Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::tryRemove()` Implements `PHPStan\Type\Type::tryRemove()`	#
`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` Overriden by `PHPStan\Type\Enum\EnumCaseObjectType::toPhpDocNode()` `PHPStan\Type\Generic\GenericObjectType::toPhpDocNode()` Implements `PHPStan\Type\Type::toPhpDocNode()`	#

Namespaces

Classes

Interfaces

Class PHPStan\Type\ObjectType

Overriden by

Implements

Implements

Overriden by

Implements

Overriden by

Implements

Overriden by

Implements

Implements

Implements

Overriden by

Implements

Overriden by

Implements

Overriden by

Implements

Overriden by

Implements

Overriden by

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Implements

Overriden by

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