1
0
mirror of https://github.com/danog/amp.git synced 2024-11-26 20:15:00 +01:00

Annotate that throwIfRequested might throw CancelledException

This commit is contained in:
Niklas Keller 2019-05-30 15:13:28 +02:00
parent 4e822395c9
commit a660af794b

View File

@ -42,6 +42,8 @@ interface CancellationToken
* Throws the `CancelledException` if cancellation has been requested, otherwise does nothing.
*
* @return void
*
* @throws CancelledException
*/
public function throwIfRequested();
}