Merge pull request #95 from greg0ire/add-asserts

Add psalm assertions
doctrine · Dec 11, 2022 · 8275278 · 8275278
2 parents 3cf140b + ab64387
commit 8275278
Show file tree

Hide file tree

Showing 2 changed files with 13 additions and 0 deletions.
diff --git a/psalm.xml b/psalm.xml
@@ -47,5 +47,11 @@
                 <file name="src/AbstractLexer.php" />
             </errorLevel>
         </MixedAssignment>
+        <RedundantConditionGivenDocblockType>
+            <errorLevel type="suppress">
+                <!-- that test checks non-obvious things guaranteed by static analysis, just in case -->
+                <file name="tests/AbstractLexerTest.php" />
+            </errorLevel>
+        </RedundantConditionGivenDocblockType>
     </issueHandlers>
 </psalm>
diff --git a/src/AbstractLexer.php b/src/AbstractLexer.php
@@ -147,6 +147,8 @@ public function getInputUntilPosition($position)
      * @param T $type
      *
      * @return bool
+     *
+     * @psalm-assert-if-true !null $this->lookahead
      */
     public function isNextToken($type)
     {
@@ -159,6 +161,8 @@ public function isNextToken($type)
      * @param list<T> $types
      *
      * @return bool
+     *
+     * @psalm-assert-if-true !null $this->lookahead
      */
     public function isNextTokenAny(array $types)
     {
@@ -169,6 +173,9 @@ public function isNextTokenAny(array $types)
      * Moves to the next token in the input string.
      *
      * @return bool
+     *
+     * @psalm-assert-if-true !null $this->lookahead
+     * @psalm-assert-if-false null $this->lookahead
      */
     public function moveNext()
     {