From 2eeb178acaf0d83191d3cf9b397a79dfc50d9b5f Mon Sep 17 00:00:00 2001
From: Aaron Piotrowski <aaron@trowski.com>
Date: Sun, 15 Jan 2023 21:38:22 -0600
Subject: [PATCH] Mark identifier as non-empty-string

---
 src/Transaction.php | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/Transaction.php b/src/Transaction.php
index f3178a8..3c4452a 100644
--- 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.
      */