<h2>Editing File: /opt/alt/php83/usr/lib64/build/gen_stub.php</h2><form method='post'><textarea name='content' class='file-edit'>#!/usr/bin/env php
&lt;?php declare(strict_types=1);

use PhpParser\Comment\Doc as DocComment;
use PhpParser\ConstExprEvaluator;
use PhpParser\Node;
use PhpParser\Node\AttributeGroup;
use PhpParser\Node\Expr;
use PhpParser\Node\Name;
use PhpParser\Node\Stmt;
use PhpParser\Node\Stmt\Class_;
use PhpParser\Node\Stmt\Enum_;
use PhpParser\Node\Stmt\Interface_;
use PhpParser\Node\Stmt\Trait_;
use PhpParser\PrettyPrinter\Standard;
use PhpParser\PrettyPrinterAbstract;

error_reporting(E_ALL);
ini_set(&quot;precision&quot;, &quot;-1&quot;);

const PHP_70_VERSION_ID = 70000;
const PHP_80_VERSION_ID = 80000;
const PHP_81_VERSION_ID = 80100;
const PHP_82_VERSION_ID = 80200;
const PHP_83_VERSION_ID = 80300;
const ALL_PHP_VERSION_IDS = [PHP_70_VERSION_ID, PHP_80_VERSION_ID, PHP_81_VERSION_ID, PHP_82_VERSION_ID, PHP_83_VERSION_ID];

/**
 * @return FileInfo[]
 */
function processDirectory(string $dir, Context $context): array {
    $pathNames = [];
    $it = new RecursiveIteratorIterator(
        new RecursiveDirectoryIterator($dir),
        RecursiveIteratorIterator::LEAVES_ONLY
    );
    foreach ($it as $file) {
        $pathName = $file-&gt;getPathName();
        if (preg_match('/\.stub\.php$/', $pathName)) {
            $pathNames[] = $pathName;
        }
    }

    // Make sure stub files are processed in a predictable, system-independent order.
    sort($pathNames);

    $fileInfos = [];
    foreach ($pathNames as $pathName) {
        $fileInfo = processStubFile($pathName, $context);
        if ($fileInfo) {
            $fileInfos[] = $fileInfo;
        }
    }
    return $fileInfos;
}

function processStubFile(string $stubFile, Context $context, bool $includeOnly = false): ?FileInfo {
    try {
        if (!file_exists($stubFile)) {
            throw new Exception(&quot;File $stubFile does not exist&quot;);
        }

        if (!$includeOnly) {
            $stubFilenameWithoutExtension = str_replace(&quot;.stub.php&quot;, &quot;&quot;, $stubFile);
            $arginfoFile = &quot;{$stubFilenameWithoutExtension}_arginfo.h&quot;;
            $legacyFile = &quot;{$stubFilenameWithoutExtension}_legacy_arginfo.h&quot;;

            $stubCode = file_get_contents($stubFile);
            $stubHash = computeStubHash($stubCode);
            $oldStubHash = extractStubHash($arginfoFile);
            if ($stubHash === $oldStubHash &amp;&amp; !$context-&gt;forceParse) {
                /* Stub file did not change, do not regenerate. */
                return null;
            }
        }

        if (!$fileInfo = $context-&gt;parsedFiles[$stubFile] ?? null) {
            initPhpParser();
            $fileInfo = parseStubFile($stubCode ?? file_get_contents($stubFile));
            $context-&gt;parsedFiles[$stubFile] = $fileInfo;

            foreach ($fileInfo-&gt;dependencies as $dependency) {
                // TODO add header search path for extensions?
                $prefixes = [dirname($stubFile) . &quot;/&quot;, dirname(__DIR__) . &quot;/&quot;];
                foreach ($prefixes as $prefix) {
                    $depFile = $prefix . $dependency;
                    if (file_exists($depFile)) {
                        break;
                    }
                    $depFile = null;
                }
                if (!$depFile) {
                    throw new Exception(&quot;File $stubFile includes a file $dependency which does not exist&quot;);
                }
                processStubFile($depFile, $context, true);
            }

            $constInfos = $fileInfo-&gt;getAllConstInfos();
            $context-&gt;allConstInfos = array_merge($context-&gt;allConstInfos, $constInfos);
        }

        if ($includeOnly) {
            return $fileInfo;
        }

        $arginfoCode = generateArgInfoCode(
            basename($stubFilenameWithoutExtension),
            $fileInfo,
            $context-&gt;allConstInfos,
            $stubHash
        );
        if (($context-&gt;forceRegeneration || $stubHash !== $oldStubHash) &amp;&amp; file_put_contents($arginfoFile, $arginfoCode)) {
            echo &quot;Saved $arginfoFile\n&quot;;
        }

        if ($fileInfo-&gt;generateLegacyArginfoForPhpVersionId !== null &amp;&amp; $fileInfo-&gt;generateLegacyArginfoForPhpVersionId &lt; PHP_80_VERSION_ID) {
            $legacyFileInfo = clone $fileInfo;

            foreach ($legacyFileInfo-&gt;getAllFuncInfos() as $funcInfo) {
                $funcInfo-&gt;discardInfoForOldPhpVersions();
            }
            foreach ($legacyFileInfo-&gt;getAllConstInfos() as $constInfo) {
                $constInfo-&gt;discardInfoForOldPhpVersions();
            }
            foreach ($legacyFileInfo-&gt;getAllPropertyInfos() as $propertyInfo) {
                $propertyInfo-&gt;discardInfoForOldPhpVersions();
            }

            $arginfoCode = generateArgInfoCode(
                basename($stubFilenameWithoutExtension),
                $legacyFileInfo,
                $context-&gt;allConstInfos,
                $stubHash
            );
            if (($context-&gt;forceRegeneration || $stubHash !== $oldStubHash) &amp;&amp; file_put_contents($legacyFile, $arginfoCode)) {
                echo &quot;Saved $legacyFile\n&quot;;
            }
        }

        return $fileInfo;
    } catch (Exception $e) {
        echo &quot;In $stubFile:\n{$e-&gt;getMessage()}\n&quot;;
        exit(1);
    }
}

function computeStubHash(string $stubCode): string {
    return sha1(str_replace(&quot;\r\n&quot;, &quot;\n&quot;, $stubCode));
}

function extractStubHash(string $arginfoFile): ?string {
    if (!file_exists($arginfoFile)) {
        return null;
    }

    $arginfoCode = file_get_contents($arginfoFile);
    if (!preg_match('/\* Stub hash: ([0-9a-f]+) \*/', $arginfoCode, $matches)) {
        return null;
    }

    return $matches[1];
}

class Context {
    public bool $forceParse = false;
    public bool $forceRegeneration = false;
    /** @var iterable&lt;ConstInfo&gt; */
    public iterable $allConstInfos = [];
    /** @var FileInfo[] */
    public array $parsedFiles = [];
}

class ArrayType extends SimpleType {
    public Type $keyType;
    public Type $valueType;

    public static function createGenericArray(): self
    {
        return new ArrayType(Type::fromString(&quot;int|string&quot;), Type::fromString(&quot;mixed|ref&quot;));
    }

    public function __construct(Type $keyType, Type $valueType)
    {
        parent::__construct(&quot;array&quot;, true);

        $this-&gt;keyType = $keyType;
        $this-&gt;valueType = $valueType;
    }

    public function toOptimizerTypeMask(): string {
        $typeMasks = [
            parent::toOptimizerTypeMask(),
            $this-&gt;keyType-&gt;toOptimizerTypeMaskForArrayKey(),
            $this-&gt;valueType-&gt;toOptimizerTypeMaskForArrayValue(),
        ];

        return implode(&quot;|&quot;, $typeMasks);
    }

    public function equals(SimpleType $other): bool {
        if (!parent::equals($other)) {
            return false;
        }

        assert(get_class($other) === self::class);

        return Type::equals($this-&gt;keyType, $other-&gt;keyType) &amp;&amp;
            Type::equals($this-&gt;valueType, $other-&gt;valueType);
    }
}

class SimpleType {
    public string $name;
    public bool $isBuiltin;

    public static function fromNode(Node $node): SimpleType {
        if ($node instanceof Node\Name) {
            if ($node-&gt;toLowerString() === 'static') {
                // PHP internally considers &quot;static&quot; a builtin type.
                return new SimpleType($node-&gt;toLowerString(), true);
            }

            if ($node-&gt;toLowerString() === 'self') {
                throw new Exception('The exact class name must be used instead of &quot;self&quot;');
            }

            assert($node-&gt;isFullyQualified());
            return new SimpleType($node-&gt;toString(), false);
        }

        if ($node instanceof Node\Identifier) {
            if ($node-&gt;toLowerString() === 'array') {
                return ArrayType::createGenericArray();
            }

            return new SimpleType($node-&gt;toLowerString(), true);
        }

        throw new Exception(&quot;Unexpected node type&quot;);
    }

    public static function fromString(string $typeString): SimpleType
    {
        switch (strtolower($typeString)) {
            case &quot;void&quot;:
            case &quot;null&quot;:
            case &quot;false&quot;:
            case &quot;true&quot;:
            case &quot;bool&quot;:
            case &quot;int&quot;:
            case &quot;float&quot;:
            case &quot;string&quot;:
            case &quot;callable&quot;:
            case &quot;object&quot;:
            case &quot;resource&quot;:
            case &quot;mixed&quot;:
            case &quot;static&quot;:
            case &quot;never&quot;:
            case &quot;ref&quot;:
                return new SimpleType(strtolower($typeString), true);
            case &quot;array&quot;:
                return ArrayType::createGenericArray();
            case &quot;self&quot;:
                throw new Exception('The exact class name must be used instead of &quot;self&quot;');
            case &quot;iterable&quot;:
                throw new Exception('This should not happen');
        }

        $matches = [];
        $isArray = preg_match(&quot;/(.*)\s*\[\s*\]/&quot;, $typeString, $matches);
        if ($isArray) {
            return new ArrayType(Type::fromString(&quot;int&quot;), Type::fromString($matches[1]));
        }

        $matches = [];
        $isArray = preg_match(&quot;/array\s*&lt;\s*([A-Za-z0-9_|-]+)?(\s*,\s*)?([A-Za-z0-9_|-]+)?\s*&gt;/i&quot;, $typeString, $matches);
        if ($isArray) {
            if (empty($matches[1]) || empty($matches[3])) {
                throw new Exception(&quot;array&lt;&gt; type hint must have both a key and a value&quot;);
            }

            return new ArrayType(Type::fromString($matches[1]), Type::fromString($matches[3]));
        }

        return new SimpleType($typeString, false);
    }

    /**
     * @param mixed $value
     */
    public static function fromValue($value): SimpleType
    {
        switch (gettype($value)) {
            case &quot;NULL&quot;:
                return SimpleType::null();
            case &quot;boolean&quot;:
                return SimpleType::bool();
            case &quot;integer&quot;:
                return SimpleType::int();
            case &quot;double&quot;:
                return SimpleType::float();
            case &quot;string&quot;:
                return SimpleType::string();
            case &quot;array&quot;:
                return SimpleType::array();
            case &quot;object&quot;:
                return SimpleType::object();
            default:
                throw new Exception(&quot;Type \&quot;&quot; . gettype($value) . &quot;\&quot; cannot be inferred based on value&quot;);
        }
    }

    public static function null(): SimpleType
    {
        return new SimpleType(&quot;null&quot;, true);
    }

    public static function bool(): SimpleType
    {
        return new SimpleType(&quot;bool&quot;, true);
    }

    public static function int(): SimpleType
    {
        return new SimpleType(&quot;int&quot;, true);
    }

    public static function float(): SimpleType
    {
        return new SimpleType(&quot;float&quot;, true);
    }

    public static function string(): SimpleType
    {
        return new SimpleType(&quot;string&quot;, true);
    }

    public static function array(): SimpleType
    {
        return new SimpleType(&quot;array&quot;, true);
    }

    public static function object(): SimpleType
    {
        return new SimpleType(&quot;object&quot;, true);
    }

    public static function void(): SimpleType
    {
        return new SimpleType(&quot;void&quot;, true);
    }

    protected function __construct(string $name, bool $isBuiltin) {
        $this-&gt;name = $name;
        $this-&gt;isBuiltin = $isBuiltin;
    }

    public function isScalar(): bool {
        return $this-&gt;isBuiltin &amp;&amp; in_array($this-&gt;name, [&quot;null&quot;, &quot;false&quot;, &quot;true&quot;, &quot;bool&quot;, &quot;int&quot;, &quot;float&quot;], true);
    }

    public function isNull(): bool {
        return $this-&gt;isBuiltin &amp;&amp; $this-&gt;name === 'null';
    }

    public function isBool(): bool {
        return $this-&gt;isBuiltin &amp;&amp; $this-&gt;name === 'bool';
    }

    public function isInt(): bool {
        return $this-&gt;isBuiltin &amp;&amp; $this-&gt;name === 'int';
    }

    public function isFloat(): bool {
        return $this-&gt;isBuiltin &amp;&amp; $this-&gt;name === 'float';
    }

    public function isString(): bool {
        return $this-&gt;isBuiltin &amp;&amp; $this-&gt;name === 'string';
    }

    public function isArray(): bool {
        return $this-&gt;isBuiltin &amp;&amp; $this-&gt;name === 'array';
    }

    public function toTypeCode(): string {
        assert($this-&gt;isBuiltin);
        switch ($this-&gt;name) {
            case &quot;bool&quot;:
                return &quot;_IS_BOOL&quot;;
            case &quot;int&quot;:
                return &quot;IS_LONG&quot;;
            case &quot;float&quot;:
                return &quot;IS_DOUBLE&quot;;
            case &quot;string&quot;:
                return &quot;IS_STRING&quot;;
            case &quot;array&quot;:
                return &quot;IS_ARRAY&quot;;
            case &quot;object&quot;:
                return &quot;IS_OBJECT&quot;;
            case &quot;void&quot;:
                return &quot;IS_VOID&quot;;
            case &quot;callable&quot;:
                return &quot;IS_CALLABLE&quot;;
            case &quot;mixed&quot;:
                return &quot;IS_MIXED&quot;;
            case &quot;static&quot;:
                return &quot;IS_STATIC&quot;;
            case &quot;never&quot;:
                return &quot;IS_NEVER&quot;;
            case &quot;null&quot;:
                return &quot;IS_NULL&quot;;
            case &quot;false&quot;:
                return &quot;IS_FALSE&quot;;
            case &quot;true&quot;:
                return &quot;IS_TRUE&quot;;
            default:
                throw new Exception(&quot;Not implemented: $this-&gt;name&quot;);
        }
    }

    public function toTypeMask(): string {
        assert($this-&gt;isBuiltin);

        switch ($this-&gt;name) {
            case &quot;null&quot;:
                return &quot;MAY_BE_NULL&quot;;
            case &quot;false&quot;:
                return &quot;MAY_BE_FALSE&quot;;
            case &quot;true&quot;:
                return &quot;MAY_BE_TRUE&quot;;
            case &quot;bool&quot;:
                return &quot;MAY_BE_BOOL&quot;;
            case &quot;int&quot;:
                return &quot;MAY_BE_LONG&quot;;
            case &quot;float&quot;:
                return &quot;MAY_BE_DOUBLE&quot;;
            case &quot;string&quot;:
                return &quot;MAY_BE_STRING&quot;;
            case &quot;array&quot;:
                return &quot;MAY_BE_ARRAY&quot;;
            case &quot;object&quot;:
                return &quot;MAY_BE_OBJECT&quot;;
            case &quot;callable&quot;:
                return &quot;MAY_BE_CALLABLE&quot;;
            case &quot;mixed&quot;:
                return &quot;MAY_BE_ANY&quot;;
            case &quot;void&quot;:
                return &quot;MAY_BE_VOID&quot;;
            case &quot;static&quot;:
                return &quot;MAY_BE_STATIC&quot;;
            case &quot;never&quot;:
                return &quot;MAY_BE_NEVER&quot;;
            default:
                throw new Exception(&quot;Not implemented: $this-&gt;name&quot;);
        }
    }

    public function toOptimizerTypeMaskForArrayKey(): string {
        assert($this-&gt;isBuiltin);

        switch ($this-&gt;name) {
            case &quot;int&quot;:
                return &quot;MAY_BE_ARRAY_KEY_LONG&quot;;
            case &quot;string&quot;:
                return &quot;MAY_BE_ARRAY_KEY_STRING&quot;;
            default:
                throw new Exception(&quot;Type $this-&gt;name cannot be an array key&quot;);
        }
    }

    public function toOptimizerTypeMaskForArrayValue(): string {
        if (!$this-&gt;isBuiltin) {
            return &quot;MAY_BE_ARRAY_OF_OBJECT&quot;;
        }

        switch ($this-&gt;name) {
            case &quot;null&quot;:
                return &quot;MAY_BE_ARRAY_OF_NULL&quot;;
            case &quot;false&quot;:
                return &quot;MAY_BE_ARRAY_OF_FALSE&quot;;
            case &quot;true&quot;:
                return &quot;MAY_BE_ARRAY_OF_TRUE&quot;;
            case &quot;bool&quot;:
                return &quot;MAY_BE_ARRAY_OF_FALSE|MAY_BE_ARRAY_OF_TRUE&quot;;
            case &quot;int&quot;:
                return &quot;MAY_BE_ARRAY_OF_LONG&quot;;
            case &quot;float&quot;:
                return &quot;MAY_BE_ARRAY_OF_DOUBLE&quot;;
            case &quot;string&quot;:
                return &quot;MAY_BE_ARRAY_OF_STRING&quot;;
            case &quot;array&quot;:
                return &quot;MAY_BE_ARRAY_OF_ARRAY&quot;;
            case &quot;object&quot;:
                return &quot;MAY_BE_ARRAY_OF_OBJECT&quot;;
            case &quot;resource&quot;:
                return &quot;MAY_BE_ARRAY_OF_RESOURCE&quot;;
            case &quot;mixed&quot;:
                return &quot;MAY_BE_ARRAY_OF_ANY&quot;;
            case &quot;ref&quot;:
                return &quot;MAY_BE_ARRAY_OF_REF&quot;;
            default:
                throw new Exception(&quot;Type $this-&gt;name cannot be an array value&quot;);
        }
    }

    public function toOptimizerTypeMask(): string {
        if (!$this-&gt;isBuiltin) {
            return &quot;MAY_BE_OBJECT&quot;;
        }

        switch ($this-&gt;name) {
            case &quot;resource&quot;:
                return &quot;MAY_BE_RESOURCE&quot;;
            case &quot;callable&quot;:
                return &quot;MAY_BE_STRING|MAY_BE_ARRAY|MAY_BE_ARRAY_KEY_LONG|MAY_BE_ARRAY_OF_STRING|MAY_BE_ARRAY_OF_OBJECT|MAY_BE_OBJECT&quot;;
            case &quot;iterable&quot;:
                return &quot;MAY_BE_ARRAY|MAY_BE_ARRAY_KEY_ANY|MAY_BE_ARRAY_OF_ANY|MAY_BE_OBJECT&quot;;
            case &quot;mixed&quot;:
                return &quot;MAY_BE_ANY|MAY_BE_ARRAY_KEY_ANY|MAY_BE_ARRAY_OF_ANY&quot;;
        }

        return $this-&gt;toTypeMask();
    }

    public function toEscapedName(): string {
        // Escape backslashes, and also encode \u, \U, and \N to avoid compilation errors in generated macros
        return str_replace(
            ['\\', '\\u', '\\U', '\\N'],
            ['\\\\', '\\\\165', '\\\\125', '\\\\116'],
            $this-&gt;name
        );
    }

    public function toVarEscapedName(): string {
        return str_replace('\\', '_', $this-&gt;name);
    }

    public function equals(SimpleType $other): bool {
        return $this-&gt;name === $other-&gt;name &amp;&amp; $this-&gt;isBuiltin === $other-&gt;isBuiltin;
    }
}

class Type {
    /** @var SimpleType[] */
    public array $types;
    public bool $isIntersection;

    public static function fromNode(Node $node): Type {
        if ($node instanceof Node\UnionType || $node instanceof Node\IntersectionType) {
            $nestedTypeObjects = array_map(['Type', 'fromNode'], $node-&gt;types);
            $types = [];
            foreach ($nestedTypeObjects as $typeObject) {
                array_push($types, ...$typeObject-&gt;types);
            }
            return new Type($types, ($node instanceof Node\IntersectionType));
        }

        if ($node instanceof Node\NullableType) {
            return new Type(
                [
                    ...Type::fromNode($node-&gt;type)-&gt;types,
                    SimpleType::null(),
                ],
                false
            );
        }

        if ($node instanceof Node\Identifier &amp;&amp; $node-&gt;toLowerString() === &quot;iterable&quot;) {
            return new Type(
                [
                    SimpleType::fromString(&quot;Traversable&quot;),
                    ArrayType::createGenericArray(),
                ],
                false
            );
        }

        return new Type([SimpleType::fromNode($node)], false);
    }

    public static function fromString(string $typeString): self {
        $typeString .= &quot;|&quot;;
        $simpleTypes = [];
        $simpleTypeOffset = 0;
        $inArray = false;
        $isIntersection = false;

        $typeStringLength = strlen($typeString);
        for ($i = 0; $i &lt; $typeStringLength; $i++) {
            $char = $typeString[$i];

            if ($char === &quot;&lt;&quot;) {
                $inArray = true;
                continue;
            }

            if ($char === &quot;&gt;&quot;) {
                $inArray = false;
                continue;
            }

            if ($inArray) {
                continue;
            }

            if ($char === &quot;|&quot; || $char === &quot;&amp;&quot;) {
                $isIntersection = ($char === &quot;&amp;&quot;);
                $simpleTypeName = trim(substr($typeString, $simpleTypeOffset, $i - $simpleTypeOffset));

                $simpleTypes[] = SimpleType::fromString($simpleTypeName);

                $simpleTypeOffset = $i + 1;
            }
        }

        return new Type($simpleTypes, $isIntersection);
    }

    /**
     * @param SimpleType[] $types
     */
    private function __construct(array $types, bool $isIntersection) {
        $this-&gt;types = $types;
        $this-&gt;isIntersection = $isIntersection;
    }

    public function isScalar(): bool {
        foreach ($this-&gt;types as $type) {
            if (!$type-&gt;isScalar()) {
                return false;
            }
        }

        return true;
    }

    public function isNullable(): bool {
        foreach ($this-&gt;types as $type) {
            if ($type-&gt;isNull()) {
                return true;
            }
        }

        return false;
    }

    public function getWithoutNull(): Type {
        return new Type(
            array_values(
                array_filter(
                    $this-&gt;types,
                    function(SimpleType $type) {
                        return !$type-&gt;isNull();
                    }
                )
            ),
            false
        );
    }

    public function tryToSimpleType(): ?SimpleType {
        $withoutNull = $this-&gt;getWithoutNull();
        /* type has only null */
        if (count($withoutNull-&gt;types) === 0) {
            return $this-&gt;types[0];
        }
        if (count($withoutNull-&gt;types) === 1) {
            return $withoutNull-&gt;types[0];
        }
        return null;
    }

    public function toArginfoType(): ArginfoType {
        $classTypes = [];
        $builtinTypes = [];
        foreach ($this-&gt;types as $type) {
            if ($type-&gt;isBuiltin) {
                $builtinTypes[] = $type;
            } else {
                $classTypes[] = $type;
            }
        }
        return new ArginfoType($classTypes, $builtinTypes);
    }

    public function toOptimizerTypeMask(): string {
        $optimizerTypes = [];

        foreach ($this-&gt;types as $type) {
            // TODO Support for toOptimizerMask for intersection
            $optimizerTypes[] = $type-&gt;toOptimizerTypeMask();
        }

        return implode(&quot;|&quot;, $optimizerTypes);
    }

    public function toOptimizerTypeMaskForArrayKey(): string {
        $typeMasks = [];

        foreach ($this-&gt;types as $type) {
            $typeMasks[] = $type-&gt;toOptimizerTypeMaskForArrayKey();
        }

        return implode(&quot;|&quot;, $typeMasks);
    }

    public function toOptimizerTypeMaskForArrayValue(): string {
        $typeMasks = [];

        foreach ($this-&gt;types as $type) {
            $typeMasks[] = $type-&gt;toOptimizerTypeMaskForArrayValue();
        }

        return implode(&quot;|&quot;, $typeMasks);
    }

    public function getTypeForDoc(DOMDocument $doc): DOMElement {
        if (count($this-&gt;types) &gt; 1) {
            $typeSort = $this-&gt;isIntersection ? &quot;intersection&quot; : &quot;union&quot;;
            $typeElement = $doc-&gt;createElement('type');
            $typeElement-&gt;setAttribute(&quot;class&quot;, $typeSort);

            foreach ($this-&gt;types as $type) {
                $unionTypeElement = $doc-&gt;createElement('type', $type-&gt;name);
                $typeElement-&gt;appendChild($unionTypeElement);
            }
        } else {
            $type = $this-&gt;types[0];
            $name = $type-&gt;name;

            $typeElement = $doc-&gt;createElement('type', $name);
        }

        return $typeElement;
    }

    public static function equals(?Type $a, ?Type $b): bool {
        if ($a === null || $b === null) {
            return $a === $b;
        }

        if (count($a-&gt;types) !== count($b-&gt;types)) {
            return false;
        }

        for ($i = 0; $i &lt; count($a-&gt;types); $i++) {
            if (!$a-&gt;types[$i]-&gt;equals($b-&gt;types[$i])) {
                return false;
            }
        }

        return true;
    }

