Check exceptions with PHPStan

Author: vojtech-dobes

phpstan.neon

@@ -9,6 +9,14 @@ parameters:
         - 'var_dump()'
       message: 'avoid committing debug calls'
 
+  exceptions:
+    check:
+      missingCheckedExceptionInThrows: true
+      tooWideThrowType: true
+
+    uncheckedExceptionClasses:
+      - LogicException
+
   level: 8
   paths:
     - src

src/GrammarProcessing/Ebnf/Parser.php

@@ -37,6 +37,10 @@ public function __construct(
 
 
 
+	/**
+	 * @throws GrammarProcessing\CannotConsumeTokenException
+	 * @throws GrammarProcessing\UnexpectedTokenException
+	 */
 	public function parseGrammarFromSource(string $source): GrammarProcessing\Grammar
 	{
 		return $this->parseGrammarFromAbstractSyntaxTree(

src/GrammarProcessing/Grammar.php

@@ -43,6 +43,9 @@ public function __construct(
 
 
 
+	/**
+	 * @throws UnexpectedTokenException
+	 */
 	public function tokenizeSource(string $source): TokenStream
 	{
 		return $this->lexicalGrammar->parseSource($source);
@@ -55,6 +58,7 @@ public function tokenizeSource(string $source): TokenStream
 	 * @param TRootSymbol $rootSymbol
 	 * @return AbstractSyntaxTree<TRootSymbol>
 	 * @throws CannotConsumeTokenException
+	 * @throws UnexpectedTokenException
 	 */
 	public function parseSource(string $source, string $rootSymbol): AbstractSyntaxTree
 	{

src/GrammarProcessing/TokenStream.php

@@ -102,6 +102,9 @@ public function consumeTokenWithType(string $type): Token
 
 
 
+	/**
+	 * @throws CannotConsumeTokenException
+	 */
 	public function consumeTokenWithValue(string $value): Token
 	{
 		if (isset($this->tokens[$this->currentToken]) === FALSE) {

src/GrammarProcessing/Vocabulary/Symbol.php

@@ -17,6 +17,7 @@ function getPattern(array $nonterminals): string;
 
 	/**
 	 * @param array<string, Symbol> $nonterminals
+	 * @throws GrammarProcessing\CannotConsumeTokenException
 	 */
 	function acceptNode(
 		GrammarProcessing\Error $error,