Mark identifier as non-empty-string

amphp · Jan 16, 2023 · 2eeb178 · 2eeb178
1 parent 5168b0e
commit 2eeb178
Showing 1 changed file with 3 additions and 3 deletions.
diff --git a/src/Transaction.php b/src/Transaction.php
@@ -33,7 +33,7 @@ public function rollback(): void;
     /**
      * Creates a savepoint with the given identifier.
      *
-     * @param string $identifier Savepoint identifier.
+     * @param non-empty-string $identifier Savepoint identifier.
      *
      * @throws TransactionError If the transaction has been committed or rolled back.
      */
@@ -42,7 +42,7 @@ public function createSavepoint(string $identifier): void;
     /**
      * Rolls back to the savepoint with the given identifier.
      *
-     * @param string $identifier Savepoint identifier.
+     * @param non-empty-string $identifier Savepoint identifier.
      *
      * @throws TransactionError If the transaction has been committed or rolled back.
      */
@@ -51,7 +51,7 @@ public function rollbackTo(string $identifier): void;
     /**
      * Releases the savepoint with the given identifier.
      *
-     * @param string $identifier Savepoint identifier.
+     * @param non-empty-string $identifier Savepoint identifier.
      *
      * @throws TransactionError If the transaction has been committed or rolled back.
      */