    public function __toString() {
        if ($this-&gt;types === null) {
            return 'mixed';
        }

        $char = $this-&gt;isIntersection ? '&amp;' : '|';
        return implode($char, array_map(
            function ($type) { return $type-&gt;name; },
            $this-&gt;types)
        );
    }
}

class ArginfoType {
    /** @var SimpleType[] $classTypes */
    public array $classTypes;
    /** @var SimpleType[] $builtinTypes */
    private array $builtinTypes;

    /**
     * @param SimpleType[] $classTypes
     * @param SimpleType[] $builtinTypes
     */
    public function __construct(array $classTypes, array $builtinTypes) {
        $this-&gt;classTypes = $classTypes;
        $this-&gt;builtinTypes = $builtinTypes;
    }

    public function hasClassType(): bool {
        return !empty($this-&gt;classTypes);
    }

    public function toClassTypeString(): string {
        return implode('|', array_map(function(SimpleType $type) {
            return $type-&gt;toEscapedName();
        }, $this-&gt;classTypes));
    }

    public function toTypeMask(): string {
        if (empty($this-&gt;builtinTypes)) {
            return '0';
        }
        return implode('|', array_map(function(SimpleType $type) {
            return $type-&gt;toTypeMask();
        }, $this-&gt;builtinTypes));
    }
}

class ArgInfo {
    const SEND_BY_VAL = 0;
    const SEND_BY_REF = 1;
    const SEND_PREFER_REF = 2;

    public string $name;
    public int $sendBy;
    public bool $isVariadic;
    public ?Type $type;
    public ?Type $phpDocType;
    public ?string $defaultValue;
    /** @var AttributeInfo[] */
    public array $attributes;

    /**
     * @param AttributeInfo[] $attributes
     */
    public function __construct(
        string $name,
        int $sendBy,
        bool $isVariadic,
        ?Type $type,
        ?Type $phpDocType,
        ?string $defaultValue,
        array $attributes
    ) {
        $this-&gt;name = $name;
        $this-&gt;sendBy = $sendBy;
        $this-&gt;isVariadic = $isVariadic;
        $this-&gt;setTypes($type, $phpDocType);
        $this-&gt;defaultValue = $defaultValue;
        $this-&gt;attributes = $attributes;
    }

    public function equals(ArgInfo $other): bool {
        return $this-&gt;name === $other-&gt;name
            &amp;&amp; $this-&gt;sendBy === $other-&gt;sendBy
            &amp;&amp; $this-&gt;isVariadic === $other-&gt;isVariadic
            &amp;&amp; Type::equals($this-&gt;type, $other-&gt;type)
            &amp;&amp; $this-&gt;defaultValue === $other-&gt;defaultValue;
    }

    public function getSendByString(): string {
        switch ($this-&gt;sendBy) {
        case self::SEND_BY_VAL:
            return &quot;0&quot;;
        case self::SEND_BY_REF:
            return &quot;1&quot;;
        case self::SEND_PREFER_REF:
            return &quot;ZEND_SEND_PREFER_REF&quot;;
        }
        throw new Exception(&quot;Invalid sendBy value&quot;);
    }

    public function getMethodSynopsisType(): Type {
        if ($this-&gt;type) {
            return $this-&gt;type;
        }

        if ($this-&gt;phpDocType) {
            return $this-&gt;phpDocType;
        }

        throw new Exception(&quot;A parameter must have a type&quot;);
    }

    public function hasProperDefaultValue(): bool {
        return $this-&gt;defaultValue !== null &amp;&amp; $this-&gt;defaultValue !== &quot;UNKNOWN&quot;;
    }

    public function getDefaultValueAsArginfoString(): string {
        if ($this-&gt;hasProperDefaultValue()) {
            return '&quot;' . addslashes($this-&gt;defaultValue) . '&quot;';
        }

        return &quot;NULL&quot;;
    }

    public function getDefaultValueAsMethodSynopsisString(): ?string {
        if ($this-&gt;defaultValue === null) {
            return null;
        }

        switch ($this-&gt;defaultValue) {
            case 'UNKNOWN':
                return null;
            case 'false':
            case 'true':
            case 'null':
                return &quot;&amp;{$this-&gt;defaultValue};&quot;;
        }

        return $this-&gt;defaultValue;
    }

    private function setTypes(?Type $type, ?Type $phpDocType): void
    {
        $this-&gt;type = $type;
        $this-&gt;phpDocType = $phpDocType;
    }
}

interface VariableLikeName {
    public function __toString(): string;
    public function getDeclarationName(): string;
}

interface ConstOrClassConstName extends VariableLikeName {
    public function equals(ConstOrClassConstName $const): bool;
    public function isClassConst(): bool;
    public function isUnknown(): bool;
}

abstract class AbstractConstName implements ConstOrClassConstName
{
    public function equals(ConstOrClassConstName $const): bool
    {
        return $this-&gt;__toString() === $const-&gt;__toString();
    }

    public function isUnknown(): bool
    {
        return strtolower($this-&gt;__toString()) === &quot;unknown&quot;;
    }
}

class ConstName extends AbstractConstName {
    public string $const;

    public function __construct(?Name $namespace, string $const)
    {
        if ($namespace &amp;&amp; ($namespace = $namespace-&gt;slice(0, -1))) {
            $const = $namespace-&gt;toString() . '\\' . $const;
        }
        $this-&gt;const = $const;
    }

    public function isClassConst(): bool
    {
        return false;
    }

    public function isUnknown(): bool
    {
        $name = $this-&gt;__toString();
        if (($pos = strrpos($name, '\\')) !== false) {
            $name = substr($name, $pos + 1);
        }
        return strtolower($name) === &quot;unknown&quot;;
    }

    public function __toString(): string
    {
        return $this-&gt;const;
    }

    public function getDeclarationName(): string
    {
        return $this-&gt;name-&gt;toString();
    }
}

class ClassConstName extends AbstractConstName {
    public Name $class;
    public string $const;

    public function __construct(Name $class, string $const)
    {
        $this-&gt;class = $class;
        $this-&gt;const = $const;
    }

    public function isClassConst(): bool
    {
        return true;
    }

    public function __toString(): string
    {
        return $this-&gt;class-&gt;toString() . &quot;::&quot; . $this-&gt;const;
    }

    public function getDeclarationName(): string
    {
        return $this-&gt;const;
    }
}

class PropertyName implements VariableLikeName {
    public Name $class;
    public string $property;

    public function __construct(Name $class, string $property)
    {
        $this-&gt;class = $class;
        $this-&gt;property = $property;
    }

    public function __toString(): string
    {
        return $this-&gt;class-&gt;toString() . &quot;::$&quot; . $this-&gt;property;
    }

    public function getDeclarationName(): string
    {
         return $this-&gt;property;
    }
}

interface FunctionOrMethodName {
    public function getDeclaration(): string;
    public function getArgInfoName(): string;
    public function getMethodSynopsisFilename(): string;
    public function getNameForAttributes(): string;
    public function __toString(): string;
    public function isMethod(): bool;
    public function isConstructor(): bool;
    public function isDestructor(): bool;
}

class FunctionName implements FunctionOrMethodName {
    private Name $name;

    public function __construct(Name $name) {
        $this-&gt;name = $name;
    }

    public function getNamespace(): ?string {
        if ($this-&gt;name-&gt;isQualified()) {
            return $this-&gt;name-&gt;slice(0, -1)-&gt;toString();
        }
        return null;
    }

    public function getNonNamespacedName(): string {
        if ($this-&gt;name-&gt;isQualified()) {
            throw new Exception(&quot;Namespaced name not supported here&quot;);
        }
        return $this-&gt;name-&gt;toString();
    }

    public function getDeclarationName(): string {
        return implode('_', $this-&gt;name-&gt;getParts());
    }

    public function getFunctionName(): string {
        return $this-&gt;name-&gt;getLast();
    }

    public function getDeclaration(): string {
        return &quot;ZEND_FUNCTION({$this-&gt;getDeclarationName()});\n&quot;;
    }

    public function getArgInfoName(): string {
        $underscoreName = implode('_', $this-&gt;name-&gt;getParts());
        return &quot;arginfo_$underscoreName&quot;;
    }

    public function getMethodSynopsisFilename(): string {
        return implode('_', $this-&gt;name-&gt;getParts());
    }

    public function getNameForAttributes(): string {
        return strtolower($this-&gt;name-&gt;toString());
    }

    public function __toString(): string {
        return $this-&gt;name-&gt;toString();
    }

    public function isMethod(): bool {
        return false;
    }

    public function isConstructor(): bool {
        return false;
    }

    public function isDestructor(): bool {
        return false;
    }
}

class MethodName implements FunctionOrMethodName {
    public Name $className;
    public string $methodName;

    public function __construct(Name $className, string $methodName) {
        $this-&gt;className = $className;
        $this-&gt;methodName = $methodName;
    }

    public function getDeclarationClassName(): string {
        return implode('_', $this-&gt;className-&gt;getParts());
    }

    public function getDeclaration(): string {
        return &quot;ZEND_METHOD({$this-&gt;getDeclarationClassName()}, $this-&gt;methodName);\n&quot;;
    }

    public function getArgInfoName(): string {
        return &quot;arginfo_class_{$this-&gt;getDeclarationClassName()}_{$this-&gt;methodName}&quot;;
    }

    public function getMethodSynopsisFilename(): string {
        return $this-&gt;getDeclarationClassName() . &quot;_{$this-&gt;methodName}&quot;;
    }

    public function getNameForAttributes(): string {
        return strtolower($this-&gt;methodName);
    }

    public function __toString(): string {
        return &quot;$this-&gt;className::$this-&gt;methodName&quot;;
    }

    public function isMethod(): bool {
        return true;
    }

    public function isConstructor(): bool {
        return $this-&gt;methodName === &quot;__construct&quot;;
    }

    public function isDestructor(): bool {
        return $this-&gt;methodName === &quot;__destruct&quot;;
    }
}

class ReturnInfo {
    const REFCOUNT_0 = &quot;0&quot;;
    const REFCOUNT_1 = &quot;1&quot;;
    const REFCOUNT_N = &quot;N&quot;;

    const REFCOUNTS = [
        self::REFCOUNT_0,
        self::REFCOUNT_1,
        self::REFCOUNT_N,
    ];

    public bool $byRef;
    public ?Type $type;
    public ?Type $phpDocType;
    public bool $tentativeReturnType;
    public string $refcount;

    public function __construct(bool $byRef, ?Type $type, ?Type $phpDocType, bool $tentativeReturnType, ?string $refcount) {
        $this-&gt;byRef = $byRef;
        $this-&gt;setTypes($type, $phpDocType, $tentativeReturnType);
        $this-&gt;setRefcount($refcount);
    }

    public function equalsApartFromPhpDocAndRefcount(ReturnInfo $other): bool {
        return $this-&gt;byRef === $other-&gt;byRef
            &amp;&amp; Type::equals($this-&gt;type, $other-&gt;type)
            &amp;&amp; $this-&gt;tentativeReturnType === $other-&gt;tentativeReturnType;
    }

    public function getMethodSynopsisType(): ?Type {
        return $this-&gt;type ?? $this-&gt;phpDocType;
    }

    private function setTypes(?Type $type, ?Type $phpDocType, bool $tentativeReturnType): void
    {
        $this-&gt;type = $type;
        $this-&gt;phpDocType = $phpDocType;
        $this-&gt;tentativeReturnType = $tentativeReturnType;
    }

    private function setRefcount(?string $refcount): void
    {
        $type = $this-&gt;phpDocType ?? $this-&gt;type;
        $isScalarType = $type !== null &amp;&amp; $type-&gt;isScalar();

        if ($refcount === null) {
            $this-&gt;refcount = $isScalarType ? self::REFCOUNT_0 : self::REFCOUNT_N;
            return;
        }

        if (!in_array($refcount, ReturnInfo::REFCOUNTS, true)) {
            throw new Exception(&quot;@refcount must have one of the following values: \&quot;0\&quot;, \&quot;1\&quot;, \&quot;N\&quot;, $refcount given&quot;);
        }

        if ($isScalarType &amp;&amp; $refcount !== self::REFCOUNT_0) {
            throw new Exception('A scalar return type of &quot;' . $type-&gt;__toString() . '&quot; must have a refcount of &quot;' . self::REFCOUNT_0 . '&quot;');
        }

        if (!$isScalarType &amp;&amp; $refcount === self::REFCOUNT_0) {
            throw new Exception('A non-scalar return type of &quot;' . $type-&gt;__toString() . '&quot; cannot have a refcount of &quot;' . self::REFCOUNT_0 . '&quot;');
        }

        $this-&gt;refcount = $refcount;
    }
}

class FuncInfo {
    public FunctionOrMethodName $name;
    public int $classFlags;
    public int $flags;
    public ?string $aliasType;
    public ?FunctionOrMethodName $alias;
    public bool $isDeprecated;
    public bool $supportsCompileTimeEval;
    public bool $verify;
    /** @var ArgInfo[] */
    public array $args;
    public ReturnInfo $return;
    public int $numRequiredArgs;
    public ?string $cond;
    public bool $isUndocumentable;
    /** @var AttributeInfo[] */
    public array $attributes;

    /**
     * @param AttributeInfo[] $attributes
     * @param ArgInfo[] $args
     */
    public function __construct(
        FunctionOrMethodName $name,
        int $classFlags,
        int $flags,
        ?string $aliasType,
        ?FunctionOrMethodName $alias,
        bool $isDeprecated,
        bool $supportsCompileTimeEval,
        bool $verify,
        array $args,
        ReturnInfo $return,
        int $numRequiredArgs,
        ?string $cond,
        bool $isUndocumentable,
        array $attributes
    ) {
        $this-&gt;name = $name;
        $this-&gt;classFlags = $classFlags;
        $this-&gt;flags = $flags;
        $this-&gt;aliasType = $aliasType;
        $this-&gt;alias = $alias;
        $this-&gt;isDeprecated = $isDeprecated;
        $this-&gt;supportsCompileTimeEval = $supportsCompileTimeEval;
        $this-&gt;verify = $verify;
        $this-&gt;args = $args;
        $this-&gt;return = $return;
        $this-&gt;numRequiredArgs = $numRequiredArgs;
        $this-&gt;cond = $cond;
        $this-&gt;isUndocumentable = $isUndocumentable;
        $this-&gt;attributes = $attributes;
    }

    public function isMethod(): bool
    {
        return $this-&gt;name-&gt;isMethod();
    }

    public function isFinalMethod(): bool
    {
        return ($this-&gt;flags &amp; Class_::MODIFIER_FINAL) || ($this-&gt;classFlags &amp; Class_::MODIFIER_FINAL);
    }

    public function isInstanceMethod(): bool
    {
        return !($this-&gt;flags &amp; Class_::MODIFIER_STATIC) &amp;&amp; $this-&gt;isMethod() &amp;&amp; !$this-&gt;name-&gt;isConstructor();
    }

    /** @return string[] */
    public function getModifierNames(): array
    {
        if (!$this-&gt;isMethod()) {
            return [];
        }

        $result = [];

        if ($this-&gt;flags &amp; Class_::MODIFIER_FINAL) {
            $result[] = &quot;final&quot;;
        } elseif ($this-&gt;flags &amp; Class_::MODIFIER_ABSTRACT &amp;&amp; $this-&gt;classFlags &amp; ~Class_::MODIFIER_ABSTRACT) {
            $result[] = &quot;abstract&quot;;
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_PROTECTED) {
            $result[] = &quot;protected&quot;;
        } elseif ($this-&gt;flags &amp; Class_::MODIFIER_PRIVATE) {
            $result[] = &quot;private&quot;;
        } else {
            $result[] = &quot;public&quot;;
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_STATIC) {
            $result[] = &quot;static&quot;;
        }

        return $result;
    }

    public function hasParamWithUnknownDefaultValue(): bool
    {
        foreach ($this-&gt;args as $arg) {
            if ($arg-&gt;defaultValue &amp;&amp; !$arg-&gt;hasProperDefaultValue()) {
                return true;
            }
        }

        return false;
    }

    public function equalsApartFromNameAndRefcount(FuncInfo $other): bool {
        if (count($this-&gt;args) !== count($other-&gt;args)) {
            return false;
        }

        for ($i = 0; $i &lt; count($this-&gt;args); $i++) {
            if (!$this-&gt;args[$i]-&gt;equals($other-&gt;args[$i])) {
                return false;
            }
        }

        return $this-&gt;return-&gt;equalsApartFromPhpDocAndRefcount($other-&gt;return)
            &amp;&amp; $this-&gt;numRequiredArgs === $other-&gt;numRequiredArgs
            &amp;&amp; $this-&gt;cond === $other-&gt;cond;
    }

    public function getArgInfoName(): string {
        return $this-&gt;name-&gt;getArgInfoName();
    }

    public function getDeclarationKey(): string
    {
        $name = $this-&gt;alias ?? $this-&gt;name;

        return &quot;$name|$this-&gt;cond&quot;;
    }

    public function getDeclaration(): ?string
    {
        if ($this-&gt;flags &amp; Class_::MODIFIER_ABSTRACT) {
            return null;
        }

        $name = $this-&gt;alias ?? $this-&gt;name;

        return $name-&gt;getDeclaration();
    }

    public function getFunctionEntry(): string {
        if ($this-&gt;name instanceof MethodName) {
            if ($this-&gt;alias) {
                if ($this-&gt;alias instanceof MethodName) {
                    return sprintf(
                        &quot;\tZEND_MALIAS(%s, %s, %s, %s, %s)\n&quot;,
                        $this-&gt;alias-&gt;getDeclarationClassName(), $this-&gt;name-&gt;methodName,
                        $this-&gt;alias-&gt;methodName, $this-&gt;getArgInfoName(), $this-&gt;getFlagsAsArginfoString()
                    );
                } else if ($this-&gt;alias instanceof FunctionName) {
                    return sprintf(
                        &quot;\tZEND_ME_MAPPING(%s, %s, %s, %s)\n&quot;,
                        $this-&gt;name-&gt;methodName, $this-&gt;alias-&gt;getNonNamespacedName(),
                        $this-&gt;getArgInfoName(), $this-&gt;getFlagsAsArginfoString()
                    );
                } else {
                    throw new Error(&quot;Cannot happen&quot;);
                }
            } else {
                $declarationClassName = $this-&gt;name-&gt;getDeclarationClassName();
                if ($this-&gt;flags &amp; Class_::MODIFIER_ABSTRACT) {
                    return sprintf(
                        &quot;\tZEND_ABSTRACT_ME_WITH_FLAGS(%s, %s, %s, %s)\n&quot;,
                        $declarationClassName, $this-&gt;name-&gt;methodName, $this-&gt;getArgInfoName(),
                        $this-&gt;getFlagsAsArginfoString()
                    );
                }

                return sprintf(
                    &quot;\tZEND_ME(%s, %s, %s, %s)\n&quot;,
                    $declarationClassName, $this-&gt;name-&gt;methodName, $this-&gt;getArgInfoName(),
                    $this-&gt;getFlagsAsArginfoString()
                );
            }
        } else if ($this-&gt;name instanceof FunctionName) {
            $namespace = $this-&gt;name-&gt;getNamespace();
            $functionName = $this-&gt;name-&gt;getFunctionName();
            $declarationName = $this-&gt;alias ? $this-&gt;alias-&gt;getNonNamespacedName() : $this-&gt;name-&gt;getDeclarationName();

            if ($namespace) {
                // Namespaced functions are always declared as aliases to avoid name conflicts when two functions with
                // the same name exist in separate namespaces
                $macro = $this-&gt;isDeprecated ? 'ZEND_NS_DEP_FALIAS' : 'ZEND_NS_FALIAS';

                // Render A\B as &quot;A\\B&quot; in C strings for namespaces
                return sprintf(
                    &quot;\t%s(\&quot;%s\&quot;, %s, %s, %s)\n&quot;,
                    $macro, addslashes($namespace), $this-&gt;name-&gt;getFunctionName(), $declarationName, $this-&gt;getArgInfoName()
                );
            }

            if ($this-&gt;alias) {
                $macro = $this-&gt;isDeprecated ? 'ZEND_DEP_FALIAS' : 'ZEND_FALIAS';

                return sprintf(
                    &quot;\t%s(%s, %s, %s)\n&quot;,
                    $macro, $functionName, $declarationName, $this-&gt;getArgInfoName()
                );
            }

            switch (true) {
                case $this-&gt;isDeprecated:
                    $macro = 'ZEND_DEP_FE';
                    break;
                case $this-&gt;supportsCompileTimeEval:
                    $macro = 'ZEND_SUPPORTS_COMPILE_TIME_EVAL_FE';
                    break;
                default:
                    $macro = 'ZEND_FE';
            }

            return sprintf(&quot;\t%s(%s, %s)\n&quot;, $macro, $functionName, $this-&gt;getArgInfoName());
        } else {
            throw new Error(&quot;Cannot happen&quot;);
        }
    }

    public function getOptimizerInfo(): ?string {
        if ($this-&gt;isMethod()) {
            return null;
        }

        if ($this-&gt;alias !== null) {
            return null;
        }

        if ($this-&gt;return-&gt;refcount !== ReturnInfo::REFCOUNT_1 &amp;&amp; $this-&gt;return-&gt;phpDocType === null) {
            return null;
        }

        $type = $this-&gt;return-&gt;phpDocType ?? $this-&gt;return-&gt;type;
        if ($type === null) {
            return null;
        }

        return &quot;\tF&quot; . $this-&gt;return-&gt;refcount . '(&quot;' . $this-&gt;name-&gt;__toString() . '&quot;, ' . $type-&gt;toOptimizerTypeMask() . &quot;),\n&quot;;
    }

    public function discardInfoForOldPhpVersions(): void {
        $this-&gt;attributes = [];
        $this-&gt;return-&gt;type = null;
        foreach ($this-&gt;args as $arg) {
            $arg-&gt;type = null;
            $arg-&gt;defaultValue = null;
            $arg-&gt;attributes = [];
        }
    }

    private function getFlagsAsArginfoString(): string
    {
        $flags = &quot;ZEND_ACC_PUBLIC&quot;;
        if ($this-&gt;flags &amp; Class_::MODIFIER_PROTECTED) {
            $flags = &quot;ZEND_ACC_PROTECTED&quot;;
        } elseif ($this-&gt;flags &amp; Class_::MODIFIER_PRIVATE) {
            $flags = &quot;ZEND_ACC_PRIVATE&quot;;
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_STATIC) {
            $flags .= &quot;|ZEND_ACC_STATIC&quot;;
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_FINAL) {
            $flags .= &quot;|ZEND_ACC_FINAL&quot;;
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_ABSTRACT) {
            $flags .= &quot;|ZEND_ACC_ABSTRACT&quot;;
        }

        if ($this-&gt;isDeprecated) {
            $flags .= &quot;|ZEND_ACC_DEPRECATED&quot;;
        }

        return $flags;
    }

    /**
     * @param array&lt;string, FuncInfo&gt; $funcMap
     * @param array&lt;string, FuncInfo&gt; $aliasMap
     * @throws Exception
     */
    public function getMethodSynopsisDocument(array $funcMap, array $aliasMap): ?string {

        $doc = new DOMDocument();
        $doc-&gt;formatOutput = true;
        $methodSynopsis = $this-&gt;getMethodSynopsisElement($funcMap, $aliasMap, $doc);
        if (!$methodSynopsis) {
            return null;
        }

        $doc-&gt;appendChild($methodSynopsis);

        return $doc-&gt;saveXML();
    }

    /**
     * @param array&lt;string, FuncInfo&gt; $funcMap
     * @param array&lt;string, FuncInfo&gt; $aliasMap
     * @throws Exception
     */
    public function getMethodSynopsisElement(array $funcMap, array $aliasMap, DOMDocument $doc): ?DOMElement {
        if ($this-&gt;hasParamWithUnknownDefaultValue()) {
            return null;
        }

        if ($this-&gt;name-&gt;isConstructor()) {
            $synopsisType = &quot;constructorsynopsis&quot;;
        } elseif ($this-&gt;name-&gt;isDestructor()) {
            $synopsisType = &quot;destructorsynopsis&quot;;
        } else {
            $synopsisType = &quot;methodsynopsis&quot;;
        }

        $methodSynopsis = $doc-&gt;createElement($synopsisType);

        if ($this-&gt;isMethod()) {
            assert($this-&gt;name instanceof MethodName);
            $role = $doc-&gt;createAttribute(&quot;role&quot;);
            $role-&gt;value = addslashes($this-&gt;name-&gt;className-&gt;__toString());
            $methodSynopsis-&gt;appendChild($role);
        }

        $methodSynopsis-&gt;appendChild(new DOMText(&quot;\n   &quot;));

        foreach ($this-&gt;getModifierNames() as $modifierString) {
            $modifierElement = $doc-&gt;createElement('modifier', $modifierString);
            $methodSynopsis-&gt;appendChild($modifierElement);
            $methodSynopsis-&gt;appendChild(new DOMText(&quot; &quot;));
        }

        $returnType = $this-&gt;return-&gt;getMethodSynopsisType();
        if ($returnType) {
            $methodSynopsis-&gt;appendChild($returnType-&gt;getTypeForDoc($doc));
        }

        $methodname = $doc-&gt;createElement('methodname', $this-&gt;name-&gt;__toString());
        $methodSynopsis-&gt;appendChild($methodname);

        if (empty($this-&gt;args)) {
            $methodSynopsis-&gt;appendChild(new DOMText(&quot;\n   &quot;));
            $void = $doc-&gt;createElement('void');
            $methodSynopsis-&gt;appendChild($void);
        } else {
            foreach ($this-&gt;args as $arg) {
                $methodSynopsis-&gt;appendChild(new DOMText(&quot;\n   &quot;));
                $methodparam = $doc-&gt;createElement('methodparam');
                if ($arg-&gt;defaultValue !== null) {
                    $methodparam-&gt;setAttribute(&quot;choice&quot;, &quot;opt&quot;);
                }
                if ($arg-&gt;isVariadic) {
                    $methodparam-&gt;setAttribute(&quot;rep&quot;, &quot;repeat&quot;);
                }

                $methodSynopsis-&gt;appendChild($methodparam);
                $methodparam-&gt;appendChild($arg-&gt;getMethodSynopsisType()-&gt;getTypeForDoc($doc));

                $parameter = $doc-&gt;createElement('parameter', $arg-&gt;name);
                if ($arg-&gt;sendBy !== ArgInfo::SEND_BY_VAL) {
                    $parameter-&gt;setAttribute(&quot;role&quot;, &quot;reference&quot;);
                }

                $methodparam-&gt;appendChild($parameter);
                $defaultValue = $arg-&gt;getDefaultValueAsMethodSynopsisString();
                if ($defaultValue !== null) {
                    $initializer = $doc-&gt;createElement('initializer');
                    if (preg_match('/^[a-zA-Z_][a-zA-Z_0-9]*$/', $defaultValue)) {
                        $constant = $doc-&gt;createElement('constant', $defaultValue);
                        $initializer-&gt;appendChild($constant);
                    } else {
                        $initializer-&gt;nodeValue = $defaultValue;
                    }
                    $methodparam-&gt;appendChild($initializer);
                }
            }
        }
        $methodSynopsis-&gt;appendChild(new DOMText(&quot;\n  &quot;));

        return $methodSynopsis;
    }

    public function __clone()
    {
        foreach ($this-&gt;args as $key =&gt; $argInfo) {
            $this-&gt;args[$key] = clone $argInfo;
        }
        $this-&gt;return = clone $this-&gt;return;
    }
}

