| Methods |
public
|
__construct(ClassReflection $classReflection, ?Type $subtractedType = null)
|
#
|
public
|
changeBaseClass(ClassReflection $classReflection): StaticType
|
#
|
public
|
describe(VerbosityLevel $level): string
|
#
|
public
|
isSuperTypeOf(Type $type): IsSuperTypeOfResult
"Does every value of $type belong to $this type?" Preferable to instanceof checks because it correctly handles
union types, intersection types, and all other composite types.
"Does every value of $type belong to $this type?" Preferable to instanceof checks because it correctly handles
union types, intersection types, and all other composite types.
Overrides
|
#
|
public
|
changeSubtractedType(?Type $subtractedType): Type
|
#
|
public
|
traverse(callable $cb): Type
Returns a new instance with all inner types mapped through $cb.
Returns the same instance if inner types did not change. Not used directly — use TypeTraverser::map() instead.
Returns a new instance with all inner types mapped through $cb.
Returns the same instance if inner types did not change. Not used directly — use TypeTraverser::map() instead.
Overrides
|
#
|
public
|
traverseSimultaneously(Type $right, callable $cb): Type
Like traverse(), but walks two types simultaneously. Not used directly — use SimultaneousTypeTraverser::map() instead.
Like traverse(), but walks two types simultaneously. Not used directly — use SimultaneousTypeTraverser::map() instead.
Overrides
|
#
|
public
|
toPhpDocNode(): TypeNode
|
#
|
public
|
toClassConstantType(ReflectionProvider $reflectionProvider): Type
Models the type of $x::class. For known final classes the literal
class name is returned; for everything else an
IntersectionType[ClassString<X>, AccessoryLiteralStringType].
NullType passes through (mirrors PHP's nullsafe ::class semantics).
ReflectionProvider is needed for the final-class lookup.
Models the type of $x::class. For known final classes the literal
class name is returned; for everything else an
IntersectionType[ClassString<X>, AccessoryLiteralStringType].
NullType passes through (mirrors PHP's nullsafe ::class semantics).
ReflectionProvider is needed for the final-class lookup.
Overrides
|
#
|