Improve descriptions of parser constructor options

Author: Kirill Nesmeyanov

resources/grammar.php

@@ -313,7 +313,14 @@
                 $children[0] ?? null,
             );
         },
-        50 => static function (\Phplrt\Parser\Context $ctx, $children) {
+        50 => function (\Phplrt\Parser\Context $ctx, $children) {
+            // The "$offset" variable is an auto-generated
+            $offset = $ctx->lastProcessedToken->getOffset();
+
+            if ($this->generics === false) {
+                throw FeatureNotAllowedException::fromFeature('template arguments', $offset);
+            }
+
             return new Node\Stmt\Template\ArgumentsListNode($children);
         },
         54 => static function (\Phplrt\Parser\Context $ctx, $children) {
@@ -511,15 +518,29 @@
                 $children[4],
             );
         },
-        123 => static function (\Phplrt\Parser\Context $ctx, $children) {
+        123 => function (\Phplrt\Parser\Context $ctx, $children) {
+            // The "$offset" variable is an auto-generated
+            $offset = $ctx->lastProcessedToken->getOffset();
+
             if (\count($children) === 2) {
+                if ($this->union === false) {
+                    throw FeatureNotAllowedException::fromFeature('union types', $offset);
+                }
+
                 return new Node\Stmt\UnionTypeNode($children[0], $children[1]);
             }
 
             return $children;
         },
-        124 => static function (\Phplrt\Parser\Context $ctx, $children) {
+        124 => function (\Phplrt\Parser\Context $ctx, $children) {
+            // The "$offset" variable is an auto-generated
+            $offset = $ctx->lastProcessedToken->getOffset();
+
             if (\count($children) === 2) {
+                if ($this->intersection === false) {
+                    throw FeatureNotAllowedException::fromFeature('intersection types', $offset);
+                }
+
                 return new Node\Stmt\IntersectionTypeNode($children[0], $children[1]);
             }
 
@@ -532,10 +553,17 @@
 
             return $children;
         },
-        133 => static function (\Phplrt\Parser\Context $ctx, $children) {
+        133 => function (\Phplrt\Parser\Context $ctx, $children) {
+            // The "$offset" variable is an auto-generated
+            $offset = $ctx->lastProcessedToken->getOffset();
+
             $statement = \array_shift($children);
 
             for ($i = 0, $length = \count($children); $i < $length; ++$i) {
+                if ($this->list === false) {
+                    throw FeatureNotAllowedException::fromFeature('square bracket list types', $offset);
+                }
+
                 $statement = new Node\Stmt\TypesListNode($statement);
                 $statement->offset = $children[$i]->getOffset();
             }

src/Parser.php

@@ -67,6 +67,29 @@ final class Parser implements ParserInterface
      */
     public int $lastProcessedTokenOffset = 0;
 
+    /**
+     * @param bool $tolerant Enables or disables tolerant type recognition. If
+     *       the option is {@see true}, the parser allows arbitrary text after
+     *       the type definition. This mode allows you to recognize types
+     *       specified in DocBlocks.
+     * @param bool $conditional Enables or disables support for
+     *        dependent/conditional types such as `T ? X : Y`.
+     * @param bool $shapes Enables or disables support for type shapes
+     *        such as `T{key: X}`.
+     * @param bool $callables Enables or disables support for callable types
+     *        such as `(X, Y): T`.
+     * @param bool $literals Enables or disables support for literal types such
+     *        as `42` or `"string"`.
+     * @param bool $generics Enables or disables support for template arguments
+     *        such as `T<X, Y>`.
+     * @param bool $union Enables or disables support for logical union types
+     *        such as `T | X`.
+     * @param bool $intersection Enables or disables support for logical
+     *        intersection types such as `T & X`.
+     * @param bool $list Enables or disables support for square bracket list
+     *        types such as `T[]`.
+     * @param SourceFactoryInterface $sources
+     */
     public function __construct(
         public readonly bool $tolerant = false,
         public readonly bool $conditional = true,