TupleType.php

Go to the documentation of this file.

<?php
 
namespace ILIAS\BackgroundTasks\Types;
 
class TupleType implements Type
{
    protected array $types = [];
 
    public function __construct(array $fullyQualifiedClassNames)
    {
        foreach ($fullyQualifiedClassNames as $fullyQualifiedClassName) {
            if (!is_a($fullyQualifiedClassName, Type::class)) {
                $fullyQualifiedClassName = new SingleType($fullyQualifiedClassName);
            }
            $this->types[] = $fullyQualifiedClassName;
        }
    }
 
    public function __toString(): string
    {
        return "(" . implode(", ", $this->types) . ")";
    }
 
    public function isExtensionOf(Type $type): bool
    {
        if (!$type instanceof TupleType) {
            return false;
        }
 
        $others = $type->getTypes();
        foreach ($this->types as $i => $type) {
            if (!$type->isExtensionOf($others[$i])) {
                return false;
            }
        }
 
        return true;
    }
 
    public function getTypes(): array
    {
        return $this->types;
    }
 
    public function equals(Type $otherType): bool
    {
        if (!$otherType instanceof TupleType) {
            return false;
        }
 
        foreach ($this->types as $i => $type) {
            $otherTypes = $otherType->getTypes();
            if (!$otherTypes[$i]->equals($type)) {
                return false;
            }
        }
 
        return true;
    }
}