non-empty-string in Identifier

nikic · Apr 13, 2024 · e244286 · e244286
1 parent 999135f
commit e244286
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/lib/PhpParser/Node/Identifier.php b/lib/PhpParser/Node/Identifier.php
@@ -8,7 +8,10 @@
  * Represents a non-namespaced name. Namespaced names are represented using Name nodes.
  */
 class Identifier extends NodeAbstract {
-    /** @var string Identifier as string */
+    /**
+     * @psalm-var non-empty-string
+     * @var string Identifier as string
+     */
     public string $name;
 
     /** @var array<string, bool> */
@@ -21,6 +24,7 @@ class Identifier extends NodeAbstract {
     /**
      * Constructs an identifier node.
      *
+     * @psalm-param non-empty-string $name
      * @param string $name Identifier as string
      * @param array<string, mixed> $attributes Additional attributes
      */
@@ -36,6 +40,7 @@ public function getSubNodeNames(): array {
     /**
      * Get identifier as string.
      *
+     * @psalm-return non-empty-string
      * @return string Identifier as string.
      */
     public function toString(): string {
@@ -45,6 +50,7 @@ public function toString(): string {
     /**
      * Get lowercased identifier as string.
      *
+     * @psalm-return non-empty-string
      * @return string Lowercased identifier as string
      */
     public function toLowerString(): string {
@@ -63,6 +69,7 @@ public function isSpecialClassName(): bool {
     /**
      * Get identifier as string.
      *
+     * @psalm-return non-empty-string
      * @return string Identifier as string
      */
     public function __toString(): string {