1
0
mirror of https://github.com/danog/psalm.git synced 2024-12-12 09:19:40 +01:00
psalm/tests/Internal/Provider/ParserInstanceCacheProvider.php

100 lines
2.6 KiB
PHP
Raw Normal View History

<?php
namespace Psalm\Tests\Internal\Provider;
2019-07-05 22:24:00 +02:00
use PhpParser;
2021-12-03 20:11:20 +01:00
use Psalm\Internal\Provider\ParserCacheProvider;
2021-06-08 04:55:21 +02:00
use function microtime;
2021-12-03 20:11:20 +01:00
class ParserInstanceCacheProvider extends ParserCacheProvider
{
/**
* @var array<string, string>
*/
2022-12-16 19:58:47 +01:00
private array $file_contents_cache = [];
/**
* @var array<string, string>
*/
2022-12-16 19:58:47 +01:00
private array $file_content_hash = [];
/**
2019-10-09 01:06:16 +02:00
* @var array<string, list<PhpParser\Node\Stmt>>
*/
2022-12-16 19:58:47 +01:00
private array $statements_cache = [];
/**
* @var array<string, float>
*/
2022-12-16 19:58:47 +01:00
private array $statements_cache_time = [];
public function __construct()
{
}
public function loadStatementsFromCache(string $file_path, int $file_modified_time, string $file_content_hash): ?array
{
if (isset($this->statements_cache[$file_path])
&& $this->statements_cache_time[$file_path] >= $file_modified_time
&& $this->file_content_hash[$file_path] === $file_content_hash
) {
return $this->statements_cache[$file_path];
}
return null;
}
/**
2019-10-09 01:06:16 +02:00
* @return list<PhpParser\Node\Stmt>|null
*/
public function loadExistingStatementsFromCache(string $file_path): ?array
{
if (isset($this->statements_cache[$file_path])) {
return $this->statements_cache[$file_path];
}
return null;
}
/**
2019-10-09 01:06:16 +02:00
* @param list<PhpParser\Node\Stmt> $stmts
*/
public function saveStatementsToCache(string $file_path, string $file_content_hash, array $stmts, bool $touch_only): void
{
$this->statements_cache[$file_path] = $stmts;
$this->statements_cache_time[$file_path] = microtime(true);
$this->file_content_hash[$file_path] = $file_content_hash;
}
public function loadExistingFileContentsFromCache(string $file_path): ?string
{
if (isset($this->file_contents_cache[$file_path])) {
return $this->file_contents_cache[$file_path];
}
return null;
}
public function cacheFileContents(string $file_path, string $file_contents): void
{
$this->file_contents_cache[$file_path] = $file_contents;
}
2020-06-06 22:57:25 +02:00
public function deleteOldParserCaches(float $time_before): int
{
$this->existing_file_content_hashes = null;
$this->new_file_content_hashes = [];
$this->file_contents_cache = [];
$this->file_content_hash = [];
$this->statements_cache = [];
$this->statements_cache_time = [];
return 0;
}
public function saveFileContentHashes(): void
2020-06-06 22:57:25 +02:00
{
}
}