Methods |
public
|
__construct(?Type $subtractedType = null)
|
#
|
public
|
getReferencedClasses(): array
|
#
|
public
|
getObjectClassNames(): array
|
#
|
public
|
getObjectClassReflections(): array
|
#
|
public
|
accepts(Type $type, bool $strictTypes): AcceptsResult
|
#
|
public
|
isSuperTypeOf(Type $type): IsSuperTypeOfResult
|
#
|
public
|
equals(Type $type): bool
|
#
|
public
|
describe(VerbosityLevel $level): string
|
#
|
public
|
isOffsetAccessLegal(): TrinaryLogic
|
#
|
public
|
getEnumCases(): array
|
#
|
public
|
subtract(Type $type): Type
|
#
|
public
|
getTypeWithoutSubtractedType(): Type
|
#
|
public
|
changeSubtractedType(?Type $subtractedType): Type
|
#
|
public
|
getSubtractedType(): ?Type
|
#
|
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.
Implements
|
#
|
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.
Implements
|
#
|
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
|
#
|
public
|
exponentiate(Type $exponent): Type
|
#
|
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
|
#
|
public
|
toPhpDocNode(): TypeNode
|
#
|