1
0
Fork 0
php-language-server/src
Sara Itani 4e6a6e110b Ensure diagnostics are cleared on file deletion (#319)
* Ensure diagnostics are cleared on file deletion
Previously, error diagnostics would not be cleared when a file was deleted while it was closed. This would result in lingering errors in the problems view that could only be cleared by reloading the language server. This fix addresses the issue by adding support for workspace/didChangeWatchedFiles and automatically clearing diagnostics for deleted files.

* add FileEvent constructor
2017-04-09 21:22:34 +02:00
..
Cache Use php_uname() instead of PHP_OS (#283) 2017-02-06 16:42:45 +01:00
Client Caching (#260) 2017-02-04 00:20:38 +01:00
ContentRetriever Refactor content retrieval (#208) 2016-12-08 01:51:32 +01:00
FilesFinder Files finder (#209) 2016-12-08 02:33:48 +01:00
Index Read vendor directory from project's composer.json, if set. (#281) 2017-02-07 23:20:12 +01:00
NodeVisitor Abort traversal in NodeAtPositionFinder (#305) 2017-02-18 00:28:10 +01:00
Protocol Ensure diagnostics are cleared on file deletion (#319) 2017-04-09 21:22:34 +02:00
Server Ensure diagnostics are cleared on file deletion (#319) 2017-04-09 21:22:34 +02:00
ClientHandler.php Handle Client responses (#128) 2016-10-31 11:47:21 +01:00
CompletionProvider.php Add support for inherited members (#218) 2016-12-16 01:40:17 +01:00
ComposerScripts.php Use JetBrains PHPStorm stubs from packagist (#264) 2017-01-30 11:55:13 +01:00
ContentTooLargeException.php Add size limit back (#161) 2016-11-18 13:24:26 +01:00
Definition.php Add support for inherited members (#218) 2016-12-16 01:40:17 +01:00
DefinitionResolver.php DefinitionResolver fixes (#307) 2017-02-20 10:28:49 +01:00
Formatter.php Fix formatting makes LS non-responsive (#153) 2016-11-18 14:25:05 +01:00
IdGenerator.php Handle Client responses (#128) 2016-10-31 11:47:21 +01:00
Indexer.php Read vendor directory from project's composer.json, if set. (#281) 2017-02-07 23:20:12 +01:00
LanguageClient.php Caching (#260) 2017-02-04 00:20:38 +01:00
LanguageServer.php Ensure diagnostics are cleared on file deletion (#319) 2017-04-09 21:22:34 +02:00
Parser.php Update php-parser to latest commit (#119) 2016-10-26 22:25:24 +02:00
PhpDocument.php Read vendor directory from project's composer.json, if set. (#281) 2017-02-07 23:20:12 +01:00
PhpDocumentLoader.php Allow overriding (#229) 2017-01-04 19:18:14 -08:00
ProtocolReader.php Shutdown when the socket is closed (#191) 2016-11-30 21:10:05 +01:00
ProtocolStreamReader.php Shutdown when the socket is closed (#191) 2016-11-30 21:10:05 +01:00
ProtocolStreamWriter.php Handle Client responses (#128) 2016-10-31 11:47:21 +01:00
ProtocolWriter.php Handle Client responses (#128) 2016-10-31 11:47:21 +01:00
utils.php Read vendor directory from project's composer.json, if set. (#281) 2017-02-07 23:20:12 +01:00