| Methods |
public
|
__construct()
|
#
|
public
|
getReferencedClasses(): string[]
|
#
|
public
|
getObjectClassNames(): array
|
#
|
public
|
getObjectClassReflections(): array
|
#
|
public
|
getConstantStrings(): array
|
#
|
public
|
getValue(): null
|
#
|
public
|
generalize(GeneralizePrecision $precision): Type
|
#
|
public
|
accepts(Type $type, bool $strictTypes): TrinaryLogic
|
#
|
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.
Implements
|
#
|
public
|
isSuperTypeOf(Type $type): TrinaryLogic
|
#
|
public
|
equals(Type $type): bool
|
#
|
public
|
isSmallerThan(Type $otherType): TrinaryLogic
|
#
|
public
|
isSmallerThanOrEqual(Type $otherType): TrinaryLogic
|
#
|
public
|
describe(VerbosityLevel $level): string
|
#
|
public
|
toNumber(): Type
|
#
|
public
|
toString(): Type
|
#
|
public
|
toInteger(): Type
|
#
|
public
|
toFloat(): Type
|
#
|
public
|
toArray(): Type
|
#
|
public
|
toArrayKey(): Type
|
#
|
public
|
isOffsetAccessible(): TrinaryLogic
|
#
|
public
|
hasOffsetValueType(Type $offsetType): TrinaryLogic
|
#
|
public
|
getOffsetValueType(Type $offsetType): Type
|
#
|
public
|
setOffsetValueType(?Type $offsetType, Type $valueType, bool $unionValues = true): Type
|
#
|
public
|
unsetOffset(Type $offsetType): Type
|
#
|
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.
Implements
|
#
|
public
|
isNull(): TrinaryLogic
|
#
|
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
|
#
|
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
|
#
|
public
|
getConstantScalarTypes(): array
|
#
|
public
|
getConstantScalarValues(): array
|
#
|
public
|
isTrue(): TrinaryLogic
|
#
|
public
|
isFalse(): TrinaryLogic
|
#
|
public
|
isBoolean(): TrinaryLogic
|
#
|
public
|
isFloat(): TrinaryLogic
|
#
|
public
|
isInteger(): TrinaryLogic
|
#
|
public
|
isString(): TrinaryLogic
|
#
|
public
|
isNumericString(): TrinaryLogic
|
#
|
public
|
isNonEmptyString(): TrinaryLogic
|
#
|
public
|
isNonFalsyString(): TrinaryLogic
|
#
|
public
|
isLiteralString(): TrinaryLogic
|
#
|
public
|
isClassStringType(): TrinaryLogic
|
#
|
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
|
#
|
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
|
#
|
public
|
isVoid(): TrinaryLogic
|
#
|
public
|
isScalar(): TrinaryLogic
|
#
|
public
|
looseCompare(Type $type, PhpVersion $phpVersion): BooleanType
|
#
|
public
|
getSmallerType(): Type
|
#
|
public
|
getSmallerOrEqualType(): Type
|
#
|
public
|
getGreaterType(): Type
|
#
|
public
|
getGreaterOrEqualType(): Type
|
#
|
public
|
exponentiate(Type $exponent): Type
|
#
|
public
static
|
__set_state(mixed[] $properties): Type
|
#
|