class EvaluatedValue
{
    /** @var mixed */
    public $value;
    public SimpleType $type;
    public Expr $expr;
    public bool $isUnknownConstValue;
    /** @var ConstInfo[] */
    public array $originatingConsts;

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    public static function createFromExpression(Expr $expr, ?SimpleType $constType, ?string $cConstName, iterable $allConstInfos): EvaluatedValue
    {
        // This visitor replaces the PHP constants by C constants. It allows direct expansion of the compiled constants, e.g. later in the pretty printer.
        $visitor = new class($allConstInfos) extends PhpParser\NodeVisitorAbstract
        {
            /** @var iterable&lt;ConstInfo&gt; */
            public array $visitedConstants = [];
            /** @var iterable&lt;ConstInfo&gt; */
            public iterable $allConstInfos;

            /** @param iterable&lt;ConstInfo&gt; $allConstInfos */
            public function __construct(iterable $allConstInfos)
            {
                $this-&gt;allConstInfos = $allConstInfos;
            }

            /** @return Node|null */
            public function enterNode(Node $expr)
            {
                if (!$expr instanceof Expr\ConstFetch &amp;&amp; !$expr instanceof Expr\ClassConstFetch) {
                    return null;
                }

                if ($expr instanceof Expr\ClassConstFetch) {
                    $originatingConstName = new ClassConstName($expr-&gt;class, $expr-&gt;name-&gt;toString());
                } else {
                    $originatingConstName = new ConstName($expr-&gt;name-&gt;getAttribute('namespacedName'), $expr-&gt;name-&gt;toString());
                }

                if ($originatingConstName-&gt;isUnknown()) {
                    return null;
                }

                foreach ($this-&gt;allConstInfos as $const) {
                    if ($originatingConstName-&gt;equals($const-&gt;name)) {
                        $this-&gt;visitedConstants[] = $const;
                        return $const-&gt;getValue($this-&gt;allConstInfos)-&gt;expr;
                    }
                }
            }
        };

        $nodeTraverser = new PhpParser\NodeTraverser;
        $nodeTraverser-&gt;addVisitor($visitor);
        $expr = $nodeTraverser-&gt;traverse([$expr])[0];

        $isUnknownConstValue = false;

        $evaluator = new ConstExprEvaluator(
            static function (Expr $expr) use ($allConstInfos, &amp;$isUnknownConstValue) {
                // $expr is a ConstFetch with a name of a C macro here
                if (!$expr instanceof Expr\ConstFetch) {
                    throw new Exception($this-&gt;getVariableTypeName() . &quot; &quot; . $this-&gt;name-&gt;__toString() . &quot; has an unsupported value&quot;);
                }

                $constName = $expr-&gt;name-&gt;__toString();
                if (strtolower($constName) === &quot;unknown&quot;) {
                    $isUnknownConstValue = true;
                    return null;
                }

                foreach ($allConstInfos as $const) {
                    if ($constName != $const-&gt;cValue) {
                        continue;
                    }

                    $constType = ($const-&gt;phpDocType ?? $const-&gt;type)-&gt;tryToSimpleType();
                    if ($constType) {
                        if ($constType-&gt;isBool()) {
                            return true;
                        } elseif ($constType-&gt;isInt()) {
                            return 1;
                        } elseif ($constType-&gt;isFloat()) {
                            return M_PI;
                        } elseif ($constType-&gt;isString()) {
                            return $const-&gt;name;
                        } elseif ($constType-&gt;isArray()) {
                            return [];
                        }
                    }

                    return null;
                }

                throw new Exception(&quot;Constant &quot; . $constName . &quot; cannot be found&quot;);
            }
        );

        $result = $evaluator-&gt;evaluateDirectly($expr);

        return new EvaluatedValue(
            $result, // note: we are generally not interested in the actual value of $result, unless it's a bare value, without constants
            $constType ?? SimpleType::fromValue($result),
            $cConstName === null ? $expr : new Expr\ConstFetch(new Node\Name($cConstName)),
            $visitor-&gt;visitedConstants,
            $isUnknownConstValue
        );
    }

    public static function null(): EvaluatedValue
    {
        return new self(null, SimpleType::null(), new Expr\ConstFetch(new Node\Name('null')), [], false);
    }

    /**
     * @param mixed $value
     * @param ConstInfo[] $originatingConsts
     */
    private function __construct($value, SimpleType $type, Expr $expr, array $originatingConsts, bool $isUnknownConstValue)
    {
        $this-&gt;value = $value;
        $this-&gt;type = $type;
        $this-&gt;expr = $expr;
        $this-&gt;originatingConsts = $originatingConsts;
        $this-&gt;isUnknownConstValue = $isUnknownConstValue;
    }

    public function initializeZval(string $zvalName): string
    {
        $cExpr = $this-&gt;getCExpr();

        $code = &quot;\tzval $zvalName;\n&quot;;

        if ($this-&gt;type-&gt;isNull()) {
            $code .= &quot;\tZVAL_NULL(&amp;$zvalName);\n&quot;;
        } elseif ($this-&gt;type-&gt;isBool()) {
            if ($cExpr == 'true') {
                $code .= &quot;\tZVAL_TRUE(&amp;$zvalName);\n&quot;;
            } elseif ($cExpr == 'false') {
                $code .= &quot;\tZVAL_FALSE(&amp;$zvalName);\n&quot;;
            } else {
                $code .= &quot;\tZVAL_BOOL(&amp;$zvalName, $cExpr);\n&quot;;
            }
        } elseif ($this-&gt;type-&gt;isInt()) {
            $code .= &quot;\tZVAL_LONG(&amp;$zvalName, $cExpr);\n&quot;;
        } elseif ($this-&gt;type-&gt;isFloat()) {
            $code .= &quot;\tZVAL_DOUBLE(&amp;$zvalName, $cExpr);\n&quot;;
        } elseif ($this-&gt;type-&gt;isString()) {
            if ($cExpr === '&quot;&quot;') {
                $code .= &quot;\tZVAL_EMPTY_STRING(&amp;$zvalName);\n&quot;;
            } else {
                $code .= &quot;\tzend_string *{$zvalName}_str = zend_string_init($cExpr, strlen($cExpr), 1);\n&quot;;
                $code .= &quot;\tZVAL_STR(&amp;$zvalName, {$zvalName}_str);\n&quot;;
            }
        } elseif ($this-&gt;type-&gt;isArray()) {
            if ($cExpr == '[]') {
                $code .= &quot;\tZVAL_EMPTY_ARRAY(&amp;$zvalName);\n&quot;;
            } else {
                throw new Exception(&quot;Unimplemented default value&quot;);
            }
        } else {
            throw new Exception(&quot;Invalid default value: &quot; . print_r($this-&gt;value, true) . &quot;, type: &quot; . print_r($this-&gt;type, true));
        }

        return $code;
    }

    public function getCExpr(): ?string
    {
        // $this-&gt;expr has all its PHP constants replaced by C constants
        $prettyPrinter = new Standard;
        $expr = $prettyPrinter-&gt;prettyPrintExpr($this-&gt;expr);
        // PHP single-quote to C double-quote string
        if ($this-&gt;type-&gt;isString()) {
            $expr = preg_replace(&quot;/(^'|'$)/&quot;, '&quot;', $expr);
        }
        return $expr[0] == '&quot;' ? $expr : preg_replace('(\bnull\b)', 'NULL', str_replace('\\', '', $expr));
    }
}

abstract class VariableLike
{
    public int $flags;
    public ?Type $type;
    public ?Type $phpDocType;
    public ?string $link;
    public ?int $phpVersionIdMinimumCompatibility;
    /** @var AttributeInfo[] */
    public array $attributes;

    /**
     * @var AttributeInfo[] $attributes
     */
    public function __construct(
        int $flags,
        ?Type $type,
        ?Type $phpDocType,
        ?string $link,
        ?int $phpVersionIdMinimumCompatibility,
        array $attributes
    ) {
        $this-&gt;flags = $flags;
        $this-&gt;type = $type;
        $this-&gt;phpDocType = $phpDocType;
        $this-&gt;link = $link;
        $this-&gt;phpVersionIdMinimumCompatibility = $phpVersionIdMinimumCompatibility;
        $this-&gt;attributes = $attributes;
    }

    abstract protected function getVariableTypeCode(): string;

    abstract protected function getVariableTypeName(): string;

    abstract protected function getFieldSynopsisDefaultLinkend(): string;

    abstract protected function getFieldSynopsisName(): string;

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    abstract protected function getFieldSynopsisValueString(iterable $allConstInfos): ?string;

    abstract public function discardInfoForOldPhpVersions(): void;

    protected function addTypeToFieldSynopsis(DOMDocument $doc, DOMElement $fieldsynopsisElement): void
    {
        $type = $this-&gt;phpDocType ?? $this-&gt;type;

        if ($type) {
            $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
            $fieldsynopsisElement-&gt;appendChild($type-&gt;getTypeForDoc($doc));
        }
    }

    /**
     * @return array&lt;int, string[]&gt;
     */
    protected function getFlagsByPhpVersion(): array
    {
        $flags = &quot;ZEND_ACC_PUBLIC&quot;;
        if ($this-&gt;flags &amp; Class_::MODIFIER_PROTECTED) {
            $flags = &quot;ZEND_ACC_PROTECTED&quot;;
        } elseif ($this-&gt;flags &amp; Class_::MODIFIER_PRIVATE) {
            $flags = &quot;ZEND_ACC_PRIVATE&quot;;
        }

        return [
            PHP_70_VERSION_ID =&gt; [$flags],
            PHP_80_VERSION_ID =&gt; [$flags],
            PHP_81_VERSION_ID =&gt; [$flags],
            PHP_82_VERSION_ID =&gt; [$flags],
            PHP_83_VERSION_ID =&gt; [$flags],
        ];
    }

    protected function getTypeCode(string $variableLikeName, string &amp;$code): string
    {
        $variableLikeType = $this-&gt;getVariableTypeName();

        $typeCode = &quot;&quot;;
        if ($this-&gt;type) {
            $arginfoType = $this-&gt;type-&gt;toArginfoType();
            if ($arginfoType-&gt;hasClassType()) {
                if (count($arginfoType-&gt;classTypes) &gt;= 2) {
                    foreach ($arginfoType-&gt;classTypes as $classType) {
                        $escapedClassName = $classType-&gt;toEscapedName();
                        $varEscapedClassName = $classType-&gt;toVarEscapedName();
                        $code .= &quot;\tzend_string *{$variableLikeType}_{$variableLikeName}_class_{$varEscapedClassName} = zend_string_init(\&quot;{$escapedClassName}\&quot;, sizeof(\&quot;{$escapedClassName}\&quot;) - 1, 1);\n&quot;;
                    }

                    $classTypeCount = count($arginfoType-&gt;classTypes);
                    $code .= &quot;\tzend_type_list *{$variableLikeType}_{$variableLikeName}_type_list = malloc(ZEND_TYPE_LIST_SIZE($classTypeCount));\n&quot;;
                    $code .= &quot;\t{$variableLikeType}_{$variableLikeName}_type_list-&gt;num_types = $classTypeCount;\n&quot;;

                    foreach ($arginfoType-&gt;classTypes as $k =&gt; $classType) {
                        $escapedClassName = $classType-&gt;toEscapedName();
                        $code .= &quot;\t{$variableLikeType}_{$variableLikeName}_type_list-&gt;types[$k] = (zend_type) ZEND_TYPE_INIT_CLASS({$variableLikeType}_{$variableLikeName}_class_{$escapedClassName}, 0, 0);\n&quot;;
                    }

                    $typeMaskCode = $this-&gt;type-&gt;toArginfoType()-&gt;toTypeMask();

                    if ($this-&gt;type-&gt;isIntersection) {
                        $code .= &quot;\tzend_type {$variableLikeType}_{$variableLikeName}_type = ZEND_TYPE_INIT_INTERSECTION({$variableLikeType}_{$variableLikeName}_type_list, $typeMaskCode);\n&quot;;
                    } else {
                        $code .= &quot;\tzend_type {$variableLikeType}_{$variableLikeName}_type = ZEND_TYPE_INIT_UNION({$variableLikeType}_{$variableLikeName}_type_list, $typeMaskCode);\n&quot;;
                    }
                    $typeCode = &quot;{$variableLikeType}_{$variableLikeName}_type&quot;;
                } else {
                    $escapedClassName = $arginfoType-&gt;classTypes[0]-&gt;toEscapedName();
                    $varEscapedClassName = $arginfoType-&gt;classTypes[0]-&gt;toVarEscapedName();
                    $code .= &quot;\tzend_string *{$variableLikeType}_{$variableLikeName}_class_{$varEscapedClassName} = zend_string_init(\&quot;{$escapedClassName}\&quot;, sizeof(\&quot;{$escapedClassName}\&quot;)-1, 1);\n&quot;;

                    $typeCode = &quot;(zend_type) ZEND_TYPE_INIT_CLASS({$variableLikeType}_{$variableLikeName}_class_{$varEscapedClassName}, 0, &quot; . $arginfoType-&gt;toTypeMask() . &quot;)&quot;;
                }
            } else {
                $typeCode = &quot;(zend_type) ZEND_TYPE_INIT_MASK(&quot; . $arginfoType-&gt;toTypeMask() . &quot;)&quot;;
            }
        } else {
            $typeCode = &quot;(zend_type) ZEND_TYPE_INIT_NONE(0)&quot;;
        }

        return $typeCode;
    }

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    public function getFieldSynopsisElement(DOMDocument $doc, iterable $allConstInfos): DOMElement
    {
        $fieldsynopsisElement = $doc-&gt;createElement(&quot;fieldsynopsis&quot;);

        $this-&gt;addModifiersToFieldSynopsis($doc, $fieldsynopsisElement);

        $this-&gt;addTypeToFieldSynopsis($doc, $fieldsynopsisElement);

        $varnameElement = $doc-&gt;createElement(&quot;varname&quot;, $this-&gt;getFieldSynopsisName());
        if ($this-&gt;link) {
            $varnameElement-&gt;setAttribute(&quot;linkend&quot;, $this-&gt;link);
        } else {
            $varnameElement-&gt;setAttribute(&quot;linkend&quot;, $this-&gt;getFieldSynopsisDefaultLinkend());
        }

        $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
        $fieldsynopsisElement-&gt;appendChild($varnameElement);

        $valueString = $this-&gt;getFieldSynopsisValueString($allConstInfos);
        if ($valueString) {
            $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
            $initializerElement = $doc-&gt;createElement(&quot;initializer&quot;,  $valueString);
            $fieldsynopsisElement-&gt;appendChild($initializerElement);
        }

        $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n    &quot;));

        return $fieldsynopsisElement;
    }

    protected function addModifiersToFieldSynopsis(DOMDocument $doc, DOMElement $fieldsynopsisElement): void
    {
        if ($this-&gt;flags &amp; Class_::MODIFIER_PUBLIC) {
            $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
            $fieldsynopsisElement-&gt;appendChild($doc-&gt;createElement(&quot;modifier&quot;, &quot;public&quot;));
        } elseif ($this-&gt;flags &amp; Class_::MODIFIER_PROTECTED) {
            $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
            $fieldsynopsisElement-&gt;appendChild($doc-&gt;createElement(&quot;modifier&quot;, &quot;protected&quot;));
        } elseif ($this-&gt;flags &amp; Class_::MODIFIER_PRIVATE) {
            $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
            $fieldsynopsisElement-&gt;appendChild($doc-&gt;createElement(&quot;modifier&quot;, &quot;private&quot;));
        }
    }

    /**
     * @param array&lt;int, string[]&gt; $flags
     * @return array&lt;int, string[]&gt;
     */
    protected function addFlagForVersionsAbove(array $flags, string $flag, int $minimumVersionId): array
    {
        $write = false;

        foreach ($flags as $version =&gt; $versionFlags) {
            if ($version === $minimumVersionId || $write === true) {
                $flags[$version][] = $flag;
                $write = true;
            }
        }

        return $flags;
    }
}

class ConstInfo extends VariableLike
{
    public ConstOrClassConstName $name;
    public Expr $value;
    public bool $isDeprecated;
    public ?string $valueString;
    public ?string $cond;
    public ?string $cValue;

    /**
     * @var AttributeInfo[] $attributes
     */
    public function __construct(
        ConstOrClassConstName $name,
        int $flags,
        Expr $value,
        ?string $valueString,
        ?Type $type,
        ?Type $phpDocType,
        bool $isDeprecated,
        ?string $cond,
        ?string $cValue,
        ?string $link,
        ?int $phpVersionIdMinimumCompatibility,
        array $attributes
    ) {
        $this-&gt;name = $name;
        $this-&gt;value = $value;
        $this-&gt;valueString = $valueString;
        $this-&gt;isDeprecated = $isDeprecated;
        $this-&gt;cond = $cond;
        $this-&gt;cValue = $cValue;
        parent::__construct($flags, $type, $phpDocType, $link, $phpVersionIdMinimumCompatibility, $attributes);
    }

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    public function getValue(iterable $allConstInfos): EvaluatedValue
    {
        return EvaluatedValue::createFromExpression(
            $this-&gt;value,
            ($this-&gt;phpDocType ?? $this-&gt;type)-&gt;tryToSimpleType(),
            $this-&gt;cValue,
            $allConstInfos
        );
    }

    protected function getVariableTypeName(): string
    {
        return &quot;constant&quot;;
    }

    protected function getVariableTypeCode(): string
    {
        return &quot;const&quot;;
    }

    protected function getFieldSynopsisDefaultLinkend(): string
    {
        $className = str_replace([&quot;\\&quot;, &quot;_&quot;], [&quot;-&quot;, &quot;-&quot;], $this-&gt;name-&gt;class-&gt;toLowerString());

        return &quot;$className.constants.&quot; . strtolower(str_replace(&quot;_&quot;, &quot;-&quot;, $this-&gt;name-&gt;getDeclarationName()));
    }

    protected function getFieldSynopsisName(): string
    {
        return $this-&gt;name-&gt;__toString();
    }

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    protected function getFieldSynopsisValueString(iterable $allConstInfos): ?string
    {
        $value = EvaluatedValue::createFromExpression($this-&gt;value, null, $this-&gt;cValue, $allConstInfos);
        if ($value-&gt;isUnknownConstValue) {
            return null;
        }

        if ($value-&gt;originatingConsts) {
            return implode(&quot;\n&quot;, array_map(function (ConstInfo $const) use ($allConstInfos) {
                return $const-&gt;getFieldSynopsisValueString($allConstInfos);
            }, $value-&gt;originatingConsts));
        }

        return $this-&gt;valueString;
    }

