Mark identifier as non-empty-string

This commit is contained in:
Aaron Piotrowski 2023-01-15 21:38:22 -06:00
parent 5168b0efc5
commit 2eeb178aca
No known key found for this signature in database
GPG Key ID: 5B456E6AABA44A63

View File

@ -33,7 +33,7 @@ interface Transaction extends Executor
/**
* 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 @@ interface Transaction extends Executor
/**
* 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 @@ interface Transaction extends Executor
/**
* 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.
*/