26 lines
354 B
PHP
26 lines
354 B
PHP
|
<?php
|
||
|
|
declare(strict_types = 1);
|
||
|
|
|
||
|
|
namespace LanguageServer;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Generates unique, incremental IDs for use as request IDs
|
||
|
|
*/
|
||
|
|
class IdGenerator
|
||
|
|
{
|
||
|
|
/**
|
||
|
|
* @var int
|
||
|
|
*/
|
||
|
|
public $counter = 1;
|
||
|
|
|
||
|
|
/**
|
||
|
|
* Returns a unique ID
|
||
|
|
*
|
||
|
|
* @return int
|
||
|
|
*/
|
||
|
|
public function generate()
|
||
|
|
{
|
||
|
|
return $this->counter++;
|
||
|
|
}
|
||
|
|
}
|