*/
private $types;
/**
* @var bool
*/
private $simple;
/**
* @var string
*/
private $kind;
// | &
/**
* Creates a Type object based on reflection. Resolves self, static and parent to the actual class name.
* If the subject has no type, it returns null.
* @param \ReflectionFunctionAbstract|\ReflectionParameter|\ReflectionProperty $reflection
*/
public static function fromReflection($reflection) : ?self
{
$type = $reflection instanceof \ReflectionFunctionAbstract ? $reflection->getReturnType() ?? (\PHP_VERSION_ID >= 80100 && $reflection instanceof \ReflectionMethod ? $reflection->getTentativeReturnType() : null) : $reflection->getType();
return $type ? self::fromReflectionType($type, $reflection, \true) : null;
}
/**
* @return $this|string
*/
private static function fromReflectionType(\ReflectionType $type, $of, bool $asObject)
{
if ($type instanceof \ReflectionNamedType) {
$name = self::resolve($type->getName(), $of);
return $asObject ? new self($type->allowsNull() && $name !== 'mixed' ? [$name, 'null'] : [$name]) : $name;
} elseif ($type instanceof \ReflectionUnionType || $type instanceof \ReflectionIntersectionType) {
return new self(\array_map(function ($t) use($of) {
return self::fromReflectionType($t, $of, \false);
}, $type->getTypes()), $type instanceof \ReflectionUnionType ? '|' : '&');
} else {
throw new Nette\InvalidStateException('Unexpected type of ' . Reflection::toString($of));
}
}
/**
* Creates the Type object according to the text notation.
*/
public static function fromString(string $type) : self
{
if (!Validators::isTypeDeclaration($type)) {
throw new Nette\InvalidArgumentException("Invalid type '{$type}'.");
}
if ($type[0] === '?') {
return new self([\substr($type, 1), 'null']);
}
$unions = [];
foreach (\explode('|', $type) as $part) {
$part = \explode('&', \trim($part, '()'));
$unions[] = \count($part) === 1 ? $part[0] : new self($part, '&');
}
return \count($unions) === 1 && $unions[0] instanceof self ? $unions[0] : new self($unions);
}
/**
* Resolves 'self', 'static' and 'parent' to the actual class name.
* @param \ReflectionFunctionAbstract|\ReflectionParameter|\ReflectionProperty $of
*/
public static function resolve(string $type, $of) : string
{
$lower = \strtolower($type);
if ($of instanceof \ReflectionFunction) {
return $type;
} elseif ($lower === 'self') {
return $of->getDeclaringClass()->name;
} elseif ($lower === 'static') {
return ($of instanceof ReflectionMethod ? $of->getOriginalClass() : $of->getDeclaringClass())->name;
} elseif ($lower === 'parent' && $of->getDeclaringClass()->getParentClass()) {
return $of->getDeclaringClass()->getParentClass()->name;
} else {
return $type;
}
}
private function __construct(array $types, string $kind = '|')
{
$o = \array_search('null', $types, \true);
if ($o !== \false) {
// null as last
\array_splice($types, $o, 1);
$types[] = 'null';
}
$this->types = $types;
$this->simple = \is_string($types[0]) && ($types[1] ?? 'null') === 'null';
$this->kind = \count($types) > 1 ? $kind : '';
}
public function __toString() : string
{
$multi = \count($this->types) > 1;
if ($this->simple) {
return ($multi ? '?' : '') . $this->types[0];
}
$res = [];
foreach ($this->types as $type) {
$res[] = $type instanceof self && $multi ? "({$type})" : $type;
}
return \implode($this->kind, $res);
}
/**
* Returns the array of subtypes that make up the compound type as strings.
* @return array
*/
public function getNames() : array
{
return \array_map(function ($t) {
return $t instanceof self ? $t->getNames() : $t;
}, $this->types);
}
/**
* Returns the array of subtypes that make up the compound type as Type objects:
* @return self[]
*/
public function getTypes() : array
{
return \array_map(function ($t) {
return $t instanceof self ? $t : new self([$t]);
}, $this->types);
}
/**
* Returns the type name for simple types, otherwise null.
*/
public function getSingleName() : ?string
{
return $this->simple ? $this->types[0] : null;
}
/**
* Returns true whether it is a union type.
*/
public function isUnion() : bool
{
return $this->kind === '|';
}
/**
* Returns true whether it is an intersection type.
*/
public function isIntersection() : bool
{
return $this->kind === '&';
}
/**
* Returns true whether it is a simple type. Single nullable types are also considered to be simple types.
*/
public function isSimple() : bool
{
return $this->simple;
}
/** @deprecated use isSimple() */
public function isSingle() : bool
{
return $this->simple;
}
/**
* Returns true whether the type is both a simple and a PHP built-in type.
*/
public function isBuiltin() : bool
{
return $this->simple && Validators::isBuiltinType($this->types[0]);
}
/**
* Returns true whether the type is both a simple and a class name.
*/
public function isClass() : bool
{
return $this->simple && !Validators::isBuiltinType($this->types[0]);
}
/**
* Determines if type is special class name self/parent/static.
*/
public function isClassKeyword() : bool
{
return $this->simple && Validators::isClassKeyword($this->types[0]);
}
/**
* Verifies type compatibility. For example, it checks if a value of a certain type could be passed as a parameter.
*/
public function allows(string $subtype) : bool
{
if ($this->types === ['mixed']) {
return \true;
}
$subtype = self::fromString($subtype);
return $subtype->isUnion() ? Arrays::every($subtype->types, function ($t) {
return $this->allows2($t instanceof self ? $t->types : [$t]);
}) : $this->allows2($subtype->types);
}
private function allows2(array $subtypes) : bool
{
return $this->isUnion() ? Arrays::some($this->types, function ($t) use($subtypes) {
return $this->allows3($t instanceof self ? $t->types : [$t], $subtypes);
}) : $this->allows3($this->types, $subtypes);
}
private function allows3(array $types, array $subtypes) : bool
{
return Arrays::every($types, function ($type) use($subtypes) {
return Arrays::some($subtypes, function ($subtype) use($type) {
return Validators::isBuiltinType($type) ? \strcasecmp($type, $subtype) === 0 : \is_a($subtype, $type, \true);
});
});
}
}