AsyncPool: add phpstan array type information to all fields

This commit is contained in:
Dylan K. Taylor 2020-04-15 12:40:54 +01:00
parent 5571ae05b5
commit 8020912448

View File

@ -53,18 +53,33 @@ class AsyncPool{
/** @var int */ /** @var int */
private $workerMemoryLimit; private $workerMemoryLimit;
/** @var AsyncTask[] */ /**
* @var AsyncTask[]
* @phpstan-var array<int, AsyncTask>
*/
private $tasks = []; private $tasks = [];
/** @var int[] */ /**
* @var int[]
* @phpstan-var array<int, int>
*/
private $taskWorkers = []; private $taskWorkers = [];
/** @var int */ /** @var int */
private $nextTaskId = 1; private $nextTaskId = 1;
/** @var AsyncWorker[] */ /**
* @var AsyncWorker[]
* @phpstan-var array<int, AsyncWorker>
*/
private $workers = []; private $workers = [];
/** @var int[] */ /**
* @var int[]
* @phpstan-var array<int, int>
*/
private $workerUsage = []; private $workerUsage = [];
/** @var int[] */ /**
* @var int[]
* @phpstan-var array<int, int>
*/
private $workerLastUsed = []; private $workerLastUsed = [];
/** /**