tenkawa php language server下载tenkawa php language server源代码下载

tenkawa php language server

其他类别

1.0.0

下载

Tenkawa PHP语言服务器

tenkawa

Tenkawa是用于PHP的语言服务器，具有强大的静态分析和类型推理引擎，而无需向PHPSTAN询问。

仍然可以实验，但应该是可用的。欢迎任何错误报告，功能请求，建议，问题。

安装

使用PDO_SQLITE扩展名需要php> = 7.1。

有关Visual Studio代码扩展，请参见此处。

用composer create-project （ ~目录是一个示例）：

$ cd ~
$ composer create-project --no-dev --keep-vcs 
    tsufeki/tenkawa-php-language-server tenkawa/

或克隆仓库：

$ cd ~
$ git clone https://github.com/tsufeki/tenkawa-php-language-server.git tenkawa/
$ cd tenkawa/
$ composer install --no-dev
$ cd ..

构建标准库的索引：

$ php ~ /tenkawa/bin/tenkawa.php --build-index

现在，配置您的客户端以使用此命令启动服务器以使用stdio：

php ~ /tenkawa/bin/tenkawa.php

或连接到TCP插座：

php ~ /tenkawa/bin/tenkawa.php --socket=tcp://127.0.0.1:12345

特征

✔自动完成
- ✔类/功能（还具有自动导入和文档注释中）
- ✔班级成员
- ✔本地变量
✔诊断
- ✔用phpstan进行静态分析（请参阅已知问题）
✔去定义
✔去实施
✔悬停信息
✔签名帮助
✔参考
✔文档符号
✔工作区符号
- ✔类/函数/consts
- ✘班级成员（尚未）
✔代码操作
- ✔导入类/功能
- ✔修复错误的自动加载类/名称空间名称
- ✘还有更多...
✔多根工作区
✔片段
- ✔类/接口/特质
✔动态配置

尚未完成（但是？）：

✘转到类型定义
✘去宣言
✘文档亮点
✘文档链接
✘代码镜头
✘格式
- ✘文件
- ✘范围
- ✘类型
✘重命名
✘折叠范围

已知问题

许多功能在特征中不起作用。这是由Phpstan的设计引起的。
重构并非100％防弹。
性能和冗长的索引时间。

命令行选项

--socket=<socket> - 连接到插座而不是通过STDIO进行通信。允许格式： tcp://127.0.0.1:12345或unix:///path/to/socket 。
--log-stderr登录到stderr。
--log-file=<file> - 登录给定文件。
--log-client使用window/logMessage协议方法的日志。
--log-level=<level> - 仅记录给定级别及向上的消息。 <level>可以是emergency ， alert ， critical ， error ， warning ， notice ， info ， debug之一。默认为info 。
--build-index - 构建标准库索引，而不是启动服务器。
--config-json=<json> - 默认选项，请参阅配置。示例： --config-json={"completion":{"autoImport":false}} 。

配置

您可以通过initializationOptions协议方法的initialize参数或实现workspace/configuration请求并从客户端发送workspace/didChangeConfiguration通知，将配置选项传递给服务器。

公认的选项：

 {
  "tenkawaphp" : {
    "diagnostics" : {
      "phpstan" : {
        // Enable PHPStan diagnostics.
        "enabled" : true
      }
    } ,
    "completion" : {
      // Enable automatic import (use) of completed classes.
      "autoImport" : true ,
      // By default, only some PHP extensions are used for autocompletion.
      // Additional ones can be enabled here.
      "extensions" : [ "mysqli" , "redis" ]
    } ,
    "index" : {
      // Additional stubs directories
      "stubs" : [ "/path/to/stubs/dir" ]
    }
  }
}