34 foreach ($fullyQualifiedClassNames as $fullyQualifiedClassName) {
35 if (!is_a($fullyQualifiedClassName, Type::class)) {
36 $fullyQualifiedClassName =
new SingleType($fullyQualifiedClassName);
38 $this->types[] = $fullyQualifiedClassName;
47 return "(" . implode(
", ", $this->types) .
")";
60 $others = $type->getTypes();
61 foreach ($this->types as $i => $type) {
87 foreach ($this->types as $i => $type) {
88 $otherTypes = $otherType->getTypes();
89 if (!$otherTypes[$i]->
equals($type)) {
isExtensionOf(Type $type)
tuple A is a subtype of tuple B, iff every element i of tuple A is a subtype of element i of tuple B...
__construct(array $fullyQualifiedClassNames)
SingleType constructor.
equals(Type $otherType)
returns true if the two types are equal.
__toString()
string A string representation of the Type.
isExtensionOf(Type $type)
Is this type a subtype of $type.
This file is part of ILIAS, a powerful learning management system published by ILIAS open source e-Le...