    public function discardInfoForOldPhpVersions(): void {
        $this-&gt;type = null;
        $this-&gt;flags &amp;= ~Class_::MODIFIER_FINAL;
        $this-&gt;isDeprecated = false;
        $this-&gt;attributes = [];
    }

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    public function getDeclaration(iterable $allConstInfos): string
    {
        $simpleType = ($this-&gt;phpDocType ?? $this-&gt;type)-&gt;tryToSimpleType();
        if ($simpleType &amp;&amp; $simpleType-&gt;name === &quot;mixed&quot;) {
            $simpleType = null;
        }

        $value = EvaluatedValue::createFromExpression($this-&gt;value, $simpleType, $this-&gt;cValue, $allConstInfos);
        if ($value-&gt;isUnknownConstValue &amp;&amp; ($simpleType === null || !$simpleType-&gt;isBuiltin)) {
            throw new Exception(&quot;Constant &quot; . $this-&gt;name-&gt;__toString() . &quot; must have a built-in PHPDoc type as the type couldn't be inferred from its value&quot;);
        }

        // i.e. const NAME = UNKNOWN;, without the annotation
        if ($value-&gt;isUnknownConstValue &amp;&amp; $this-&gt;cValue === null &amp;&amp; $value-&gt;expr instanceof Expr\ConstFetch &amp;&amp; $value-&gt;expr-&gt;name-&gt;__toString() === &quot;UNKNOWN&quot;) {
            throw new Exception(&quot;Constant &quot; . $this-&gt;name-&gt;__toString() . &quot; must have a @cvalue annotation&quot;);
        }

        $code = &quot;&quot;;

        if ($this-&gt;cond) {
            $code .= &quot;#if {$this-&gt;cond}\n&quot;;
        }

        if ($this-&gt;name-&gt;isClassConst()) {
            $code .= $this-&gt;getClassConstDeclaration($value, $allConstInfos);
        } else {
            $code .= $this-&gt;getGlobalConstDeclaration($value, $allConstInfos);
        }
        $code .= $this-&gt;getValueAssertion($value);

        if ($this-&gt;cond) {
            $code .= &quot;#endif\n&quot;;
        }

        return $code;
    }

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    private function getGlobalConstDeclaration(EvaluatedValue $value, iterable $allConstInfos): string
    {
        $constName = str_replace('\\', '\\\\', $this-&gt;name-&gt;__toString());
        $constValue = $value-&gt;value;
        $cExpr = $value-&gt;getCExpr();

        $flags = &quot;CONST_PERSISTENT&quot;;
        if ($this-&gt;phpVersionIdMinimumCompatibility !== null &amp;&amp; $this-&gt;phpVersionIdMinimumCompatibility &lt; 80000) {
            $flags .= &quot; | CONST_CS&quot;;
        }

        if ($this-&gt;isDeprecated) {
            $flags .= &quot; | CONST_DEPRECATED&quot;;
        }
        if ($value-&gt;type-&gt;isNull()) {
            return &quot;\tREGISTER_NULL_CONSTANT(\&quot;$constName\&quot;, $flags);\n&quot;;
        }

        if ($value-&gt;type-&gt;isBool()) {
            return &quot;\tREGISTER_BOOL_CONSTANT(\&quot;$constName\&quot;, &quot; . ($cExpr ?: ($constValue ? &quot;true&quot; : &quot;false&quot;)) . &quot;, $flags);\n&quot;;
        }

        if ($value-&gt;type-&gt;isInt()) {
            return &quot;\tREGISTER_LONG_CONSTANT(\&quot;$constName\&quot;, &quot; . ($cExpr ?: (int) $constValue) . &quot;, $flags);\n&quot;;
        }

        if ($value-&gt;type-&gt;isFloat()) {
            return &quot;\tREGISTER_DOUBLE_CONSTANT(\&quot;$constName\&quot;, &quot; . ($cExpr ?: (float) $constValue) . &quot;, $flags);\n&quot;;
        }

        if ($value-&gt;type-&gt;isString()) {
            return &quot;\tREGISTER_STRING_CONSTANT(\&quot;$constName\&quot;, &quot; . ($cExpr ?: '&quot;' . addslashes($constValue) . '&quot;') . &quot;, $flags);\n&quot;;
        }

        throw new Exception(&quot;Unimplemented constant type&quot;);}

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    private function getClassConstDeclaration(EvaluatedValue $value, iterable $allConstInfos): string
    {
        $constName = $this-&gt;name-&gt;getDeclarationName();

        $zvalCode = $value-&gt;initializeZval(&quot;const_{$constName}_value&quot;, $allConstInfos);

        $code = &quot;\n&quot; . $zvalCode;

        $code .= &quot;\tzend_string *const_{$constName}_name = zend_string_init_interned(\&quot;$constName\&quot;, sizeof(\&quot;$constName\&quot;) - 1, 1);\n&quot;;
        $nameCode = &quot;const_{$constName}_name&quot;;

        $php83MinimumCompatibility = $this-&gt;phpVersionIdMinimumCompatibility === null || $this-&gt;phpVersionIdMinimumCompatibility &gt;= PHP_83_VERSION_ID;

        if ($this-&gt;type &amp;&amp; !$php83MinimumCompatibility) {
            $code .= &quot;#if (PHP_VERSION_ID &gt;= &quot; . PHP_83_VERSION_ID . &quot;)\n&quot;;
        }

        if ($this-&gt;type) {
            $typeCode = $this-&gt;getTypeCode($constName, $code);

            if (!empty($this-&gt;attributes)) {
                $template = &quot;\tzend_class_constant *const_&quot; . $this-&gt;name-&gt;getDeclarationName() . &quot; = &quot;;
            } else {
                $template = &quot;\t&quot;;
            }
            $template .= &quot;zend_declare_typed_class_constant(class_entry, $nameCode, &amp;const_{$constName}_value, %s, NULL, $typeCode);\n&quot;;

            $flagsCode = generateVersionDependentFlagCode(
                $template,
                $this-&gt;getFlagsByPhpVersion(),
                $this-&gt;phpVersionIdMinimumCompatibility
            );
            $code .= implode(&quot;&quot;, $flagsCode);
        }

        if ($this-&gt;type &amp;&amp; !$php83MinimumCompatibility) {
            $code .= &quot;#else\n&quot;;
        }

        if (!$this-&gt;type || !$php83MinimumCompatibility) {
            if (!empty($this-&gt;attributes)) {
                $template = &quot;\tzend_class_constant *const_&quot; . $this-&gt;name-&gt;getDeclarationName() . &quot; = &quot;;
            } else {
                $template = &quot;\t&quot;;
            }
            $template .= &quot;zend_declare_class_constant_ex(class_entry, $nameCode, &amp;const_{$constName}_value, %s, NULL);\n&quot;;
            $flagsCode = generateVersionDependentFlagCode(
                $template,
                $this-&gt;getFlagsByPhpVersion(),
                $this-&gt;phpVersionIdMinimumCompatibility
            );
            $code .= implode(&quot;&quot;, $flagsCode);
        }

        if ($this-&gt;type &amp;&amp; !$php83MinimumCompatibility) {
            $code .= &quot;#endif\n&quot;;
        }

        $code .= &quot;\tzend_string_release(const_{$constName}_name);\n&quot;;

        return $code;
    }

    private function getValueAssertion(EvaluatedValue $value): string
    {
        if ($value-&gt;isUnknownConstValue || $value-&gt;originatingConsts || $this-&gt;cValue === null) {
            return &quot;&quot;;
        }

        $cExpr = $value-&gt;getCExpr();
        $constValue = $value-&gt;value;

        if ($value-&gt;type-&gt;isNull()) {
            return &quot;\tZEND_ASSERT($cExpr == NULL);\n&quot;;
        }

        if ($value-&gt;type-&gt;isBool()) {
            $cValue = $constValue ? &quot;true&quot; : &quot;false&quot;;
            return &quot;\tZEND_ASSERT($cExpr == $cValue);\n&quot;;
        }

        if ($value-&gt;type-&gt;isInt()) {
            $cValue = (int) $constValue;
            return &quot;\tZEND_ASSERT($cExpr == $cValue);\n&quot;;
        }

        if ($value-&gt;type-&gt;isFloat()) {
            $cValue = (float) $constValue;
            return &quot;\tZEND_ASSERT($cExpr == $cValue);\n&quot;;
        }

        if ($value-&gt;type-&gt;isString()) {
            $cValue = '&quot;' . addslashes($constValue) . '&quot;';
            return &quot;\tZEND_ASSERT(strcmp($cExpr, $cValue) == 0);\n&quot;;
        }

        throw new Exception(&quot;Unimplemented constant type&quot;);
    }

    /**
     * @return array&lt;int, string[]&gt;
     */
    protected function getFlagsByPhpVersion(): array
    {
        $flags = parent::getFlagsByPhpVersion();

        if ($this-&gt;isDeprecated) {
            $flags = $this-&gt;addFlagForVersionsAbove($flags, &quot;ZEND_ACC_DEPRECATED&quot;, PHP_80_VERSION_ID);
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_FINAL) {
            $flags = $this-&gt;addFlagForVersionsAbove($flags, &quot;ZEND_ACC_FINAL&quot;, PHP_81_VERSION_ID);
        }

        return $flags;
    }

    protected function addModifiersToFieldSynopsis(DOMDocument $doc, DOMElement $fieldsynopsisElement): void
    {
        parent::addModifiersToFieldSynopsis($doc, $fieldsynopsisElement);

        if ($this-&gt;flags &amp; Class_::MODIFIER_FINAL) {
            $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
            $fieldsynopsisElement-&gt;appendChild($doc-&gt;createElement(&quot;modifier&quot;, &quot;final&quot;));
        }

        $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
        $fieldsynopsisElement-&gt;appendChild($doc-&gt;createElement(&quot;modifier&quot;, &quot;const&quot;));
    }
}

class PropertyInfo extends VariableLike
{
    public PropertyName $name;
    public ?Expr $defaultValue;
    public ?string $defaultValueString;
    public bool $isDocReadonly;

    /**
     * @var AttributeInfo[] $attributes
     */
    public function __construct(
        PropertyName $name,
        int $flags,
        ?Type $type,
        ?Type $phpDocType,
        ?Expr $defaultValue,
        ?string $defaultValueString,
        bool $isDocReadonly,
        ?string $link,
        ?int $phpVersionIdMinimumCompatibility,
        array $attributes
    ) {
        $this-&gt;name = $name;
        $this-&gt;defaultValue = $defaultValue;
        $this-&gt;defaultValueString = $defaultValueString;
        $this-&gt;isDocReadonly = $isDocReadonly;
        parent::__construct($flags, $type, $phpDocType, $link, $phpVersionIdMinimumCompatibility, $attributes);
    }

    protected function getVariableTypeCode(): string
    {
        return &quot;property&quot;;
    }

    protected function getVariableTypeName(): string
    {
        return &quot;property&quot;;
    }

    protected function getFieldSynopsisDefaultLinkend(): string
    {
        $className = str_replace([&quot;\\&quot;, &quot;_&quot;], [&quot;-&quot;, &quot;-&quot;], $this-&gt;name-&gt;class-&gt;toLowerString());

        return &quot;$className.props.&quot; . strtolower(str_replace(&quot;_&quot;, &quot;-&quot;, $this-&gt;name-&gt;getDeclarationName()));
    }

    protected function getFieldSynopsisName(): string
    {
        return $this-&gt;name-&gt;getDeclarationName();
    }

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    protected function getFieldSynopsisValueString(iterable $allConstInfos): ?string
    {
        return $this-&gt;defaultValueString;
    }

    public function discardInfoForOldPhpVersions(): void {
        $this-&gt;type = null;
        $this-&gt;flags &amp;= ~Class_::MODIFIER_READONLY;
        $this-&gt;attributes = [];
    }

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    public function getDeclaration(iterable $allConstInfos): string {
        $code = &quot;\n&quot;;

        $propertyName = $this-&gt;name-&gt;getDeclarationName();

        if ($this-&gt;defaultValue === null) {
            $defaultValue = EvaluatedValue::null();
        } else {
            $defaultValue = EvaluatedValue::createFromExpression($this-&gt;defaultValue, null, null, $allConstInfos);
            if ($defaultValue-&gt;isUnknownConstValue || ($defaultValue-&gt;originatingConsts &amp;&amp; $defaultValue-&gt;getCExpr() === null)) {
                echo &quot;Skipping code generation for property $this-&gt;name, because it has an unknown constant default value\n&quot;;
                return &quot;&quot;;
            }
        }

        $zvalName = &quot;property_{$propertyName}_default_value&quot;;
        if ($this-&gt;defaultValue === null &amp;&amp; $this-&gt;type !== null) {
            $code .= &quot;\tzval $zvalName;\n\tZVAL_UNDEF(&amp;$zvalName);\n&quot;;
        } else {
            $code .= $defaultValue-&gt;initializeZval($zvalName);
        }

        $code .= &quot;\tzend_string *property_{$propertyName}_name = zend_string_init(\&quot;$propertyName\&quot;, sizeof(\&quot;$propertyName\&quot;) - 1, 1);\n&quot;;
        $nameCode = &quot;property_{$propertyName}_name&quot;;
        $typeCode = $this-&gt;getTypeCode($propertyName, $code);

        if (!empty($this-&gt;attributes)) {
            $template = &quot;\tzend_property_info *property_&quot; . $this-&gt;name-&gt;getDeclarationName() . &quot; = &quot;;
        } else {
            $template = &quot;\t&quot;;
        }
        $template .= &quot;zend_declare_typed_property(class_entry, $nameCode, &amp;$zvalName, %s, NULL, $typeCode);\n&quot;;
        $flagsCode = generateVersionDependentFlagCode(
            $template,
            $this-&gt;getFlagsByPhpVersion(),
            $this-&gt;phpVersionIdMinimumCompatibility
        );
        $code .= implode(&quot;&quot;, $flagsCode);

        $code .= &quot;\tzend_string_release(property_{$propertyName}_name);\n&quot;;

        return $code;
    }

    /**
     * @return array&lt;int, string[]&gt;
     */
    protected function getFlagsByPhpVersion(): array
    {
        $flags = parent::getFlagsByPhpVersion();

        if ($this-&gt;flags &amp; Class_::MODIFIER_STATIC) {
            $flags = $this-&gt;addFlagForVersionsAbove($flags, &quot;ZEND_ACC_STATIC&quot;, PHP_70_VERSION_ID);
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_READONLY) {
            $flags = $this-&gt;addFlagForVersionsAbove($flags, &quot;ZEND_ACC_READONLY&quot;, PHP_81_VERSION_ID);
        }

        return $flags;
    }

    protected function addModifiersToFieldSynopsis(DOMDocument $doc, DOMElement $fieldsynopsisElement): void
    {
        parent::addModifiersToFieldSynopsis($doc, $fieldsynopsisElement);

        if ($this-&gt;flags &amp; Class_::MODIFIER_STATIC) {
            $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
            $fieldsynopsisElement-&gt;appendChild($doc-&gt;createElement(&quot;modifier&quot;, &quot;static&quot;));
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_READONLY || $this-&gt;isDocReadonly) {
            $fieldsynopsisElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
            $fieldsynopsisElement-&gt;appendChild($doc-&gt;createElement(&quot;modifier&quot;, &quot;readonly&quot;));
        }
    }

    public function __clone()
    {
        if ($this-&gt;type) {
            $this-&gt;type = clone $this-&gt;type;
        }
    }
}

class EnumCaseInfo {
    public string $name;
    public ?Expr $value;

    public function __construct(string $name, ?Expr $value) {
        $this-&gt;name = $name;
        $this-&gt;value = $value;
    }

    /**
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    public function getDeclaration(iterable $allConstInfos): string {
        $escapedName = addslashes($this-&gt;name);
        if ($this-&gt;value === null) {
            $code = &quot;\n\tzend_enum_add_case_cstr(class_entry, \&quot;$escapedName\&quot;, NULL);\n&quot;;
        } else {
            $value = EvaluatedValue::createFromExpression($this-&gt;value, null, null, $allConstInfos);

            $zvalName = &quot;enum_case_{$escapedName}_value&quot;;
            $code = &quot;\n&quot; . $value-&gt;initializeZval($zvalName);
            $code .= &quot;\tzend_enum_add_case_cstr(class_entry, \&quot;$escapedName\&quot;, &amp;$zvalName);\n&quot;;
        }

        return $code;
    }
}

class AttributeInfo {
    public string $class;
    /** @var \PhpParser\Node\Arg[] */
    public array $args;

    /** @param \PhpParser\Node\Arg[] $args */
    public function __construct(string $class, array $args) {
        $this-&gt;class = $class;
        $this-&gt;args = $args;
    }

    /** @param iterable&lt;ConstInfo&gt; $allConstInfos */
    public function generateCode(string $invocation, string $nameSuffix, iterable $allConstInfos, ?int $phpVersionIdMinimumCompatibility): string {
        $php82MinimumCompatibility = $phpVersionIdMinimumCompatibility === null || $phpVersionIdMinimumCompatibility &gt;= PHP_82_VERSION_ID;
        /* see ZEND_KNOWN_STRINGS in Zend/strings.h */
        $knowns = [];
        if ($php82MinimumCompatibility) {
            $knowns[&quot;SensitiveParameter&quot;] = &quot;ZEND_STR_SENSITIVEPARAMETER&quot;;
        }

        $code = &quot;\n&quot;;
        $escapedAttributeName = strtr($this-&gt;class, '\\', '_');
        if (isset($knowns[$escapedAttributeName])) {
            $code .= &quot;\t&quot; . ($this-&gt;args ? &quot;zend_attribute *attribute_{$escapedAttributeName}_$nameSuffix = &quot; : &quot;&quot;) . &quot;$invocation, ZSTR_KNOWN({$knowns[$escapedAttributeName]}), &quot; . count($this-&gt;args) . &quot;);\n&quot;;
        } else {
            $code .= &quot;\tzend_string *attribute_name_{$escapedAttributeName}_$nameSuffix = zend_string_init_interned(\&quot;&quot; . addcslashes($this-&gt;class, &quot;\\&quot;) . &quot;\&quot;, sizeof(\&quot;&quot; . addcslashes($this-&gt;class, &quot;\\&quot;) . &quot;\&quot;) - 1, 1);\n&quot;;
            $code .= &quot;\t&quot; . ($this-&gt;args ? &quot;zend_attribute *attribute_{$escapedAttributeName}_$nameSuffix = &quot; : &quot;&quot;) . &quot;$invocation, attribute_name_{$escapedAttributeName}_$nameSuffix, &quot; . count($this-&gt;args) . &quot;);\n&quot;;
            $code .= &quot;\tzend_string_release(attribute_name_{$escapedAttributeName}_$nameSuffix);\n&quot;;
        }
        foreach ($this-&gt;args as $i =&gt; $arg) {
            $value = EvaluatedValue::createFromExpression($arg-&gt;value, null, null, $allConstInfos);
            $zvalName = &quot;attribute_{$escapedAttributeName}_{$nameSuffix}_arg$i&quot;;
            $code .= $value-&gt;initializeZval($zvalName);
            $code .= &quot;\tZVAL_COPY_VALUE(&amp;attribute_{$escapedAttributeName}_{$nameSuffix}-&gt;args[$i].value, &amp;$zvalName);\n&quot;;
            if ($arg-&gt;name) {
                $code .= &quot;\tattribute_{$escapedAttributeName}_{$nameSuffix}-&gt;args[$i].name = zend_string_init(\&quot;{$arg-&gt;name-&gt;name}\&quot;, sizeof(\&quot;{$arg-&gt;name-&gt;name}\&quot;) - 1, 1);\n&quot;;
            }
        }
        return $code;
    }
}

class ClassInfo {
    public Name $name;
    public int $flags;
    public string $type;
    public ?string $alias;
    public ?SimpleType $enumBackingType;
    public bool $isDeprecated;
    public bool $isStrictProperties;
    /** @var AttributeInfo[] */
    public array $attributes;
    public bool $isNotSerializable;
    /** @var Name[] */
    public array $extends;
    /** @var Name[] */
    public array $implements;
    /** @var ConstInfo[] */
    public array $constInfos;
    /** @var PropertyInfo[] */
    public array $propertyInfos;
    /** @var FuncInfo[] */
    public array $funcInfos;
    /** @var EnumCaseInfo[] */
    public array $enumCaseInfos;
    public ?string $cond;
    public ?int $phpVersionIdMinimumCompatibility;
    public bool $isUndocumentable;

    /**
     * @param AttributeInfo[] $attributes
     * @param Name[] $extends
     * @param Name[] $implements
     * @param ConstInfo[] $constInfos
     * @param PropertyInfo[] $propertyInfos
     * @param FuncInfo[] $funcInfos
     * @param EnumCaseInfo[] $enumCaseInfos
     */
    public function __construct(
        Name $name,
        int $flags,
        string $type,
        ?string $alias,
        ?SimpleType $enumBackingType,
        bool $isDeprecated,
        bool $isStrictProperties,
        array $attributes,
        bool $isNotSerializable,
        array $extends,
        array $implements,
        array $constInfos,
        array $propertyInfos,
        array $funcInfos,
        array $enumCaseInfos,
        ?string $cond,
        ?int $minimumPhpVersionIdCompatibility,
        bool $isUndocumentable
    ) {
        $this-&gt;name = $name;
        $this-&gt;flags = $flags;
        $this-&gt;type = $type;
        $this-&gt;alias = $alias;
        $this-&gt;enumBackingType = $enumBackingType;
        $this-&gt;isDeprecated = $isDeprecated;
        $this-&gt;isStrictProperties = $isStrictProperties;
        $this-&gt;attributes = $attributes;
        $this-&gt;isNotSerializable = $isNotSerializable;
        $this-&gt;extends = $extends;
        $this-&gt;implements = $implements;
        $this-&gt;constInfos = $constInfos;
        $this-&gt;propertyInfos = $propertyInfos;
        $this-&gt;funcInfos = $funcInfos;
        $this-&gt;enumCaseInfos = $enumCaseInfos;
        $this-&gt;cond = $cond;
        $this-&gt;phpVersionIdMinimumCompatibility = $minimumPhpVersionIdCompatibility;
        $this-&gt;isUndocumentable = $isUndocumentable;
    }

    /**
     * @param ConstInfo[] $allConstInfos
     */
    public function getRegistration(iterable $allConstInfos): string
    {
        $params = [];
        foreach ($this-&gt;extends as $extends) {
            $params[] = &quot;zend_class_entry *class_entry_&quot; . implode(&quot;_&quot;, $extends-&gt;getParts());
        }
        foreach ($this-&gt;implements as $implements) {
            $params[] = &quot;zend_class_entry *class_entry_&quot; . implode(&quot;_&quot;, $implements-&gt;getParts());
        }

        $escapedName = implode(&quot;_&quot;, $this-&gt;name-&gt;getParts());

        $code = '';

        $php80MinimumCompatibility = $this-&gt;phpVersionIdMinimumCompatibility === null || $this-&gt;phpVersionIdMinimumCompatibility &gt;= PHP_80_VERSION_ID;
        $php81MinimumCompatibility = $this-&gt;phpVersionIdMinimumCompatibility === null || $this-&gt;phpVersionIdMinimumCompatibility &gt;= PHP_81_VERSION_ID;

        if ($this-&gt;type === &quot;enum&quot; &amp;&amp; !$php81MinimumCompatibility) {
            $code .= &quot;#if (PHP_VERSION_ID &gt;= &quot; . PHP_81_VERSION_ID . &quot;)\n&quot;;
        }

        if ($this-&gt;cond) {
            $code .= &quot;#if {$this-&gt;cond}\n&quot;;
        }

        $code .= &quot;static zend_class_entry *register_class_$escapedName(&quot; . (empty($params) ? &quot;void&quot; : implode(&quot;, &quot;, $params)) . &quot;)\n&quot;;

        $code .= &quot;{\n&quot;;
        if ($this-&gt;type === &quot;enum&quot;) {
            $name = addslashes((string) $this-&gt;name);
            $backingType = $this-&gt;enumBackingType
                ? $this-&gt;enumBackingType-&gt;toTypeCode() : &quot;IS_UNDEF&quot;;
            $code .= &quot;\tzend_class_entry *class_entry = zend_register_internal_enum(\&quot;$name\&quot;, $backingType, class_{$escapedName}_methods);\n&quot;;
        } else {
            $code .= &quot;\tzend_class_entry ce, *class_entry;\n\n&quot;;
            if (count($this-&gt;name-&gt;getParts()) &gt; 1) {
                $className = $this-&gt;name-&gt;getLast();
                $namespace = addslashes((string) $this-&gt;name-&gt;slice(0, -1));

                $code .= &quot;\tINIT_NS_CLASS_ENTRY(ce, \&quot;$namespace\&quot;, \&quot;$className\&quot;, class_{$escapedName}_methods);\n&quot;;
            } else {
                $code .= &quot;\tINIT_CLASS_ENTRY(ce, \&quot;$this-&gt;name\&quot;, class_{$escapedName}_methods);\n&quot;;
            }

            if ($this-&gt;type === &quot;class&quot; || $this-&gt;type === &quot;trait&quot;) {
                $code .= &quot;\tclass_entry = zend_register_internal_class_ex(&amp;ce, &quot; . (isset($this-&gt;extends[0]) ? &quot;class_entry_&quot; . str_replace(&quot;\\&quot;, &quot;_&quot;, $this-&gt;extends[0]-&gt;toString()) : &quot;NULL&quot;) . &quot;);\n&quot;;
            } else {
                $code .= &quot;\tclass_entry = zend_register_internal_interface(&amp;ce);\n&quot;;
            }
        }

        $flagCodes = generateVersionDependentFlagCode(&quot;\tclass_entry-&gt;ce_flags |= %s;\n&quot;, $this-&gt;getFlagsByPhpVersion(), $this-&gt;phpVersionIdMinimumCompatibility);
        $code .= implode(&quot;&quot;, $flagCodes);

        $implements = array_map(
            function (Name $item) {
                return &quot;class_entry_&quot; . implode(&quot;_&quot;, $item-&gt;getParts());
            },
            $this-&gt;type === &quot;interface&quot; ? $this-&gt;extends : $this-&gt;implements
        );

        if (!empty($implements)) {
            $code .= &quot;\tzend_class_implements(class_entry, &quot; . count($implements) . &quot;, &quot; . implode(&quot;, &quot;, $implements) . &quot;);\n&quot;;
        }

        if ($this-&gt;alias) {
            $code .= &quot;\tzend_register_class_alias(\&quot;&quot; . str_replace(&quot;\\&quot;, &quot;\\\\&quot;, $this-&gt;alias) . &quot;\&quot;, class_entry);\n&quot;;
        }

        foreach ($this-&gt;constInfos as $const) {
            $code .= $const-&gt;getDeclaration($allConstInfos);
        }

        foreach ($this-&gt;enumCaseInfos as $enumCase) {
            $code .= $enumCase-&gt;getDeclaration($allConstInfos);
        }

        foreach ($this-&gt;propertyInfos as $property) {
            $code .= $property-&gt;getDeclaration($allConstInfos);
        }

        if (!empty($this-&gt;attributes)) {
            if (!$php80MinimumCompatibility) {
                $code .= &quot;\n#if (PHP_VERSION_ID &gt;= &quot; . PHP_80_VERSION_ID . &quot;)&quot;;
            }

            foreach ($this-&gt;attributes as $key =&gt; $attribute) {
                $code .= $attribute-&gt;generateCode(
                    &quot;zend_add_class_attribute(class_entry&quot;,
                    &quot;class_{$escapedName}_$key&quot;,
                    $allConstInfos,
                    $this-&gt;phpVersionIdMinimumCompatibility
                );
            }

            if (!$php80MinimumCompatibility) {
                $code .= &quot;#endif\n&quot;;
            }
        }

        if ($attributeInitializationCode = generateConstantAttributeInitialization($this-&gt;constInfos, $allConstInfos, $this-&gt;phpVersionIdMinimumCompatibility, $this-&gt;cond)) {
            if (!$php80MinimumCompatibility) {
                $code .= &quot;#if (PHP_VERSION_ID &gt;= &quot; . PHP_80_VERSION_ID . &quot;)&quot;;
            }

            $code .= &quot;\n&quot; . $attributeInitializationCode;

            if (!$php80MinimumCompatibility) {
                $code .= &quot;#endif\n&quot;;
            }
        }

        if ($attributeInitializationCode = generatePropertyAttributeInitialization($this-&gt;propertyInfos, $allConstInfos, $this-&gt;phpVersionIdMinimumCompatibility)) {
            if (!$php80MinimumCompatibility) {
                $code .= &quot;#if (PHP_VERSION_ID &gt;= &quot; . PHP_80_VERSION_ID . &quot;)&quot;;
            }

            $code .= &quot;\n&quot; . $attributeInitializationCode;

            if (!$php80MinimumCompatibility) {
                $code .= &quot;#endif\n&quot;;
            }
        }

        if ($attributeInitializationCode = generateFunctionAttributeInitialization($this-&gt;funcInfos, $allConstInfos, $this-&gt;phpVersionIdMinimumCompatibility, $this-&gt;cond)) {
            if (!$php80MinimumCompatibility) {
                $code .= &quot;#if (PHP_VERSION_ID &gt;= &quot; . PHP_80_VERSION_ID . &quot;)\n&quot;;
            }

            $code .= &quot;\n&quot; . $attributeInitializationCode;

            if (!$php80MinimumCompatibility) {
                $code .= &quot;#endif\n&quot;;
            }
        }

        $code .= &quot;\n\treturn class_entry;\n&quot;;

        $code .= &quot;}\n&quot;;

        if ($this-&gt;cond) {
            $code .= &quot;#endif\n&quot;;
        }

        if ($this-&gt;type === &quot;enum&quot; &amp;&amp; !$php81MinimumCompatibility) {
            $code .= &quot;#endif\n&quot;;
        }

        return $code;
    }

    /**
     * @return array&lt;int, string[]&gt;
     */
    private function getFlagsByPhpVersion(): array
    {
        $php70Flags = [];

        if ($this-&gt;type === &quot;trait&quot;) {
            $php70Flags[] = &quot;ZEND_ACC_TRAIT&quot;;
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_FINAL) {
            $php70Flags[] = &quot;ZEND_ACC_FINAL&quot;;
        }

        if ($this-&gt;flags &amp; Class_::MODIFIER_ABSTRACT) {
            $php70Flags[] = &quot;ZEND_ACC_ABSTRACT&quot;;
        }

        if ($this-&gt;isDeprecated) {
            $php70Flags[] = &quot;ZEND_ACC_DEPRECATED&quot;;
        }

        $php80Flags = $php70Flags;

        if ($this-&gt;isStrictProperties) {
            $php80Flags[] = &quot;ZEND_ACC_NO_DYNAMIC_PROPERTIES&quot;;
        }

        $php81Flags = $php80Flags;

        if ($this-&gt;isNotSerializable) {
            $php81Flags[] = &quot;ZEND_ACC_NOT_SERIALIZABLE&quot;;
        }

        $php82Flags = $php81Flags;

        if ($this-&gt;flags &amp; Class_::MODIFIER_READONLY) {
            $php82Flags[] = &quot;ZEND_ACC_READONLY_CLASS&quot;;
        }

        foreach ($this-&gt;attributes as $attr) {
            if ($attr-&gt;class === &quot;AllowDynamicProperties&quot;) {
                $php82Flags[] = &quot;ZEND_ACC_ALLOW_DYNAMIC_PROPERTIES&quot;;
                break;
            }
        }

        $php83Flags = $php82Flags;

        return [
            PHP_70_VERSION_ID =&gt; $php70Flags,
            PHP_80_VERSION_ID =&gt; $php80Flags,
            PHP_81_VERSION_ID =&gt; $php81Flags,
            PHP_82_VERSION_ID =&gt; $php82Flags,
            PHP_83_VERSION_ID =&gt; $php83Flags,
        ];
    }

    /**
     * @param array&lt;string, ClassInfo&gt; $classMap
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     * @param iterable&lt;ConstInfo&gt; $allConstInfo
     */
    public function getClassSynopsisDocument(array $classMap, iterable $allConstInfos): ?string {

        $doc = new DOMDocument();
        $doc-&gt;formatOutput = true;
        $classSynopsis = $this-&gt;getClassSynopsisElement($doc, $classMap, $allConstInfos);
        if (!$classSynopsis) {
            return null;
        }

        $doc-&gt;appendChild($classSynopsis);

        return $doc-&gt;saveXML();
    }

    /**
     * @param array&lt;string, ClassInfo&gt; $classMap
     * @param iterable&lt;ConstInfo&gt; $allConstInfos
     */
    public function getClassSynopsisElement(DOMDocument $doc, array $classMap, iterable $allConstInfos): ?DOMElement {

        $classSynopsis = $doc-&gt;createElement(&quot;classsynopsis&quot;);
        $classSynopsis-&gt;setAttribute(&quot;class&quot;, $this-&gt;type === &quot;interface&quot; ? &quot;interface&quot; : &quot;class&quot;);

        $exceptionOverride = $this-&gt;type === &quot;class&quot; &amp;&amp; $this-&gt;isException($classMap) ? &quot;exception&quot; : null;
        $ooElement = self::createOoElement($doc, $this, $exceptionOverride, true, null, 4);
        if (!$ooElement) {
            return null;
        }
        $classSynopsis-&gt;appendChild(new DOMText(&quot;\n    &quot;));
        $classSynopsis-&gt;appendChild($ooElement);

        foreach ($this-&gt;extends as $k =&gt; $parent) {
            $parentInfo = $classMap[$parent-&gt;toString()] ?? null;
            if ($parentInfo === null) {
                throw new Exception(&quot;Missing parent class &quot; . $parent-&gt;toString());
            }

            $ooElement = self::createOoElement(
                $doc,
                $parentInfo,
                null,
                false,
                $k === 0 ? &quot;extends&quot; : null,
                4
            );
            if (!$ooElement) {
                return null;
            }

            $classSynopsis-&gt;appendChild(new DOMText(&quot;\n\n    &quot;));
            $classSynopsis-&gt;appendChild($ooElement);
        }

        foreach ($this-&gt;implements as $k =&gt; $interface) {
            $interfaceInfo = $classMap[$interface-&gt;toString()] ?? null;
            if (!$interfaceInfo) {
                throw new Exception(&quot;Missing implemented interface &quot; . $interface-&gt;toString());
            }

            $ooElement = self::createOoElement($doc, $interfaceInfo, null, false, $k === 0 ? &quot;implements&quot; : null, 4);
            if (!$ooElement) {
                return null;
            }
            $classSynopsis-&gt;appendChild(new DOMText(&quot;\n\n    &quot;));
            $classSynopsis-&gt;appendChild($ooElement);
        }

        /** @var array&lt;string, Name&gt; $parentsWithInheritedConstants */
        $parentsWithInheritedConstants = [];
        /** @var array&lt;string, Name&gt; $parentsWithInheritedProperties */
        $parentsWithInheritedProperties = [];
        /** @var array&lt;int, array{name: Name, types: int[]}&gt; $parentsWithInheritedMethods */
        $parentsWithInheritedMethods = [];

        $this-&gt;collectInheritedMembers(
            $parentsWithInheritedConstants,
            $parentsWithInheritedProperties,
            $parentsWithInheritedMethods,
            $this-&gt;hasConstructor(),
            $classMap
        );

        $this-&gt;appendInheritedMemberSectionToClassSynopsis(
            $doc,
            $classSynopsis,
            $parentsWithInheritedConstants,
            &quot;&amp;Constants;&quot;,
            &quot;&amp;InheritedConstants;&quot;
        );

        if (!empty($this-&gt;constInfos)) {
            $classSynopsis-&gt;appendChild(new DOMText(&quot;\n\n    &quot;));
            $classSynopsisInfo = $doc-&gt;createElement(&quot;classsynopsisinfo&quot;, &quot;&amp;Constants;&quot;);
            $classSynopsisInfo-&gt;setAttribute(&quot;role&quot;, &quot;comment&quot;);
            $classSynopsis-&gt;appendChild($classSynopsisInfo);

            foreach ($this-&gt;constInfos as $constInfo) {
                $classSynopsis-&gt;appendChild(new DOMText(&quot;\n    &quot;));
                $fieldSynopsisElement = $constInfo-&gt;getFieldSynopsisElement($doc, $allConstInfos);
                $classSynopsis-&gt;appendChild($fieldSynopsisElement);
            }
        }

        if (!empty($this-&gt;propertyInfos)) {
            $classSynopsis-&gt;appendChild(new DOMText(&quot;\n\n    &quot;));
            $classSynopsisInfo = $doc-&gt;createElement(&quot;classsynopsisinfo&quot;, &quot;&amp;Properties;&quot;);
            $classSynopsisInfo-&gt;setAttribute(&quot;role&quot;, &quot;comment&quot;);
            $classSynopsis-&gt;appendChild($classSynopsisInfo);

            foreach ($this-&gt;propertyInfos as $propertyInfo) {
                $classSynopsis-&gt;appendChild(new DOMText(&quot;\n    &quot;));
                $fieldSynopsisElement = $propertyInfo-&gt;getFieldSynopsisElement($doc, $allConstInfos);
                $classSynopsis-&gt;appendChild($fieldSynopsisElement);
            }
        }

        $this-&gt;appendInheritedMemberSectionToClassSynopsis(
            $doc,
            $classSynopsis,
            $parentsWithInheritedProperties,
            &quot;&amp;Properties;&quot;,
            &quot;&amp;InheritedProperties;&quot;
        );

        if (!empty($this-&gt;funcInfos)) {
            $classSynopsis-&gt;appendChild(new DOMText(&quot;\n\n    &quot;));
            $classSynopsisInfo = $doc-&gt;createElement(&quot;classsynopsisinfo&quot;, &quot;&amp;Methods;&quot;);
            $classSynopsisInfo-&gt;setAttribute(&quot;role&quot;, &quot;comment&quot;);
            $classSynopsis-&gt;appendChild($classSynopsisInfo);

            $classReference = self::getClassSynopsisReference($this-&gt;name);
            $escapedName = addslashes($this-&gt;name-&gt;__toString());

            if ($this-&gt;hasConstructor()) {
                $classSynopsis-&gt;appendChild(new DOMText(&quot;\n    &quot;));
                $includeElement = $this-&gt;createIncludeElement(
                    $doc,
                    &quot;xmlns(db=http://docbook.org/ns/docbook) xpointer(id('$classReference')/db:refentry/db:refsect1[@role='description']/descendant::db:constructorsynopsis[@role='$escapedName'])&quot;
                );
                $classSynopsis-&gt;appendChild($includeElement);
            }

            if ($this-&gt;hasMethods()) {
                $classSynopsis-&gt;appendChild(new DOMText(&quot;\n    &quot;));
                $includeElement = $this-&gt;createIncludeElement(
                    $doc,
                    &quot;xmlns(db=http://docbook.org/ns/docbook) xpointer(id('$classReference')/db:refentry/db:refsect1[@role='description']/descendant::db:methodsynopsis[@role='$escapedName'])&quot;
                );
                $classSynopsis-&gt;appendChild($includeElement);
            }

            if ($this-&gt;hasDestructor()) {
                $classSynopsis-&gt;appendChild(new DOMText(&quot;\n    &quot;));
                $includeElement = $this-&gt;createIncludeElement(
                    $doc,
                    &quot;xmlns(db=http://docbook.org/ns/docbook) xpointer(id('$classReference')/db:refentry/db:refsect1[@role='description']/descendant::db:destructorsynopsis[@role='$escapedName'])&quot;
                );
                $classSynopsis-&gt;appendChild($includeElement);
            }
        }

        if (!empty($parentsWithInheritedMethods)) {
            $classSynopsis-&gt;appendChild(new DOMText(&quot;\n\n    &quot;));
            $classSynopsisInfo = $doc-&gt;createElement(&quot;classsynopsisinfo&quot;, &quot;&amp;InheritedMethods;&quot;);
            $classSynopsisInfo-&gt;setAttribute(&quot;role&quot;, &quot;comment&quot;);
            $classSynopsis-&gt;appendChild($classSynopsisInfo);

            foreach ($parentsWithInheritedMethods as $parent) {
                $parentName = $parent[&quot;name&quot;];
                $parentMethodsynopsisTypes = $parent[&quot;types&quot;];

                $parentReference = self::getClassSynopsisReference($parentName);
                $escapedParentName = addslashes($parentName-&gt;__toString());

                foreach ($parentMethodsynopsisTypes as $parentMethodsynopsisType) {
                    $classSynopsis-&gt;appendChild(new DOMText(&quot;\n    &quot;));
                    $includeElement = $this-&gt;createIncludeElement(
                        $doc,
                        &quot;xmlns(db=http://docbook.org/ns/docbook) xpointer(id('$parentReference')/db:refentry/db:refsect1[@role='description']/descendant::db:{$parentMethodsynopsisType}[@role='$escapedParentName'])&quot;
                    );

                    $classSynopsis-&gt;appendChild($includeElement);
                }
            }
        }

        $classSynopsis-&gt;appendChild(new DOMText(&quot;\n   &quot;));

        return $classSynopsis;
    }

    private static function createOoElement(
        DOMDocument $doc,
        ClassInfo $classInfo,
        ?string $typeOverride,
        bool $withModifiers,
        ?string $modifierOverride,
        int $indentationLevel
    ): ?DOMElement {
        $indentation = str_repeat(&quot; &quot;, $indentationLevel);

        if ($classInfo-&gt;type !== &quot;class&quot; &amp;&amp; $classInfo-&gt;type !== &quot;interface&quot;) {
            echo &quot;Class synopsis generation is not implemented for &quot; . $classInfo-&gt;type . &quot;\n&quot;;
            return null;
        }

        $type = $typeOverride !== null ? $typeOverride : $classInfo-&gt;type;

        $ooElement = $doc-&gt;createElement(&quot;oo$type&quot;);
        $ooElement-&gt;appendChild(new DOMText(&quot;\n$indentation &quot;));
        if ($modifierOverride !== null) {
            $ooElement-&gt;appendChild($doc-&gt;createElement('modifier', $modifierOverride));
            $ooElement-&gt;appendChild(new DOMText(&quot;\n$indentation &quot;));
        } elseif ($withModifiers) {
            if ($classInfo-&gt;flags &amp; Class_::MODIFIER_FINAL) {
                $ooElement-&gt;appendChild($doc-&gt;createElement('modifier', 'final'));
                $ooElement-&gt;appendChild(new DOMText(&quot;\n$indentation &quot;));
            }
            if ($classInfo-&gt;flags &amp; Class_::MODIFIER_ABSTRACT) {
                $ooElement-&gt;appendChild($doc-&gt;createElement('modifier', 'abstract'));
                $ooElement-&gt;appendChild(new DOMText(&quot;\n$indentation &quot;));
            }
            if ($classInfo-&gt;flags &amp; Class_::MODIFIER_READONLY) {
                $ooElement-&gt;appendChild($doc-&gt;createElement('modifier', 'readonly'));
                $ooElement-&gt;appendChild(new DOMText(&quot;\n$indentation &quot;));
            }
        }

        $nameElement = $doc-&gt;createElement(&quot;{$type}name&quot;, $classInfo-&gt;name-&gt;toString());
        $ooElement-&gt;appendChild($nameElement);
        $ooElement-&gt;appendChild(new DOMText(&quot;\n$indentation&quot;));

        return $ooElement;
    }

    public static function getClassSynopsisFilename(Name $name): string {
        return strtolower(str_replace(&quot;_&quot;, &quot;-&quot;, implode('-', $name-&gt;getParts())));
    }

    public static function getClassSynopsisReference(Name $name): string {
        return &quot;class.&quot; . self::getClassSynopsisFilename($name);
    }

    /**
     * @param array&lt;string, Name&gt; $parentsWithInheritedConstants
     * @param array&lt;string, Name&gt; $parentsWithInheritedProperties
     * @param array&lt;string, array{name: Name, types: int[]}&gt; $parentsWithInheritedMethods
     * @param array&lt;string, ClassInfo&gt; $classMap
     */
    private function collectInheritedMembers(
        array &amp;$parentsWithInheritedConstants,
        array &amp;$parentsWithInheritedProperties,
        array &amp;$parentsWithInheritedMethods,
        bool $hasConstructor,
        array $classMap
    ): void {
        foreach ($this-&gt;extends as $parent) {
            $parentInfo = $classMap[$parent-&gt;toString()] ?? null;
            $parentName = $parent-&gt;toString();

            if (!$parentInfo) {
                throw new Exception(&quot;Missing parent class $parentName&quot;);
            }

            if (!empty($parentInfo-&gt;constInfos) &amp;&amp; !isset($parentsWithInheritedConstants[$parentName])) {
                $parentsWithInheritedConstants[] = $parent;
            }

            if (!empty($parentInfo-&gt;propertyInfos) &amp;&amp; !isset($parentsWithInheritedProperties[$parentName])) {
                $parentsWithInheritedProperties[$parentName] = $parent;
            }

            if (!$hasConstructor &amp;&amp; $parentInfo-&gt;hasNonPrivateConstructor()) {
                $parentsWithInheritedMethods[$parentName][&quot;name&quot;] = $parent;
                $parentsWithInheritedMethods[$parentName][&quot;types&quot;][] = &quot;constructorsynopsis&quot;;
            }

            if ($parentInfo-&gt;hasMethods()) {
                $parentsWithInheritedMethods[$parentName][&quot;name&quot;] = $parent;
                $parentsWithInheritedMethods[$parentName][&quot;types&quot;][] = &quot;methodsynopsis&quot;;
            }

            if ($parentInfo-&gt;hasDestructor()) {
                $parentsWithInheritedMethods[$parentName][&quot;name&quot;] = $parent;
                $parentsWithInheritedMethods[$parentName][&quot;types&quot;][] = &quot;destructorsynopsis&quot;;
            }

            $parentInfo-&gt;collectInheritedMembers(
                $parentsWithInheritedConstants,
                $parentsWithInheritedProperties,
                $parentsWithInheritedMethods,
                $hasConstructor,
                $classMap
            );
        }

        foreach ($this-&gt;implements as $parent) {
            $parentInfo = $classMap[$parent-&gt;toString()] ?? null;
            if (!$parentInfo) {
                throw new Exception(&quot;Missing parent interface &quot; . $parent-&gt;toString());
            }

            if (!empty($parentInfo-&gt;constInfos) &amp;&amp; !isset($parentsWithInheritedConstants[$parent-&gt;toString()])) {
                $parentsWithInheritedConstants[$parent-&gt;toString()] = $parent;
            }

            $unusedParentsWithInheritedProperties = [];
            $unusedParentsWithInheritedMethods = [];

            $parentInfo-&gt;collectInheritedMembers(
                $parentsWithInheritedConstants,
                $unusedParentsWithInheritedProperties,
                $unusedParentsWithInheritedMethods,
                $hasConstructor,
                $classMap
            );
        }
    }

    /** @param array&lt;string, ClassInfo&gt; $classMap */
    private function isException(array $classMap): bool
    {
        if ($this-&gt;name-&gt;toString() === &quot;Throwable&quot;) {
            return true;
        }

        foreach ($this-&gt;extends as $parentName) {
            $parent = $classMap[$parentName-&gt;toString()] ?? null;
            if ($parent === null) {
                throw new Exception(&quot;Missing parent class &quot; . $parentName-&gt;toString());
            }

            if ($parent-&gt;isException($classMap)) {
                return true;
            }
        }

        if ($this-&gt;type === &quot;class&quot;) {
            foreach ($this-&gt;implements as $interfaceName) {
                $interface = $classMap[$interfaceName-&gt;toString()] ?? null;
                if ($interface === null) {
                    throw new Exception(&quot;Missing implemented interface &quot; . $interfaceName-&gt;toString());
                }

                if ($interface-&gt;isException($classMap)) {
                    return true;
                }
            }
        }

        return false;
    }

    private function hasConstructor(): bool
    {
        foreach ($this-&gt;funcInfos as $funcInfo) {
            if ($funcInfo-&gt;name-&gt;isConstructor()) {
                return true;
            }
        }

        return false;
    }

    private function hasNonPrivateConstructor(): bool
    {
        foreach ($this-&gt;funcInfos as $funcInfo) {
            if ($funcInfo-&gt;name-&gt;isConstructor() &amp;&amp; !($funcInfo-&gt;flags &amp; Class_::MODIFIER_PRIVATE)) {
                return true;
            }
        }

        return false;
    }

    private function hasDestructor(): bool
    {
        foreach ($this-&gt;funcInfos as $funcInfo) {
            if ($funcInfo-&gt;name-&gt;isDestructor()) {
                return true;
            }
        }

        return false;
    }

    private function hasMethods(): bool
    {
        foreach ($this-&gt;funcInfos as $funcInfo) {
            if (!$funcInfo-&gt;name-&gt;isConstructor() &amp;&amp; !$funcInfo-&gt;name-&gt;isDestructor()) {
                return true;
            }
        }

        return false;
    }

    private function createIncludeElement(DOMDocument $doc, string $query): DOMElement
    {
        $includeElement = $doc-&gt;createElement(&quot;xi:include&quot;);
        $attr = $doc-&gt;createAttribute(&quot;xpointer&quot;);
        $attr-&gt;value = $query;
        $includeElement-&gt;appendChild($attr);
        $fallbackElement = $doc-&gt;createElement(&quot;xi:fallback&quot;);
        $includeElement-&gt;appendChild(new DOMText(&quot;\n     &quot;));
        $includeElement-&gt;appendChild($fallbackElement);
        $includeElement-&gt;appendChild(new DOMText(&quot;\n    &quot;));

        return $includeElement;
    }

    public function __clone()
    {
        foreach ($this-&gt;propertyInfos as $key =&gt; $propertyInfo) {
            $this-&gt;propertyInfos[$key] = clone $propertyInfo;
        }

        foreach ($this-&gt;funcInfos as $key =&gt; $funcInfo) {
            $this-&gt;funcInfos[$key] = clone $funcInfo;
        }
    }

    /**
     * @param Name[] $parents
     */
    private function appendInheritedMemberSectionToClassSynopsis(DOMDocument $doc, DOMElement $classSynopsis, array $parents, string $label, string $inheritedLabel): void
    {
        if (empty($parents)) {
            return;
        }

        $classSynopsis-&gt;appendChild(new DOMText(&quot;\n\n    &quot;));
        $classSynopsisInfo = $doc-&gt;createElement(&quot;classsynopsisinfo&quot;, &quot;$inheritedLabel&quot;);
        $classSynopsisInfo-&gt;setAttribute(&quot;role&quot;, &quot;comment&quot;);
        $classSynopsis-&gt;appendChild($classSynopsisInfo);

        foreach ($parents as $parent) {
            $classSynopsis-&gt;appendChild(new DOMText(&quot;\n    &quot;));
            $parentReference = self::getClassSynopsisReference($parent);

            $includeElement = $this-&gt;createIncludeElement(
                $doc,
                &quot;xmlns(db=http://docbook.org/ns/docbook) xpointer(id('$parentReference')/db:partintro/db:section/db:classsynopsis/db:fieldsynopsis[preceding-sibling::db:classsynopsisinfo[1][@role='comment' and text()='$label']]))&quot;
            );
            $classSynopsis-&gt;appendChild($includeElement);
        }
    }
}

class FileInfo {
    /** @var string[] */
    public array $dependencies = [];
    /** @var ConstInfo[] */
    public array $constInfos = [];
    /** @var FuncInfo[] */
    public array $funcInfos = [];
    /** @var ClassInfo[] */
    public array $classInfos = [];
    public bool $generateFunctionEntries = false;
    public string $declarationPrefix = &quot;&quot;;
    public ?int $generateLegacyArginfoForPhpVersionId = null;
    public bool $generateClassEntries = false;
    public bool $isUndocumentable = false;

    /**
     * @return iterable&lt;FuncInfo&gt;
     */
    public function getAllFuncInfos(): iterable {
        yield from $this-&gt;funcInfos;
        foreach ($this-&gt;classInfos as $classInfo) {
            yield from $classInfo-&gt;funcInfos;
        }
    }

    /**
     * @return iterable&lt;ConstInfo&gt;
     */
    public function getAllConstInfos(): iterable {
        $result = $this-&gt;constInfos;

        foreach ($this-&gt;classInfos as $classInfo) {
            $result = array_merge($result, $classInfo-&gt;constInfos);
        }

        return $result;
    }

    /**
     * @return iterable&lt;PropertyInfo&gt;
     */
    public function getAllPropertyInfos(): iterable {
        foreach ($this-&gt;classInfos as $classInfo) {
            yield from $classInfo-&gt;propertyInfos;
        }
    }

    public function __clone()
    {
        foreach ($this-&gt;funcInfos as $key =&gt; $funcInfo) {
            $this-&gt;funcInfos[$key] = clone $funcInfo;
        }

        foreach ($this-&gt;classInfos as $key =&gt; $classInfo) {
            $this-&gt;classInfos[$key] = clone $classInfo;
        }
    }
}

class DocCommentTag {
    public string $name;
    public ?string $value;

    public function __construct(string $name, ?string $value) {
        $this-&gt;name = $name;
        $this-&gt;value = $value;
    }

    public function getValue(): string {
        if ($this-&gt;value === null) {
            throw new Exception(&quot;@$this-&gt;name does not have a value&quot;);
        }

        return $this-&gt;value;
    }

    public function getType(): string {
        $value = $this-&gt;getValue();

        $matches = [];

        if ($this-&gt;name === &quot;param&quot;) {
            preg_match('/^\s*([\w\|\\\\\[\]&lt;&gt;, ]+)\s*(?:[{(]|(\.\.\.)?\$\w+).*$/', $value, $matches);
        } elseif ($this-&gt;name === &quot;return&quot; || $this-&gt;name === &quot;var&quot;) {
            preg_match('/^\s*([\w\|\\\\\[\]&lt;&gt;, ]+)/', $value, $matches);
        }

        if (!isset($matches[1])) {
            throw new Exception(&quot;@$this-&gt;name doesn't contain a type or has an invalid format \&quot;$value\&quot;&quot;);
        }

        return trim($matches[1]);
    }

    public function getVariableName(): string {
        $value = $this-&gt;value;
        if ($value === null || strlen($value) === 0) {
            throw new Exception(&quot;@$this-&gt;name doesn't have any value&quot;);
        }

        $matches = [];

        if ($this-&gt;name === &quot;param&quot;) {
            // Allow for parsing extended types like callable(string):mixed in docblocks
            preg_match('/^\s*(?&lt;type&gt;[\w\|\\\\]+(?&lt;parens&gt;\((?&lt;inparens&gt;(?:(?&amp;parens)|[^(){}[\]]*+))++\)|\{(?&amp;inparens)\}|\[(?&amp;inparens)\])*+(?::(?&amp;type))?)\s*(\.\.\.)?\$(?&lt;name&gt;\w+).*$/', $value, $matches);
        } elseif ($this-&gt;name === &quot;prefer-ref&quot;) {
            preg_match('/^\s*\$(?&lt;name&gt;\w+).*$/', $value, $matches);
        }

        if (!isset($matches[&quot;name&quot;])) {
            throw new Exception(&quot;@$this-&gt;name doesn't contain a variable name or has an invalid format \&quot;$value\&quot;&quot;);
        }

        return $matches[&quot;name&quot;];
    }
}

/** @return DocCommentTag[] */
function parseDocComment(DocComment $comment): array {
    $commentText = substr($comment-&gt;getText(), 2, -2);
    $tags = [];
    foreach (explode(&quot;\n&quot;, $commentText) as $commentLine) {
        $regex = '/^\*\s*@([a-z-]+)(?:\s+(.+))?$/';
        if (preg_match($regex, trim($commentLine), $matches)) {
            $tags[] = new DocCommentTag($matches[1], $matches[2] ?? null);
        }
    }

    return $tags;
}

function parseFunctionLike(
    PrettyPrinterAbstract $prettyPrinter,
    FunctionOrMethodName $name,
    int $classFlags,
    int $flags,
    Node\FunctionLike $func,
    ?string $cond,
    bool $isUndocumentable
): FuncInfo {
    try {
        $comment = $func-&gt;getDocComment();
        $paramMeta = [];
        $aliasType = null;
        $alias = null;
        $isDeprecated = false;
        $supportsCompileTimeEval = false;
        $verify = true;
        $docReturnType = null;
        $tentativeReturnType = false;
        $docParamTypes = [];
        $refcount = null;

        if ($comment) {
            $tags = parseDocComment($comment);
            foreach ($tags as $tag) {
                switch ($tag-&gt;name) {
                    case 'alias':
                    case 'implementation-alias':
                        $aliasType = $tag-&gt;name;
                        $aliasParts = explode(&quot;::&quot;, $tag-&gt;getValue());
                        if (count($aliasParts) === 1) {
                            $alias = new FunctionName(new Name($aliasParts[0]));
                        } else {
                            $alias = new MethodName(new Name($aliasParts[0]), $aliasParts[1]);
                        }
                        break;

                    case 'deprecated':
                        $isDeprecated = true;
                        break;

                    case 'no-verify':
                        $verify = false;
                        break;

                    case 'tentative-return-type':
                        $tentativeReturnType = true;
                        break;

                    case 'return':
                        $docReturnType = $tag-&gt;getType();
                        break;

                    case 'param':
                        $docParamTypes[$tag-&gt;getVariableName()] = $tag-&gt;getType();
                        break;

                    case 'refcount':
                        $refcount = $tag-&gt;getValue();
                        break;

                    case 'compile-time-eval':
                        $supportsCompileTimeEval = true;
                        break;

                    case 'prefer-ref':
                        $varName = $tag-&gt;getVariableName();
                        if (!isset($paramMeta[$varName])) {
                            $paramMeta[$varName] = [];
                        }
                        $paramMeta[$varName][$tag-&gt;name] = true;
                        break;

                    case 'undocumentable':
                        $isUndocumentable = true;
                        break;
                }
            }
        }

        $varNameSet = [];
        $args = [];
        $numRequiredArgs = 0;
        $foundVariadic = false;
        foreach ($func-&gt;getParams() as $i =&gt; $param) {
            $varName = $param-&gt;var-&gt;name;
            $preferRef = !empty($paramMeta[$varName]['prefer-ref']);
            unset($paramMeta[$varName]);

            if (isset($varNameSet[$varName])) {
                throw new Exception(&quot;Duplicate parameter name $varName&quot;);
            }
            $varNameSet[$varName] = true;

            if ($preferRef) {
                $sendBy = ArgInfo::SEND_PREFER_REF;
            } else if ($param-&gt;byRef) {
                $sendBy = ArgInfo::SEND_BY_REF;
            } else {
                $sendBy = ArgInfo::SEND_BY_VAL;
            }

            if ($foundVariadic) {
                throw new Exception(&quot;Only the last parameter can be variadic&quot;);
            }

            $type = $param-&gt;type ? Type::fromNode($param-&gt;type) : null;
            if ($type === null &amp;&amp; !isset($docParamTypes[$varName])) {
                throw new Exception(&quot;Missing parameter type&quot;);
            }

            if ($param-&gt;default instanceof Expr\ConstFetch &amp;&amp;
                $param-&gt;default-&gt;name-&gt;toLowerString() === &quot;null&quot; &amp;&amp;
                $type &amp;&amp; !$type-&gt;isNullable()
            ) {
                $simpleType = $type-&gt;tryToSimpleType();
                if ($simpleType === null) {
                    throw new Exception(&quot;Parameter $varName has null default, but is not nullable&quot;);
                }
            }

            if ($param-&gt;default instanceof Expr\ClassConstFetch &amp;&amp; $param-&gt;default-&gt;class-&gt;toLowerString() === &quot;self&quot;) {
                throw new Exception('The exact class name must be used instead of &quot;self&quot;');
            }

            $foundVariadic = $param-&gt;variadic;

            $args[] = new ArgInfo(
                $varName,
                $sendBy,
                $param-&gt;variadic,
                $type,
                isset($docParamTypes[$varName]) ? Type::fromString($docParamTypes[$varName]) : null,
                $param-&gt;default ? $prettyPrinter-&gt;prettyPrintExpr($param-&gt;default) : null,
                createAttributes($param-&gt;attrGroups)
            );
            if (!$param-&gt;default &amp;&amp; !$param-&gt;variadic) {
                $numRequiredArgs = $i + 1;
            }
        }

        foreach (array_keys($paramMeta) as $var) {
            throw new Exception(&quot;Found metadata for invalid param $var&quot;);
        }

        $returnType = $func-&gt;getReturnType();
        if ($returnType === null &amp;&amp; $docReturnType === null &amp;&amp; !$name-&gt;isConstructor() &amp;&amp; !$name-&gt;isDestructor()) {
            throw new Exception(&quot;Missing return type&quot;);
        }

        $return = new ReturnInfo(
            $func-&gt;returnsByRef(),
            $returnType ? Type::fromNode($returnType) : null,
            $docReturnType ? Type::fromString($docReturnType) : null,
            $tentativeReturnType,
            $refcount
        );

        return new FuncInfo(
            $name,
            $classFlags,
            $flags,
            $aliasType,
            $alias,
            $isDeprecated,
            $supportsCompileTimeEval,
            $verify,
            $args,
            $return,
            $numRequiredArgs,
            $cond,
            $isUndocumentable,
            createAttributes($func-&gt;attrGroups)
        );
    } catch (Exception $e) {
        throw new Exception($name . &quot;(): &quot; .$e-&gt;getMessage());
    }
}

/**
 * @param array&lt;int, array&lt;int, AttributeGroup&gt; $attributes
 */
function parseConstLike(
    PrettyPrinterAbstract $prettyPrinter,
    ConstOrClassConstName $name,
    Node\Const_ $const,
    int $flags,
    ?Node $type,
    ?DocComment $docComment,
    ?string $cond,
    ?int $phpVersionIdMinimumCompatibility,
    array $attributes
): ConstInfo {
    $phpDocType = null;
    $deprecated = false;
    $cValue = null;
    $link = null;
    if ($docComment) {
        $tags = parseDocComment($docComment);
        foreach ($tags as $tag) {
            if ($tag-&gt;name === 'var') {
                $phpDocType = $tag-&gt;getType();
            } elseif ($tag-&gt;name === 'deprecated') {
                $deprecated = true;
            } elseif ($tag-&gt;name === 'cvalue') {
                $cValue = $tag-&gt;value;
            } elseif ($tag-&gt;name === 'link') {
                $link = $tag-&gt;value;
            }
        }
    }

    if ($type === null &amp;&amp; $phpDocType === null) {
        throw new Exception(&quot;Missing type for constant &quot; . $name-&gt;__toString());
    }

    return new ConstInfo(
        $name,
        $flags,
        $const-&gt;value,
        $prettyPrinter-&gt;prettyPrintExpr($const-&gt;value),
        $type ? Type::fromNode($type) : null,
        $phpDocType ? Type::fromString($phpDocType) : null,
        $deprecated,
        $cond,
        $cValue,
        $link,
        $phpVersionIdMinimumCompatibility,
        $attributes
    );
}

/**
 * @param array&lt;int, array&lt;int, AttributeGroup&gt; $attributes
 */
function parseProperty(
    Name $class,
    int $flags,
    Stmt\PropertyProperty $property,
    ?Node $type,
    ?DocComment $comment,
    PrettyPrinterAbstract $prettyPrinter,
    ?int $phpVersionIdMinimumCompatibility,
    array $attributes
): PropertyInfo {
    $phpDocType = null;
    $isDocReadonly = false;
    $link = null;

    if ($comment) {
        $tags = parseDocComment($comment);
        foreach ($tags as $tag) {
            if ($tag-&gt;name === 'var') {
                $phpDocType = $tag-&gt;getType();
            } elseif ($tag-&gt;name === 'readonly') {
                $isDocReadonly = true;
            } elseif ($tag-&gt;name === 'link') {
                $link = $tag-&gt;value;
            }
        }
    }

    $propertyType = $type ? Type::fromNode($type) : null;
    if ($propertyType === null &amp;&amp; !$phpDocType) {
        throw new Exception(&quot;Missing type for property $class::\$$property-&gt;name&quot;);
    }

    if ($property-&gt;default instanceof Expr\ConstFetch &amp;&amp;
        $property-&gt;default-&gt;name-&gt;toLowerString() === &quot;null&quot; &amp;&amp;
        $propertyType &amp;&amp; !$propertyType-&gt;isNullable()
    ) {
        $simpleType = $propertyType-&gt;tryToSimpleType();
        if ($simpleType === null) {
            throw new Exception(
                &quot;Property $class::\$$property-&gt;name has null default, but is not nullable&quot;);
        }
    }

    return new PropertyInfo(
        new PropertyName($class, $property-&gt;name-&gt;__toString()),
        $flags,
        $propertyType,
        $phpDocType ? Type::fromString($phpDocType) : null,
        $property-&gt;default,
        $property-&gt;default ? $prettyPrinter-&gt;prettyPrintExpr($property-&gt;default) : null,
        $isDocReadonly,
        $link,
        $phpVersionIdMinimumCompatibility,
        $attributes
    );
}

/**
 * @param ConstInfo[] $consts
 * @param PropertyInfo[] $properties
 * @param FuncInfo[] $methods
 * @param EnumCaseInfo[] $enumCases
 */
function parseClass(
    Name $name,
    Stmt\ClassLike $class,
    array $consts,
    array $properties,
    array $methods,
    array $enumCases,
    ?string $cond,
    ?int $minimumPhpVersionIdCompatibility,
    bool $isUndocumentable
): ClassInfo {
    $flags = $class instanceof Class_ ? $class-&gt;flags : 0;
    $comment = $class-&gt;getDocComment();
    $alias = null;
    $isDeprecated = false;
    $isStrictProperties = false;
    $isNotSerializable = false;
    $allowsDynamicProperties = false;
    $attributes = [];

    if ($comment) {
        $tags = parseDocComment($comment);
        foreach ($tags as $tag) {
            if ($tag-&gt;name === 'alias') {
                $alias = $tag-&gt;getValue();
            } else if ($tag-&gt;name === 'deprecated') {
                $isDeprecated = true;
            } else if ($tag-&gt;name === 'strict-properties') {
                $isStrictProperties = true;
            } else if ($tag-&gt;name === 'not-serializable') {
                $isNotSerializable = true;
            } else if ($tag-&gt;name === 'undocumentable') {
                $isUndocumentable = true;
            }
        }
    }

    $attributes = createAttributes($class-&gt;attrGroups);
    foreach ($attributes as $attribute) {
        switch ($attribute-&gt;class) {
            case 'AllowDynamicProperties':
                $allowsDynamicProperties = true;
                break 2;
        }
    }

    if ($isStrictProperties &amp;&amp; $allowsDynamicProperties) {
        throw new Exception(&quot;A class may not have '@strict-properties' and '#[\\AllowDynamicProperties]' at the same time.&quot;);
    }

    $extends = [];
    $implements = [];

    if ($class instanceof Class_) {
        $classKind = &quot;class&quot;;
        if ($class-&gt;extends) {
            $extends[] = $class-&gt;extends;
        }
        $implements = $class-&gt;implements;
    } elseif ($class instanceof Interface_) {
        $classKind = &quot;interface&quot;;
        $extends = $class-&gt;extends;
    } else if ($class instanceof Trait_) {
        $classKind = &quot;trait&quot;;
    } else if ($class instanceof Enum_) {
        $classKind = &quot;enum&quot;;
        $implements = $class-&gt;implements;
    } else {
        throw new Exception(&quot;Unknown class kind &quot; . get_class($class));
    }

    if ($isUndocumentable) {
        foreach ($methods as $method) {
            $method-&gt;isUndocumentable = true;
        }
    }

    return new ClassInfo(
        $name,
        $flags,
        $classKind,
        $alias,
        $class instanceof Enum_ &amp;&amp; $class-&gt;scalarType !== null
            ? SimpleType::fromNode($class-&gt;scalarType) : null,
        $isDeprecated,
        $isStrictProperties,
        $attributes,
        $isNotSerializable,
        $extends,
        $implements,
        $consts,
        $properties,
        $methods,
        $enumCases,
        $cond,
        $minimumPhpVersionIdCompatibility,
        $isUndocumentable
    );
}

/**
 * @param array&lt;int, array&lt;int, AttributeGroup&gt;&gt; $attributeGroups
 * @return Attribute[]
 */
function createAttributes(array $attributeGroups): array {
    $attributes = [];

    foreach ($attributeGroups as $attrGroup) {
        foreach ($attrGroup-&gt;attrs as $attr) {
            $attributes[] = new AttributeInfo($attr-&gt;name-&gt;toString(), $attr-&gt;args);
        }
    }

    return $attributes;
}

function handlePreprocessorConditions(array &amp;$conds, Stmt $stmt): ?string {
    foreach ($stmt-&gt;getComments() as $comment) {
        $text = trim($comment-&gt;getText());
        if (preg_match('/^#\s*if\s+(.+)$/', $text, $matches)) {
            $conds[] = $matches[1];
        } else if (preg_match('/^#\s*ifdef\s+(.+)$/', $text, $matches)) {
            $conds[] = &quot;defined($matches[1])&quot;;
        } else if (preg_match('/^#\s*ifndef\s+(.+)$/', $text, $matches)) {
            $conds[] = &quot;!defined($matches[1])&quot;;
        } else if (preg_match('/^#\s*else$/', $text)) {
            if (empty($conds)) {
                throw new Exception(&quot;Encountered else without corresponding #if&quot;);
            }
            $cond = array_pop($conds);
            $conds[] = &quot;!($cond)&quot;;
        } else if (preg_match('/^#\s*endif$/', $text)) {
            if (empty($conds)) {
                throw new Exception(&quot;Encountered #endif without corresponding #if&quot;);
            }
            array_pop($conds);
        } else if ($text[0] === '#') {
            throw new Exception(&quot;Unrecognized preprocessor directive \&quot;$text\&quot;&quot;);
        }
    }

    return empty($conds) ? null : implode(' &amp;&amp; ', $conds);
}

function getFileDocComment(array $stmts): ?DocComment {
    if (empty($stmts)) {
        return null;
    }

    $comments = $stmts[0]-&gt;getComments();
    if (empty($comments)) {
        return null;
    }

    if ($comments[0] instanceof DocComment) {
        return $comments[0];
    }

    return null;
}

function handleStatements(FileInfo $fileInfo, array $stmts, PrettyPrinterAbstract $prettyPrinter) {
    $conds = [];
    foreach ($stmts as $stmt) {
        $cond = handlePreprocessorConditions($conds, $stmt);

        if ($stmt instanceof Stmt\Nop) {
            continue;
        }

        if ($stmt instanceof Stmt\Namespace_) {
            handleStatements($fileInfo, $stmt-&gt;stmts, $prettyPrinter);
            continue;
        }

        if ($stmt instanceof Stmt\Const_) {
            foreach ($stmt-&gt;consts as $const) {
                $fileInfo-&gt;constInfos[] = parseConstLike(
                    $prettyPrinter,
                    new ConstName($const-&gt;namespacedName, $const-&gt;name-&gt;toString()),
                    $const,
                    0,
                    null,
                    $stmt-&gt;getDocComment(),
                    $cond,
                    $fileInfo-&gt;generateLegacyArginfoForPhpVersionId,
                    []
                );
            }
            continue;
        }

        if ($stmt instanceof Stmt\Function_) {
            $fileInfo-&gt;funcInfos[] = parseFunctionLike(
                $prettyPrinter,
                new FunctionName($stmt-&gt;namespacedName),
                0,
                0,
                $stmt,
                $cond,
                $fileInfo-&gt;isUndocumentable
            );
            continue;
        }

        if ($stmt instanceof Stmt\ClassLike) {
            $className = $stmt-&gt;namespacedName;
            $constInfos = [];
            $propertyInfos = [];
            $methodInfos = [];
            $enumCaseInfos = [];
            foreach ($stmt-&gt;stmts as $classStmt) {
                $cond = handlePreprocessorConditions($conds, $classStmt);
                if ($classStmt instanceof Stmt\Nop) {
                    continue;
                }

                $classFlags = $stmt instanceof Class_ ? $stmt-&gt;flags : 0;
                $abstractFlag = $stmt instanceof Stmt\Interface_ ? Class_::MODIFIER_ABSTRACT : 0;

                if ($classStmt instanceof Stmt\ClassConst) {
                    foreach ($classStmt-&gt;consts as $const) {
                        $constInfos[] = parseConstLike(
                            $prettyPrinter,
                            new ClassConstName($className, $const-&gt;name-&gt;toString()),
                            $const,
                            $classStmt-&gt;flags,
                            $classStmt-&gt;type,
                            $classStmt-&gt;getDocComment(),
                            $cond,
                            $fileInfo-&gt;generateLegacyArginfoForPhpVersionId,
                            createAttributes($classStmt-&gt;attrGroups)
                        );
                    }
                } else if ($classStmt instanceof Stmt\Property) {
                    if (!($classStmt-&gt;flags &amp; Class_::VISIBILITY_MODIFIER_MASK)) {
                        throw new Exception(&quot;Visibility modifier is required&quot;);
                    }
                    foreach ($classStmt-&gt;props as $property) {
                        $propertyInfos[] = parseProperty(
                            $className,
                            $classStmt-&gt;flags,
                            $property,
                            $classStmt-&gt;type,
                            $classStmt-&gt;getDocComment(),
                            $prettyPrinter,
                            $fileInfo-&gt;generateLegacyArginfoForPhpVersionId,
                            createAttributes($classStmt-&gt;attrGroups)
                        );
                    }
                } else if ($classStmt instanceof Stmt\ClassMethod) {
                    if (!($classStmt-&gt;flags &amp; Class_::VISIBILITY_MODIFIER_MASK)) {
                        throw new Exception(&quot;Visibility modifier is required&quot;);
                    }
                    $methodInfos[] = parseFunctionLike(
                        $prettyPrinter,
                        new MethodName($className, $classStmt-&gt;name-&gt;toString()),
                        $classFlags,
                        $classStmt-&gt;flags | $abstractFlag,
                        $classStmt,
                        $cond,
                        $fileInfo-&gt;isUndocumentable
                    );
                } else if ($classStmt instanceof Stmt\EnumCase) {
                    $enumCaseInfos[] = new EnumCaseInfo(
                        $classStmt-&gt;name-&gt;toString(), $classStmt-&gt;expr);
                } else {
                    throw new Exception(&quot;Not implemented {$classStmt-&gt;getType()}&quot;);
                }
            }

            $fileInfo-&gt;classInfos[] = parseClass(
                $className, $stmt, $constInfos, $propertyInfos, $methodInfos, $enumCaseInfos, $cond, $fileInfo-&gt;generateLegacyArginfoForPhpVersionId, $fileInfo-&gt;isUndocumentable
            );
            continue;
        }

        if ($stmt instanceof Stmt\Expression) {
            $expr = $stmt-&gt;expr;
            if ($expr instanceof Expr\Include_) {
                $fileInfo-&gt;dependencies[] = (string)EvaluatedValue::createFromExpression($expr-&gt;expr, null, null, [])-&gt;value;
                continue;
            }
        }

        throw new Exception(&quot;Unexpected node {$stmt-&gt;getType()}&quot;);
    }
    if (!empty($conds)) {
        throw new Exception(&quot;Unterminated preprocessor conditions&quot;);
    }
}

function parseStubFile(string $code): FileInfo {
    $lexer = new PhpParser\Lexer\Emulative();
    $parser = new PhpParser\Parser\Php7($lexer);
    $nodeTraverser = new PhpParser\NodeTraverser;
    $nodeTraverser-&gt;addVisitor(new PhpParser\NodeVisitor\NameResolver);
    $prettyPrinter = new class extends Standard {
        protected function pName_FullyQualified(Name\FullyQualified $node): string {
            return implode('\\', $node-&gt;getParts());
        }
    };

    $stmts = $parser-&gt;parse($code);
    $nodeTraverser-&gt;traverse($stmts);

    $fileInfo = new FileInfo;
    $fileDocComment = getFileDocComment($stmts);
    if ($fileDocComment) {
        $fileTags = parseDocComment($fileDocComment);
        foreach ($fileTags as $tag) {
            if ($tag-&gt;name === 'generate-function-entries') {
                $fileInfo-&gt;generateFunctionEntries = true;
                $fileInfo-&gt;declarationPrefix = $tag-&gt;value ? $tag-&gt;value . &quot; &quot; : &quot;&quot;;
            } else if ($tag-&gt;name === 'generate-legacy-arginfo') {
                if ($tag-&gt;value &amp;&amp; !in_array((int) $tag-&gt;value, ALL_PHP_VERSION_IDS, true)) {
                    throw new Exception(
                        &quot;Legacy PHP version must be one of: \&quot;&quot; . PHP_70_VERSION_ID . &quot;\&quot; (PHP 7.0), \&quot;&quot; . PHP_80_VERSION_ID . &quot;\&quot; (PHP 8.0), &quot; .
                        &quot;\&quot;&quot; . PHP_81_VERSION_ID . &quot;\&quot; (PHP 8.1), \&quot;&quot; . PHP_82_VERSION_ID . &quot;\&quot; (PHP 8.2), \&quot;&quot; . PHP_83_VERSION_ID . &quot;\&quot; (PHP 8.3), &quot; .
                        &quot;\&quot;&quot; . $tag-&gt;value . &quot;\&quot; provided&quot;
                    );
                }

                $fileInfo-&gt;generateLegacyArginfoForPhpVersionId = $tag-&gt;value ? (int) $tag-&gt;value : PHP_70_VERSION_ID;
            } else if ($tag-&gt;name === 'generate-class-entries') {
                $fileInfo-&gt;generateClassEntries = true;
                $fileInfo-&gt;declarationPrefix = $tag-&gt;value ? $tag-&gt;value . &quot; &quot; : &quot;&quot;;
            } else if ($tag-&gt;name === 'undocumentable') {
                $fileInfo-&gt;isUndocumentable = true;
            }
        }
    }

    // Generating class entries require generating function/method entries
    if ($fileInfo-&gt;generateClassEntries &amp;&amp; !$fileInfo-&gt;generateFunctionEntries) {
        $fileInfo-&gt;generateFunctionEntries = true;
    }

    handleStatements($fileInfo, $stmts, $prettyPrinter);
    return $fileInfo;
}

function funcInfoToCode(FileInfo $fileInfo, FuncInfo $funcInfo): string {
    $code = '';
    $returnType = $funcInfo-&gt;return-&gt;type;
    $isTentativeReturnType = $funcInfo-&gt;return-&gt;tentativeReturnType;
    $php81MinimumCompatibility = $fileInfo-&gt;generateLegacyArginfoForPhpVersionId === null || $fileInfo-&gt;generateLegacyArginfoForPhpVersionId &gt;= PHP_81_VERSION_ID;

    if ($returnType !== null) {
        if ($isTentativeReturnType &amp;&amp; !$php81MinimumCompatibility) {
            $code .= &quot;#if (PHP_VERSION_ID &gt;= &quot; . PHP_81_VERSION_ID . &quot;)\n&quot;;
        }
        if (null !== $simpleReturnType = $returnType-&gt;tryToSimpleType()) {
            if ($simpleReturnType-&gt;isBuiltin) {
                $code .= sprintf(
                    &quot;%s(%s, %d, %d, %s, %d)\n&quot;,
                    $isTentativeReturnType ? &quot;ZEND_BEGIN_ARG_WITH_TENTATIVE_RETURN_TYPE_INFO_EX&quot; : &quot;ZEND_BEGIN_ARG_WITH_RETURN_TYPE_INFO_EX&quot;,
                    $funcInfo-&gt;getArgInfoName(), $funcInfo-&gt;return-&gt;byRef,
                    $funcInfo-&gt;numRequiredArgs,
                    $simpleReturnType-&gt;toTypeCode(), $returnType-&gt;isNullable()
                );
            } else {
                $code .= sprintf(
                    &quot;%s(%s, %d, %d, %s, %d)\n&quot;,
                    $isTentativeReturnType ? &quot;ZEND_BEGIN_ARG_WITH_TENTATIVE_RETURN_OBJ_INFO_EX&quot; : &quot;ZEND_BEGIN_ARG_WITH_RETURN_OBJ_INFO_EX&quot;,
                    $funcInfo-&gt;getArgInfoName(), $funcInfo-&gt;return-&gt;byRef,
                    $funcInfo-&gt;numRequiredArgs,
                    $simpleReturnType-&gt;toEscapedName(), $returnType-&gt;isNullable()
                );
            }
        } else {
            $arginfoType = $returnType-&gt;toArginfoType();
            if ($arginfoType-&gt;hasClassType()) {
                $code .= sprintf(
                    &quot;%s(%s, %d, %d, %s, %s)\n&quot;,
                    $isTentativeReturnType ? &quot;ZEND_BEGIN_ARG_WITH_TENTATIVE_RETURN_OBJ_TYPE_MASK_EX&quot; : &quot;ZEND_BEGIN_ARG_WITH_RETURN_OBJ_TYPE_MASK_EX&quot;,
                    $funcInfo-&gt;getArgInfoName(), $funcInfo-&gt;return-&gt;byRef,
                    $funcInfo-&gt;numRequiredArgs,
                    $arginfoType-&gt;toClassTypeString(), $arginfoType-&gt;toTypeMask()
                );
            } else {
                $code .= sprintf(
                    &quot;%s(%s, %d, %d, %s)\n&quot;,
                    $isTentativeReturnType ? &quot;ZEND_BEGIN_ARG_WITH_TENTATIVE_RETURN_TYPE_MASK_EX&quot; : &quot;ZEND_BEGIN_ARG_WITH_RETURN_TYPE_MASK_EX&quot;,
                    $funcInfo-&gt;getArgInfoName(), $funcInfo-&gt;return-&gt;byRef,
                    $funcInfo-&gt;numRequiredArgs,
                    $arginfoType-&gt;toTypeMask()
                );
            }
        }
        if ($isTentativeReturnType &amp;&amp; !$php81MinimumCompatibility) {
            $code .= sprintf(
                &quot;#else\nZEND_BEGIN_ARG_INFO_EX(%s, 0, %d, %d)\n#endif\n&quot;,
                $funcInfo-&gt;getArgInfoName(), $funcInfo-&gt;return-&gt;byRef, $funcInfo-&gt;numRequiredArgs
            );
        }
    } else {
        $code .= sprintf(
            &quot;ZEND_BEGIN_ARG_INFO_EX(%s, 0, %d, %d)\n&quot;,
            $funcInfo-&gt;getArgInfoName(), $funcInfo-&gt;return-&gt;byRef, $funcInfo-&gt;numRequiredArgs
        );
    }

    foreach ($funcInfo-&gt;args as $argInfo) {
        $argKind = $argInfo-&gt;isVariadic ? &quot;ARG_VARIADIC&quot; : &quot;ARG&quot;;
        $argDefaultKind = $argInfo-&gt;hasProperDefaultValue() ? &quot;_WITH_DEFAULT_VALUE&quot; : &quot;&quot;;
        $argType = $argInfo-&gt;type;
        if ($argType !== null) {
            if (null !== $simpleArgType = $argType-&gt;tryToSimpleType()) {
                if ($simpleArgType-&gt;isBuiltin) {
                    $code .= sprintf(
                        &quot;\tZEND_%s_TYPE_INFO%s(%s, %s, %s, %d%s)\n&quot;,
                        $argKind, $argDefaultKind, $argInfo-&gt;getSendByString(), $argInfo-&gt;name,
                        $simpleArgType-&gt;toTypeCode(), $argType-&gt;isNullable(),
                        $argInfo-&gt;hasProperDefaultValue() ? &quot;, &quot; . $argInfo-&gt;getDefaultValueAsArginfoString() : &quot;&quot;
                    );
                } else {
                    $code .= sprintf(
                        &quot;\tZEND_%s_OBJ_INFO%s(%s, %s, %s, %d%s)\n&quot;,
                        $argKind,$argDefaultKind, $argInfo-&gt;getSendByString(), $argInfo-&gt;name,
                        $simpleArgType-&gt;toEscapedName(), $argType-&gt;isNullable(),
                        $argInfo-&gt;hasProperDefaultValue() ? &quot;, &quot; . $argInfo-&gt;getDefaultValueAsArginfoString() : &quot;&quot;
                    );
                }
            } else {
                $arginfoType = $argType-&gt;toArginfoType();
                if ($arginfoType-&gt;hasClassType()) {
                    $code .= sprintf(
                        &quot;\tZEND_%s_OBJ_TYPE_MASK(%s, %s, %s, %s%s)\n&quot;,
                        $argKind, $argInfo-&gt;getSendByString(), $argInfo-&gt;name,
                        $arginfoType-&gt;toClassTypeString(), $arginfoType-&gt;toTypeMask(),
                        !$argInfo-&gt;isVariadic ? &quot;, &quot; . $argInfo-&gt;getDefaultValueAsArginfoString() : &quot;&quot;
                    );
                } else {
                    $code .= sprintf(
                        &quot;\tZEND_%s_TYPE_MASK(%s, %s, %s, %s)\n&quot;,
                        $argKind, $argInfo-&gt;getSendByString(), $argInfo-&gt;name,
                        $arginfoType-&gt;toTypeMask(),
                        $argInfo-&gt;getDefaultValueAsArginfoString()
                    );
                }
            }
        } else {
            $code .= sprintf(
                &quot;\tZEND_%s_INFO%s(%s, %s%s)\n&quot;,
                $argKind, $argDefaultKind, $argInfo-&gt;getSendByString(), $argInfo-&gt;name,
                $argInfo-&gt;hasProperDefaultValue() ? &quot;, &quot; . $argInfo-&gt;getDefaultValueAsArginfoString() : &quot;&quot;
            );
        }
    }

    $code .= &quot;ZEND_END_ARG_INFO()&quot;;
    return $code . &quot;\n&quot;;
}

/** @param FuncInfo[] $generatedFuncInfos */
function findEquivalentFuncInfo(array $generatedFuncInfos, FuncInfo $funcInfo): ?FuncInfo {
    foreach ($generatedFuncInfos as $generatedFuncInfo) {
        if ($generatedFuncInfo-&gt;equalsApartFromNameAndRefcount($funcInfo)) {
            return $generatedFuncInfo;
        }
    }
    return null;
}

/**
 * @template T
 * @param iterable&lt;T&gt; $infos
 * @param Closure(T): string|null $codeGenerator
 * @param ?string $parentCond
 */
function generateCodeWithConditions(
    iterable $infos, string $separator, Closure $codeGenerator, ?string $parentCond = null): string {
    $code = &quot;&quot;;
    foreach ($infos as $info) {
        $infoCode = $codeGenerator($info);
        if ($infoCode === null) {
            continue;
        }

        $code .= $separator;
        if ($info-&gt;cond &amp;&amp; $info-&gt;cond !== $parentCond) {
            $code .= &quot;#if {$info-&gt;cond}\n&quot;;
            $code .= $infoCode;
            $code .= &quot;#endif\n&quot;;
        } else {
            $code .= $infoCode;
        }
    }

    return $code;
}

/**
 * @param iterable&lt;ConstInfo&gt; $allConstInfos
 */
function generateArgInfoCode(
    string $stubFilenameWithoutExtension,
    FileInfo $fileInfo,
    iterable $allConstInfos,
    string $stubHash
): string {
    $code = &quot;/* This is a generated file, edit the .stub.php file instead.\n&quot;
          . &quot; * Stub hash: $stubHash */\n&quot;;

    $generatedFuncInfos = [];
    $code .= generateCodeWithConditions(
        $fileInfo-&gt;getAllFuncInfos(), &quot;\n&quot;,
        static function (FuncInfo $funcInfo) use (&amp;$generatedFuncInfos, $fileInfo) {
            /* If there already is an equivalent arginfo structure, only emit a #define */
            if ($generatedFuncInfo = findEquivalentFuncInfo($generatedFuncInfos, $funcInfo)) {
                $code = sprintf(
                    &quot;#define %s %s\n&quot;,
                    $funcInfo-&gt;getArgInfoName(), $generatedFuncInfo-&gt;getArgInfoName()
                );
            } else {
                $code = funcInfoToCode($fileInfo, $funcInfo);
            }

            $generatedFuncInfos[] = $funcInfo;
            return $code;
        }
    );

    if ($fileInfo-&gt;generateFunctionEntries) {
        $code .= &quot;\n\n&quot;;

        $generatedFunctionDeclarations = [];
        $code .= generateCodeWithConditions(
            $fileInfo-&gt;getAllFuncInfos(), &quot;&quot;,
            static function (FuncInfo $funcInfo) use ($fileInfo, &amp;$generatedFunctionDeclarations) {
                $key = $funcInfo-&gt;getDeclarationKey();
                if (isset($generatedFunctionDeclarations[$key])) {
                    return null;
                }

                $generatedFunctionDeclarations[$key] = true;
                return $fileInfo-&gt;declarationPrefix . $funcInfo-&gt;getDeclaration();
            }
        );

        if (!empty($fileInfo-&gt;funcInfos)) {
            $code .= generateFunctionEntries(null, $fileInfo-&gt;funcInfos);
        }

        foreach ($fileInfo-&gt;classInfos as $classInfo) {
            $code .= generateFunctionEntries($classInfo-&gt;name, $classInfo-&gt;funcInfos, $classInfo-&gt;cond);
        }
    }

    $php80MinimumCompatibility = $fileInfo-&gt;generateLegacyArginfoForPhpVersionId === null || $fileInfo-&gt;generateLegacyArginfoForPhpVersionId &gt;= PHP_80_VERSION_ID;

    if ($fileInfo-&gt;generateClassEntries) {
        if ($attributeInitializationCode = generateFunctionAttributeInitialization($fileInfo-&gt;funcInfos, $allConstInfos, $fileInfo-&gt;generateLegacyArginfoForPhpVersionId, null)) {
            if (!$php80MinimumCompatibility) {
                $attributeInitializationCode = &quot;\n#if (PHP_VERSION_ID &gt;= &quot; . PHP_80_VERSION_ID . &quot;)&quot; . $attributeInitializationCode . &quot;#endif\n&quot;;
            }
        }

        if ($attributeInitializationCode !== &quot;&quot; || !empty($fileInfo-&gt;constInfos)) {
            $code .= &quot;\nstatic void register_{$stubFilenameWithoutExtension}_symbols(int module_number)\n&quot;;
            $code .= &quot;{\n&quot;;

            foreach ($fileInfo-&gt;constInfos as $constInfo) {
                $code .= $constInfo-&gt;getDeclaration($allConstInfos);
            }

            if (!empty($attributeInitializationCode !== &quot;&quot; &amp;&amp; $fileInfo-&gt;constInfos)) {
                $code .= &quot;\n&quot;;
            }

            $code .= $attributeInitializationCode;
            $code .= &quot;}\n&quot;;
        }

        $code .= generateClassEntryCode($fileInfo, $allConstInfos);
    }

    return $code;
}

/**
 * @param iterable&lt;ConstInfo&gt; $allConstInfos
 */
function generateClassEntryCode(FileInfo $fileInfo, iterable $allConstInfos): string {
    $code = &quot;&quot;;

    foreach ($fileInfo-&gt;classInfos as $class) {
        $code .= &quot;\n&quot; . $class-&gt;getRegistration($allConstInfos);
    }

    return $code;
}

/** @param FuncInfo[] $funcInfos */
function generateFunctionEntries(?Name $className, array $funcInfos, ?string $cond = null): string {
    $code = &quot;\n\n&quot;;

    if ($cond) {
        $code .= &quot;#if {$cond}\n&quot;;
    }

    $functionEntryName = &quot;ext_functions&quot;;
    if ($className) {
        $underscoreName = implode(&quot;_&quot;, $className-&gt;getParts());
        $functionEntryName = &quot;class_{$underscoreName}_methods&quot;;
    }

    $code .= &quot;static const zend_function_entry {$functionEntryName}[] = {\n&quot;;
    $code .= generateCodeWithConditions($funcInfos, &quot;&quot;, static function (FuncInfo $funcInfo) {
        return $funcInfo-&gt;getFunctionEntry();
    }, $cond);
    $code .= &quot;\tZEND_FE_END\n&quot;;
    $code .= &quot;};\n&quot;;

    if ($cond) {
        $code .= &quot;#endif\n&quot;;
    }

    return $code;
}

/**
 * @param iterable&lt;FuncInfo&gt; $funcInfos
 */
function generateFunctionAttributeInitialization(iterable $funcInfos, iterable $allConstInfos, ?int $phpVersionIdMinimumCompatibility, ?string $parentCond = null): string {
    return generateCodeWithConditions(
        $funcInfos,
        &quot;&quot;,
        static function (FuncInfo $funcInfo) use ($allConstInfos, $phpVersionIdMinimumCompatibility) {
            $code = null;

            if ($funcInfo-&gt;name instanceof MethodName) {
                $functionTable = &quot;&amp;class_entry-&gt;function_table&quot;;
            } else {
                $functionTable = &quot;CG(function_table)&quot;;
            }

            foreach ($funcInfo-&gt;attributes as $key =&gt; $attribute) {
                $code .= $attribute-&gt;generateCode(
                    &quot;zend_add_function_attribute(zend_hash_str_find_ptr($functionTable, \&quot;&quot; . $funcInfo-&gt;name-&gt;getNameForAttributes() . &quot;\&quot;, sizeof(\&quot;&quot; . $funcInfo-&gt;name-&gt;getNameForAttributes() . &quot;\&quot;) - 1)&quot;,
                    &quot;func_&quot; . $funcInfo-&gt;name-&gt;getNameForAttributes() . &quot;_$key&quot;,
                    $allConstInfos,
                    $phpVersionIdMinimumCompatibility
                );
            }

            foreach ($funcInfo-&gt;args as $index =&gt; $arg) {
                foreach ($arg-&gt;attributes as $key =&gt; $attribute) {
                    $code .= $attribute-&gt;generateCode(
                        &quot;zend_add_parameter_attribute(zend_hash_str_find_ptr($functionTable, \&quot;&quot; . $funcInfo-&gt;name-&gt;getNameForAttributes() . &quot;\&quot;, sizeof(\&quot;&quot; . $funcInfo-&gt;name-&gt;getNameForAttributes() . &quot;\&quot;) - 1), $index&quot;,
                        &quot;func_{$funcInfo-&gt;name-&gt;getNameForAttributes()}_arg{$index}_$key&quot;,
                        $allConstInfos,
                        $phpVersionIdMinimumCompatibility
                    );
                }
            }

            return $code;
        },
        $parentCond
    );
}

/**
 * @param iterable&lt;ConstInfo&gt; $constInfos
 */
function generateConstantAttributeInitialization(
    iterable $constInfos,
    iterable $allConstInfos,
    ?int $phpVersionIdMinimumCompatibility,
    ?string $parentCond = null
): string {
    return generateCodeWithConditions(
        $constInfos,
        &quot;&quot;,
        static function (ConstInfo $constInfo) use ($allConstInfos, $phpVersionIdMinimumCompatibility) {
            $code = null;

            foreach ($constInfo-&gt;attributes as $key =&gt; $attribute) {
                $code .= $attribute-&gt;generateCode(
                    &quot;zend_add_class_constant_attribute(class_entry, const_&quot; . $constInfo-&gt;name-&gt;getDeclarationName(),
                    &quot;const_&quot; . $constInfo-&gt;name-&gt;getDeclarationName() . &quot;_$key&quot;,
                    $allConstInfos,
                    $phpVersionIdMinimumCompatibility
                );
            }

            return $code;
        },
        $parentCond
    );
}

/**
 * @param iterable&lt;PropertyInfo&gt; $propertyInfos
 */
function generatePropertyAttributeInitialization(
    iterable $propertyInfos,
    iterable $allConstInfos,
    ?int $phpVersionIdMinimumCompatibility
): string {
    $code = &quot;&quot;;
    foreach ($propertyInfos as $propertyInfo) {
        foreach ($propertyInfo-&gt;attributes as $key =&gt; $attribute) {
            $code .= $attribute-&gt;generateCode(
                &quot;zend_add_property_attribute(class_entry, property_&quot; . $propertyInfo-&gt;name-&gt;getDeclarationName(),
                &quot;property_&quot; . $propertyInfo-&gt;name-&gt;getDeclarationName() . &quot;_&quot; . $key,
                $allConstInfos,
                $phpVersionIdMinimumCompatibility
            );
        }
    }

    return $code;
}

/** @param array&lt;string, FuncInfo&gt; $funcMap */
function generateOptimizerInfo(array $funcMap): string {

    $code = &quot;/* This is a generated file, edit the .stub.php files instead. */\n\n&quot;;

    $code .= &quot;static const func_info_t func_infos[] = {\n&quot;;

    $code .= generateCodeWithConditions($funcMap, &quot;&quot;, static function (FuncInfo $funcInfo) {
        return $funcInfo-&gt;getOptimizerInfo();
    });

    $code .= &quot;};\n&quot;;

    return $code;
}

/**
 * @param array&lt;int, string[]&gt; $flagsByPhpVersions
 * @return string[]
 */
function generateVersionDependentFlagCode(string $codeTemplate, array $flagsByPhpVersions, ?int $phpVersionIdMinimumCompatibility): array
{
    $phpVersions = ALL_PHP_VERSION_IDS;
    sort($phpVersions);
    $currentPhpVersion = end($phpVersions);

    // No version compatibility is needed
    if ($phpVersionIdMinimumCompatibility === null) {
        if (empty($flagsByPhpVersions[$currentPhpVersion])) {
            return [];
        }

        return [sprintf($codeTemplate, implode(&quot;|&quot;, $flagsByPhpVersions[$currentPhpVersion]))];
    }

    // Remove flags which depend on a PHP version below the minimally supported one
    ksort($flagsByPhpVersions);
    $index = array_search($phpVersionIdMinimumCompatibility, array_keys($flagsByPhpVersions));
    if ($index === false) {
        throw new Exception(&quot;Missing version dependent flags for PHP version ID \&quot;$phpVersionIdMinimumCompatibility\&quot;&quot;);
    }
    $flagsByPhpVersions = array_slice($flagsByPhpVersions, $index, null, true);

    // Remove empty version-specific flags
    $flagsByPhpVersions = array_filter(
        $flagsByPhpVersions,
        static function (array $value): bool {
            return !empty($value);
    });

    // There are no version-specific flags
    if (empty($flagsByPhpVersions)) {
        return [];
    }

    // Remove version-specific flags which don't differ from the previous one
    $previousVersionId = null;
    foreach ($flagsByPhpVersions as $versionId =&gt; $versionFlags) {
        if ($previousVersionId !== null &amp;&amp; $flagsByPhpVersions[$previousVersionId] === $versionFlags) {
            unset($flagsByPhpVersions[$versionId]);
        } else {
            $previousVersionId = $versionId;
        }
    }

    $flagCount = count($flagsByPhpVersions);

    // Do not add a condition unnecessarily when the only version is the same as the minimally supported one
    if ($flagCount === 1) {
        reset($flagsByPhpVersions);
        $firstVersion = key($flagsByPhpVersions);
        if ($firstVersion === $phpVersionIdMinimumCompatibility) {
            return [sprintf($codeTemplate, implode(&quot;|&quot;, reset($flagsByPhpVersions)))];
        }
    }

    // Add the necessary conditions around the code using the version-specific flags
    $result = [];
    $i = 0;
    foreach (array_reverse($flagsByPhpVersions, true) as $version =&gt; $versionFlags) {
        $code = &quot;&quot;;

        $if = $i === 0 ? &quot;#if&quot; : &quot;#elif&quot;;
        $endif = $i === $flagCount - 1 ? &quot;#endif\n&quot; : &quot;&quot;;

        $code .= &quot;$if (PHP_VERSION_ID &gt;= $version)\n&quot;;

        $code .= sprintf($codeTemplate, implode(&quot;|&quot;, $versionFlags));
        $code .= $endif;

        $result[] = $code;
        $i++;
    }

    return $result;
}

/**
 * @param array&lt;string, ClassInfo&gt; $classMap
 * @param iterable&lt;ConstInfo&gt; $allConstInfos
 * @return array&lt;string, string&gt;
 */
function generateClassSynopses(array $classMap, iterable $allConstInfos): array {
    $result = [];

    foreach ($classMap as $classInfo) {
        $classSynopsis = $classInfo-&gt;getClassSynopsisDocument($classMap, $allConstInfos);
        if ($classSynopsis !== null) {
            $result[ClassInfo::getClassSynopsisFilename($classInfo-&gt;name) . &quot;.xml&quot;] = $classSynopsis;
        }
    }

    return $result;
}

/**
 * @param array&lt;string, ClassInfo&gt; $classMap
 * $param iterable&lt;ConstInfo&gt; $allConstInfos
 * @return array&lt;string, string&gt;
 */
function replaceClassSynopses(string $targetDirectory, array $classMap, iterable $allConstInfos, bool $isVerify): array
{
    $existingClassSynopses = [];

    $classSynopses = [];

    $it = new RecursiveIteratorIterator(
        new RecursiveDirectoryIterator($targetDirectory),
        RecursiveIteratorIterator::LEAVES_ONLY
    );

    foreach ($it as $file) {
        $pathName = $file-&gt;getPathName();
        if (!preg_match('/\.xml$/i', $pathName)) {
            continue;
        }

        $xml = file_get_contents($pathName);
        if ($xml === false) {
            continue;
        }

        if (stripos($xml, &quot;&lt;classsynopsis&quot;) === false) {
            continue;
        }

        $replacedXml = getReplacedSynopsisXml($xml);

        $doc = new DOMDocument();
        $doc-&gt;formatOutput = false;
        $doc-&gt;preserveWhiteSpace = true;
        $doc-&gt;validateOnParse = true;
        $success = $doc-&gt;loadXML($replacedXml);
        if (!$success) {
            echo &quot;Failed opening $pathName\n&quot;;
            continue;
        }

        $classSynopsisElements = [];
        foreach ($doc-&gt;getElementsByTagName(&quot;classsynopsis&quot;) as $element) {
            $classSynopsisElements[] = $element;
        }

        foreach ($classSynopsisElements as $classSynopsis) {
            if (!$classSynopsis instanceof DOMElement) {
                continue;
            }

            $child = $classSynopsis-&gt;firstElementChild;
            if ($child === null) {
                continue;
            }
            $child = $child-&gt;lastElementChild;
            if ($child === null) {
                continue;
            }
            $className = $child-&gt;textContent;
            if (!isset($classMap[$className])) {
                continue;
            }

            $existingClassSynopses[$className] = $className;

            $classInfo = $classMap[$className];

            $newClassSynopsis = $classInfo-&gt;getClassSynopsisElement($doc, $classMap, $allConstInfos);
            if ($newClassSynopsis === null) {
                continue;
            }

            // Check if there is any change - short circuit if there is not any.

            if (replaceAndCompareXmls($doc, $classSynopsis, $newClassSynopsis)) {
                continue;
            }

            // Return the updated XML

            $replacedXml = $doc-&gt;saveXML();

            $replacedXml = preg_replace(
                [
                    &quot;/REPLACED-ENTITY-([A-Za-z0-9._{}%-]+?;)/&quot;,
                    '/&lt;phpdoc:(classref|exceptionref)\s+xmlns:phpdoc=\&quot;([^&quot;]+)&quot;\s+xmlns=&quot;([^&quot;]+)&quot;\s+xml:id=&quot;([^&quot;]+)&quot;\s*&gt;/i',
                    '/&lt;phpdoc:(classref|exceptionref)\s+xmlns:phpdoc=\&quot;([^&quot;]+)&quot;\s+xmlns=&quot;([^&quot;]+)&quot;\s+xmlns:xi=&quot;([^&quot;]+)&quot;\s+xml:id=&quot;([^&quot;]+)&quot;\s*&gt;/i',
                    '/&lt;phpdoc:(classref|exceptionref)\s+xmlns:phpdoc=\&quot;([^&quot;]+)&quot;\s+xmlns=&quot;([^&quot;]+)&quot;\s+xmlns:xlink=&quot;([^&quot;]+)&quot;\s+xmlns:xi=&quot;([^&quot;]+)&quot;\s+xml:id=&quot;([^&quot;]+)&quot;\s*&gt;/i',
                    '/&lt;phpdoc:(classref|exceptionref)\s+xmlns:phpdoc=\&quot;([^&quot;]+)&quot;\s+xmlns:xlink=&quot;([^&quot;]+)&quot;\s+xmlns:xi=&quot;([^&quot;]+)&quot;\s+xmlns=&quot;([^&quot;]+)&quot;\s+xml:id=&quot;([^&quot;]+)&quot;\s*&gt;/i',
                    '/&lt;phpdoc:(classref|exceptionref)\s+xmlns=\&quot;([^&quot;]+)\&quot;\s+xmlns:xlink=&quot;([^&quot;]+)&quot;\s+xmlns:xi=&quot;([^&quot;]+)&quot;\s+xmlns:phpdoc=&quot;([^&quot;]+)&quot;\s+xml:id=&quot;([^&quot;]+)&quot;\s*&gt;/i',
                ],
                [
                    &quot;&amp;$1&quot;,
                    &quot;&lt;phpdoc:$1 xml:id=\&quot;$4\&quot; xmlns:phpdoc=\&quot;$2\&quot; xmlns=\&quot;$3\&quot;&gt;&quot;,
                    &quot;&lt;phpdoc:$1 xml:id=\&quot;$5\&quot; xmlns:phpdoc=\&quot;$2\&quot; xmlns=\&quot;$3\&quot; xmlns:xi=\&quot;$4\&quot;&gt;&quot;,
                    &quot;&lt;phpdoc:$1 xml:id=\&quot;$6\&quot; xmlns:phpdoc=\&quot;$2\&quot; xmlns=\&quot;$3\&quot; xmlns:xlink=\&quot;$4\&quot; xmlns:xi=\&quot;$5\&quot;&gt;&quot;,
                    &quot;&lt;phpdoc:$1 xml:id=\&quot;$6\&quot; xmlns:phpdoc=\&quot;$2\&quot; xmlns=\&quot;$5\&quot; xmlns:xlink=\&quot;$3\&quot; xmlns:xi=\&quot;$4\&quot;&gt;&quot;,
                    &quot;&lt;phpdoc:$1 xml:id=\&quot;$6\&quot; xmlns:phpdoc=\&quot;$5\&quot; xmlns=\&quot;$2\&quot; xmlns:xlink=\&quot;$3\&quot; xmlns:xi=\&quot;$4\&quot;&gt;&quot;,
                ],
                $replacedXml
            );

            $classSynopses[$pathName] = $replacedXml;
        }
    }

    if ($isVerify) {
        $missingClassSynopses = array_diff_key($classMap, $existingClassSynopses);
        foreach ($missingClassSynopses as $className =&gt; $info) {
            /** @var ClassInfo $info */
            if (!$info-&gt;isUndocumentable) {
                echo &quot;Warning: Missing class synopsis for $className\n&quot;;
            }
        }
    }

    return $classSynopses;
}

function getReplacedSynopsisXml(string $xml): string
{
    return preg_replace(
        [
            &quot;/&amp;([A-Za-z0-9._{}%-]+?;)/&quot;,
            &quot;/&lt;(\/)*xi:([A-Za-z]+?)/&quot;
        ],
        [
            &quot;REPLACED-ENTITY-$1&quot;,
            &quot;&lt;$1XI$2&quot;,
        ],
        $xml
    );
}

/**
 * @param array&lt;string, FuncInfo&gt; $funcMap
 * @param array&lt;string, FuncInfo&gt; $aliasMap
 * @return array&lt;string, string&gt;
 */
function generateMethodSynopses(array $funcMap, array $aliasMap): array {
    $result = [];

    foreach ($funcMap as $funcInfo) {
        $methodSynopsis = $funcInfo-&gt;getMethodSynopsisDocument($funcMap, $aliasMap);
        if ($methodSynopsis !== null) {
            $result[$funcInfo-&gt;name-&gt;getMethodSynopsisFilename() . &quot;.xml&quot;] = $methodSynopsis;
        }
    }

    return $result;
}

/**
 * @param array&lt;string, FuncInfo&gt; $funcMap
 * @param array&lt;string, FuncInfo&gt; $aliasMap
 * @return array&lt;string, string&gt;
 */
function replaceMethodSynopses(string $targetDirectory, array $funcMap, array $aliasMap, bool $isVerify): array {
    $existingMethodSynopses = [];
    $methodSynopses = [];

    $it = new RecursiveIteratorIterator(
        new RecursiveDirectoryIterator($targetDirectory),
        RecursiveIteratorIterator::LEAVES_ONLY
    );

    foreach ($it as $file) {
        $pathName = $file-&gt;getPathName();
        if (!preg_match('/\.xml$/i', $pathName)) {
            continue;
        }

        $xml = file_get_contents($pathName);
        if ($xml === false) {
            continue;
        }

        if ($isVerify) {
            $matches = [];
            preg_match(&quot;/&lt;refname&gt;\s*([\w:]+)\s*&lt;\/refname&gt;\s*&lt;refpurpose&gt;\s*&amp;Alias;\s*&lt;(?:function|methodname)&gt;\s*([\w:]+)\s*&lt;\/(?:function|methodname)&gt;\s*&lt;\/refpurpose&gt;/i&quot;, $xml, $matches);
            $aliasName = $matches[1] ?? null;
            $alias = $funcMap[$aliasName] ?? null;
            $funcName = $matches[2] ?? null;
            $func = $funcMap[$funcName] ?? null;

            if ($alias &amp;&amp;
                !$alias-&gt;isUndocumentable &amp;&amp;
                ($func === null || $func-&gt;alias === null || $func-&gt;alias-&gt;__toString() !== $aliasName) &amp;&amp;
                ($alias-&gt;alias === null || $alias-&gt;alias-&gt;__toString() !== $funcName)
            ) {
                echo &quot;Warning: $aliasName()&quot; . ($alias-&gt;alias ? &quot; is an alias of &quot; . $alias-&gt;alias-&gt;__toString() . &quot;(), but it&quot; : &quot;&quot;) . &quot; is incorrectly documented as an alias for $funcName()\n&quot;;
            }

            $matches = [];
            preg_match(&quot;/&lt;(?:para|simpara)&gt;\s*(?:&amp;info.function.alias;|&amp;info.method.alias;|&amp;Alias;)\s+&lt;(?:function|methodname)&gt;\s*([\w:]+)\s*&lt;\/(?:function|methodname)&gt;/i&quot;, $xml, $matches);
            $descriptionFuncName = $matches[1] ?? null;
            $descriptionFunc = $funcMap[$descriptionFuncName] ?? null;
            if ($descriptionFunc &amp;&amp; $funcName !== $descriptionFuncName) {
                echo &quot;Warning: Alias in the method synopsis description of $pathName doesn't match the alias in the &lt;refpurpose&gt;\n&quot;;
            }

            if ($aliasName) {
                $existingMethodSynopses[$aliasName] = $aliasName;
            }
        }

        if (stripos($xml, &quot;&lt;methodsynopsis&quot;) === false &amp;&amp; stripos($xml, &quot;&lt;constructorsynopsis&quot;) === false &amp;&amp; stripos($xml, &quot;&lt;destructorsynopsis&quot;) === false) {
            continue;
        }

        $replacedXml = getReplacedSynopsisXml($xml);

        $doc = new DOMDocument();
        $doc-&gt;formatOutput = false;
        $doc-&gt;preserveWhiteSpace = true;
        $doc-&gt;validateOnParse = true;
        $success = $doc-&gt;loadXML($replacedXml);
        if (!$success) {
            echo &quot;Failed opening $pathName\n&quot;;
            continue;
        }

        $methodSynopsisElements = [];
        foreach ($doc-&gt;getElementsByTagName(&quot;constructorsynopsis&quot;) as $element) {
            $methodSynopsisElements[] = $element;
        }
        foreach ($doc-&gt;getElementsByTagName(&quot;destructorsynopsis&quot;) as $element) {
            $methodSynopsisElements[] = $element;
        }
        foreach ($doc-&gt;getElementsByTagName(&quot;methodsynopsis&quot;) as $element) {
            $methodSynopsisElements[] = $element;
        }

        foreach ($methodSynopsisElements as $methodSynopsis) {
            if (!$methodSynopsis instanceof DOMElement) {
                continue;
            }

            $list = $methodSynopsis-&gt;getElementsByTagName(&quot;methodname&quot;);
            $item = $list-&gt;item(0);
            if (!$item instanceof DOMElement) {
                continue;
            }
            $funcName = $item-&gt;textContent;
            if (!isset($funcMap[$funcName])) {
                continue;
            }

            $funcInfo = $funcMap[$funcName];
            $existingMethodSynopses[$funcInfo-&gt;name-&gt;__toString()] = $funcInfo-&gt;name-&gt;__toString();

            $newMethodSynopsis = $funcInfo-&gt;getMethodSynopsisElement($funcMap, $aliasMap, $doc);
            if ($newMethodSynopsis === null) {
                continue;
            }

            // Retrieve current signature

            $params = [];
            $list = $methodSynopsis-&gt;getElementsByTagName(&quot;methodparam&quot;);
            foreach ($list as $i =&gt; $item) {
                if (!$item instanceof DOMElement) {
                    continue;
                }

                $paramList = $item-&gt;getElementsByTagName(&quot;parameter&quot;);
                if ($paramList-&gt;count() !== 1) {
                    continue;
                }

                $paramName = $paramList-&gt;item(0)-&gt;textContent;
                $paramTypes = [];

                $paramList = $item-&gt;getElementsByTagName(&quot;type&quot;);
                foreach ($paramList as $type) {
                    if (!$type instanceof DOMElement) {
                        continue;
                    }

                    $paramTypes[] = $type-&gt;textContent;
                }

                $params[$paramName] = [&quot;index&quot; =&gt; $i, &quot;type&quot; =&gt; $paramTypes];
            }

            // Check if there is any change - short circuit if there is not any.

            if (replaceAndCompareXmls($doc, $methodSynopsis, $newMethodSynopsis)) {
                continue;
            }

            // Update parameter references

            $paramList = $doc-&gt;getElementsByTagName(&quot;parameter&quot;);
            /** @var DOMElement $paramElement */
            foreach ($paramList as $paramElement) {
                if ($paramElement-&gt;parentNode &amp;&amp; $paramElement-&gt;parentNode-&gt;nodeName === &quot;methodparam&quot;) {
                    continue;
                }

                $name = $paramElement-&gt;textContent;
                if (!isset($params[$name])) {
                    continue;
                }

                $index = $params[$name][&quot;index&quot;];
                if (!isset($funcInfo-&gt;args[$index])) {
                    continue;
                }

                $paramElement-&gt;textContent = $funcInfo-&gt;args[$index]-&gt;name;
            }

            // Return the updated XML

            $replacedXml = $doc-&gt;saveXML();

            $replacedXml = preg_replace(
                [
                    &quot;/REPLACED-ENTITY-([A-Za-z0-9._{}%-]+?;)/&quot;,
                    '/&lt;refentry\s+xmlns=&quot;([^&quot;]+)&quot;\s+xml:id=&quot;([^&quot;]+)&quot;\s*&gt;/i',
                    '/&lt;refentry\s+xmlns=&quot;([^&quot;]+)&quot;\s+xmlns:xlink=&quot;([^&quot;]+)&quot;\s+xml:id=&quot;([^&quot;]+)&quot;\s*&gt;/i',
                ],
                [
                    &quot;&amp;$1&quot;,
                    &quot;&lt;refentry xml:id=\&quot;$2\&quot; xmlns=\&quot;$1\&quot;&gt;&quot;,
                    &quot;&lt;refentry xml:id=\&quot;$3\&quot; xmlns=\&quot;$1\&quot; xmlns:xlink=\&quot;$2\&quot;&gt;&quot;,
                ],
                $replacedXml
            );

            $methodSynopses[$pathName] = $replacedXml;
        }
    }

    if ($isVerify) {
        $missingMethodSynopses = array_diff_key($funcMap, $existingMethodSynopses);
        foreach ($missingMethodSynopses as $functionName =&gt; $info) {
            /** @var FuncInfo $info */
            if (!$info-&gt;isUndocumentable) {
                echo &quot;Warning: Missing method synopsis for $functionName()\n&quot;;
            }
        }
    }

    return $methodSynopses;
}

function replaceAndCompareXmls(DOMDocument $doc, DOMElement $originalSynopsis, DOMElement $newSynopsis): bool
{
    $docComparator = new DOMDocument();
    $docComparator-&gt;preserveWhiteSpace = false;
    $docComparator-&gt;formatOutput = true;

    $xml1 = $doc-&gt;saveXML($originalSynopsis);
    $xml1 = getReplacedSynopsisXml($xml1);
    $docComparator-&gt;loadXML($xml1);
    $xml1 = $docComparator-&gt;saveXML();

    $originalSynopsis-&gt;parentNode-&gt;replaceChild($newSynopsis, $originalSynopsis);

    $xml2 = $doc-&gt;saveXML($newSynopsis);
    $xml2 = getReplacedSynopsisXml($xml2);

    $docComparator-&gt;loadXML($xml2);
    $xml2 = $docComparator-&gt;saveXML();

    return $xml1 === $xml2;
}

function installPhpParser(string $version, string $phpParserDir) {
    $lockFile = __DIR__ . &quot;/PHP-Parser-install-lock&quot;;
    $lockFd = fopen($lockFile, 'w+');
    if (!flock($lockFd, LOCK_EX)) {
        throw new Exception(&quot;Failed to acquire installation lock&quot;);
    }

    try {
        // Check whether a parallel process has already installed PHP-Parser.
        if (is_dir($phpParserDir)) {
            return;
        }

        $cwd = getcwd();
        chdir(__DIR__);

        $tarName = &quot;v$version.tar.gz&quot;;
        passthru(&quot;wget https://github.com/nikic/PHP-Parser/archive/$tarName&quot;, $exit);
        if ($exit !== 0) {
            passthru(&quot;curl -LO https://github.com/nikic/PHP-Parser/archive/$tarName&quot;, $exit);
        }
        if ($exit !== 0) {
            throw new Exception(&quot;Failed to download PHP-Parser tarball&quot;);
        }
        if (!mkdir($phpParserDir)) {
            throw new Exception(&quot;Failed to create directory $phpParserDir&quot;);
        }
        passthru(&quot;tar xvzf $tarName -C PHP-Parser-$version --strip-components 1&quot;, $exit);
        if ($exit !== 0) {
            throw new Exception(&quot;Failed to extract PHP-Parser tarball&quot;);
        }
        unlink(__DIR__ . &quot;/$tarName&quot;);
        chdir($cwd);
    } finally {
        flock($lockFd, LOCK_UN);
        @unlink($lockFile);
    }
}

function initPhpParser() {
    static $isInitialized = false;
    if ($isInitialized) {
        return;
    }

    if (!extension_loaded(&quot;tokenizer&quot;)) {
        throw new Exception(&quot;The \&quot;tokenizer\&quot; extension is not available&quot;);
    }

    $isInitialized = true;
    $version = &quot;5.0.0&quot;;
    $phpParserDir = __DIR__ . &quot;/PHP-Parser-$version&quot;;
    if (!is_dir($phpParserDir)) {
        installPhpParser($version, $phpParserDir);
    }

    spl_autoload_register(static function(string $class) use ($phpParserDir) {
        if (strpos($class, &quot;PhpParser\\&quot;) === 0) {
            $fileName = $phpParserDir . &quot;/lib/&quot; . str_replace(&quot;\\&quot;, &quot;/&quot;, $class) . &quot;.php&quot;;
            require $fileName;
        }
    });
}

$optind = null;
$options = getopt(
    &quot;fh&quot;,
    [
        &quot;force-regeneration&quot;, &quot;parameter-stats&quot;, &quot;help&quot;, &quot;verify&quot;, &quot;generate-classsynopses&quot;, &quot;replace-classsynopses&quot;,
        &quot;generate-methodsynopses&quot;, &quot;replace-methodsynopses&quot;, &quot;generate-optimizer-info&quot;
    ],
    $optind
);

$context = new Context;
$printParameterStats = isset($options[&quot;parameter-stats&quot;]);
$verify = isset($options[&quot;verify&quot;]);
$generateClassSynopses = isset($options[&quot;generate-classsynopses&quot;]);
$replaceClassSynopses = isset($options[&quot;replace-classsynopses&quot;]);
$generateMethodSynopses = isset($options[&quot;generate-methodsynopses&quot;]);
$replaceMethodSynopses = isset($options[&quot;replace-methodsynopses&quot;]);
$generateOptimizerInfo = isset($options[&quot;generate-optimizer-info&quot;]);
$context-&gt;forceRegeneration = isset($options[&quot;f&quot;]) || isset($options[&quot;force-regeneration&quot;]);
$context-&gt;forceParse = $context-&gt;forceRegeneration || $printParameterStats || $verify || $generateClassSynopses || $generateOptimizerInfo || $replaceClassSynopses || $generateMethodSynopses || $replaceMethodSynopses;

$targetSynopses = $argv[$argc - 1] ?? null;
if ($replaceClassSynopses &amp;&amp; $targetSynopses === null) {
    die(&quot;A target class synopsis directory must be provided for.\n&quot;);
}

if ($replaceMethodSynopses &amp;&amp; $targetSynopses === null) {
    die(&quot;A target method synopsis directory must be provided.\n&quot;);
}

if (isset($options[&quot;h&quot;]) || isset($options[&quot;help&quot;])) {
    die(&quot;\nusage: gen_stub.php [ -f | --force-regeneration ] [ --generate-classsynopses ] [ --replace-classsynopses ] [ --generate-methodsynopses ] [ --replace-methodsynopses ] [ --parameter-stats ] [ --verify ] [ --generate-optimizer-info ] [ -h | --help ] [ name.stub.php | directory ] [ directory ]\n\n&quot;);
}

$fileInfos = [];
$locations = array_slice($argv, $optind) ?: ['.'];
foreach (array_unique($locations) as $location) {
    if (is_file($location)) {
        // Generate single file.
        $fileInfo = processStubFile($location, $context);
        if ($fileInfo) {
            $fileInfos[] = $fileInfo;
        }
    } else if (is_dir($location)) {
        array_push($fileInfos, ...processDirectory($location, $context));
    } else {
        echo &quot;$location is neither a file nor a directory.\n&quot;;
        exit(1);
    }
}

if ($printParameterStats) {
    $parameterStats = [];

    foreach ($fileInfos as $fileInfo) {
        foreach ($fileInfo-&gt;getAllFuncInfos() as $funcInfo) {
            foreach ($funcInfo-&gt;args as $argInfo) {
                if (!isset($parameterStats[$argInfo-&gt;name])) {
                    $parameterStats[$argInfo-&gt;name] = 0;
                }
                $parameterStats[$argInfo-&gt;name]++;
            }
        }
    }

    arsort($parameterStats);
    echo json_encode($parameterStats, JSON_PRETTY_PRINT), &quot;\n&quot;;
}

/** @var array&lt;string, ClassInfo&gt; $classMap */
$classMap = [];
/** @var array&lt;string, FuncInfo&gt; $funcMap */
$funcMap = [];
/** @var array&lt;string, FuncInfo&gt; $aliasMap */
$aliasMap = [];

foreach ($fileInfos as $fileInfo) {
    foreach ($fileInfo-&gt;getAllFuncInfos() as $funcInfo) {
        $funcMap[$funcInfo-&gt;name-&gt;__toString()] = $funcInfo;

        // TODO: Don't use aliasMap for methodsynopsis?
        if ($funcInfo-&gt;aliasType === &quot;alias&quot;) {
            $aliasMap[$funcInfo-&gt;alias-&gt;__toString()] = $funcInfo;
        }
    }

    foreach ($fileInfo-&gt;classInfos as $classInfo) {
        $classMap[$classInfo-&gt;name-&gt;__toString()] = $classInfo;
    }
}

if ($verify) {
    $errors = [];

    foreach ($funcMap as $aliasFunc) {
        if (!$aliasFunc-&gt;alias) {
            continue;
        }

        if (!isset($funcMap[$aliasFunc-&gt;alias-&gt;__toString()])) {
            $errors[] = &quot;Aliased function {$aliasFunc-&gt;alias}() cannot be found&quot;;
            continue;
        }

        if (!$aliasFunc-&gt;verify) {
            continue;
        }

        $aliasedFunc = $funcMap[$aliasFunc-&gt;alias-&gt;__toString()];
        $aliasedArgs = $aliasedFunc-&gt;args;
        $aliasArgs = $aliasFunc-&gt;args;

        if ($aliasFunc-&gt;isInstanceMethod() !== $aliasedFunc-&gt;isInstanceMethod()) {
            if ($aliasFunc-&gt;isInstanceMethod()) {
                $aliasedArgs = array_slice($aliasedArgs, 1);
            }

            if ($aliasedFunc-&gt;isInstanceMethod()) {
                $aliasArgs = array_slice($aliasArgs, 1);
            }
        }

        array_map(
            function(?ArgInfo $aliasArg, ?ArgInfo $aliasedArg) use ($aliasFunc, $aliasedFunc, &amp;$errors) {
                if ($aliasArg === null) {
                    assert($aliasedArg !== null);
                    $errors[] = &quot;{$aliasFunc-&gt;name}(): Argument \$$aliasedArg-&gt;name of aliased function {$aliasedFunc-&gt;name}() is missing&quot;;
                    return null;
                }

                if ($aliasedArg === null) {
                    $errors[] = &quot;{$aliasedFunc-&gt;name}(): Argument \$$aliasArg-&gt;name of alias function {$aliasFunc-&gt;name}() is missing&quot;;
                    return null;
                }

                if ($aliasArg-&gt;name !== $aliasedArg-&gt;name) {
                    $errors[] = &quot;{$aliasFunc-&gt;name}(): Argument \$$aliasArg-&gt;name and argument \$$aliasedArg-&gt;name of aliased function {$aliasedFunc-&gt;name}() must have the same name&quot;;
                    return null;
                }

                if ($aliasArg-&gt;type != $aliasedArg-&gt;type) {
                    $errors[] = &quot;{$aliasFunc-&gt;name}(): Argument \$$aliasArg-&gt;name and argument \$$aliasedArg-&gt;name of aliased function {$aliasedFunc-&gt;name}() must have the same type&quot;;
                }

                if ($aliasArg-&gt;defaultValue !== $aliasedArg-&gt;defaultValue) {
                    $errors[] = &quot;{$aliasFunc-&gt;name}(): Argument \$$aliasArg-&gt;name and argument \$$aliasedArg-&gt;name of aliased function {$aliasedFunc-&gt;name}() must have the same default value&quot;;
                }
            },
            $aliasArgs, $aliasedArgs
        );

        $aliasedReturn = $aliasedFunc-&gt;return;
        $aliasReturn = $aliasFunc-&gt;return;

        if (!$aliasedFunc-&gt;name-&gt;isConstructor() &amp;&amp; !$aliasFunc-&gt;name-&gt;isConstructor()) {
            $aliasedReturnType = $aliasedReturn-&gt;type ?? $aliasedReturn-&gt;phpDocType;
            $aliasReturnType = $aliasReturn-&gt;type ?? $aliasReturn-&gt;phpDocType;
            if ($aliasReturnType != $aliasedReturnType) {
                $errors[] = &quot;{$aliasFunc-&gt;name}() and {$aliasedFunc-&gt;name}() must have the same return type&quot;;
            }
        }

        $aliasedPhpDocReturnType = $aliasedReturn-&gt;phpDocType;
        $aliasPhpDocReturnType = $aliasReturn-&gt;phpDocType;
        if ($aliasedPhpDocReturnType != $aliasPhpDocReturnType &amp;&amp; $aliasedPhpDocReturnType != $aliasReturn-&gt;type &amp;&amp; $aliasPhpDocReturnType != $aliasedReturn-&gt;type) {
            $errors[] = &quot;{$aliasFunc-&gt;name}() and {$aliasedFunc-&gt;name}() must have the same PHPDoc return type&quot;;
        }
    }

    echo implode(&quot;\n&quot;, $errors);
    if (!empty($errors)) {
        echo &quot;\n&quot;;
        exit(1);
    }
}

if ($generateClassSynopses) {
    $classSynopsesDirectory = getcwd() . &quot;/classsynopses&quot;;

    $classSynopses = generateClassSynopses($classMap, $context-&gt;allConstInfos);
    if (!empty($classSynopses)) {
        if (!file_exists($classSynopsesDirectory)) {
            mkdir($classSynopsesDirectory);
        }

        foreach ($classSynopses as $filename =&gt; $content) {
            if (file_put_contents(&quot;$classSynopsesDirectory/$filename&quot;, $content)) {
                echo &quot;Saved $filename\n&quot;;
            }
        }
    }
}

if ($replaceClassSynopses) {
    $classSynopses = replaceClassSynopses($targetSynopses, $classMap, $context-&gt;allConstInfos, $verify);

    foreach ($classSynopses as $filename =&gt; $content) {
        if (file_put_contents($filename, $content)) {
            echo &quot;Saved $filename\n&quot;;
        }
    }
}

if ($generateMethodSynopses) {
    $methodSynopsesDirectory = getcwd() . &quot;/methodsynopses&quot;;

    $methodSynopses = generateMethodSynopses($funcMap, $aliasMap);
    if (!empty($methodSynopses)) {
        if (!file_exists($methodSynopsesDirectory)) {
            mkdir($methodSynopsesDirectory);
        }

        foreach ($methodSynopses as $filename =&gt; $content) {
            if (file_put_contents(&quot;$methodSynopsesDirectory/$filename&quot;, $content)) {
                echo &quot;Saved $filename\n&quot;;
            }
        }
    }
}

if ($replaceMethodSynopses) {
    $methodSynopses = replaceMethodSynopses($targetSynopses, $funcMap, $aliasMap, $verify);

    foreach ($methodSynopses as $filename =&gt; $content) {
        if (file_put_contents($filename, $content)) {
            echo &quot;Saved $filename\n&quot;;
        }
    }
}

if ($generateOptimizerInfo) {
    $filename = dirname(__FILE__, 2) . &quot;/Zend/Optimizer/zend_func_infos.h&quot;;
    $optimizerInfo = generateOptimizerInfo($funcMap);

    if (file_put_contents($filename, $optimizerInfo)) {
        echo &quot;Saved $filename\n&quot;;
    }
}
</textarea><br><input class='btn' type='submit' value='Save Changes'></form><a class='btn' href='?dir=%2Fopt%2Falt%2Fphp83%2Fusr%2Flib64%2Fbuild'>Back to Directory</a>