README

Tenkawa is a language server for PHP, with powerful static analysis and type inference engine borrowed without asking from PHPStan.

Still experimental, but should be usable. Any bug reports, feature requests, suggestions, questions are welcome.

Installation

Requires PHP >= 7.1 with pdo_sqlite extension.

For Visual Studio Code extension, see here.

Either with composer create-project (~ directory is an example):

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

Or by cloning the repo:

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

Build index of the standard library:

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

Now configure your client to start the server with this command to use stdio:

php ~/tenkawa/bin/tenkawa.php

Or to connect to a TCP socket:

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

Features

• ✔ Autocompletion
  • ✔ Classes/functions (also with automatic import and within doc comments)
  • ✔ Class members
  • ✔ Local variables
• ✔ Diagnostics
  • ✔ Static analysis with PHPStan (see Known issues)
• ✔ Go to definition
• ✔ Go to implementation
• ✔ Hover info
• ✔ Signature help
• ✔ References
• ✔ Document symbols
• ✔ Workspace symbols
  • ✔ Classes/functions/consts
  • ✘ Class members (not yet)
• ✔ Code actions
  • ✔ Import class/function
  • ✔ Fix wrong autoloaded class/namespace name
  • ✘ More to come...
• ✔ Multi-root workspace
• ✔ Snippets
  • ✔ Class/interface/trait
• ✔ Dynamic configuration

Unimplemented (yet?):

• ✘ Go to type definition
• ✘ Go to declaration
• ✘ Document highlight
• ✘ Document link
• ✘ Code lens
• ✘ Formatting
  • ✘ document
  • ✘ range
  • ✘ on type
• ✘ Rename
• ✘ Folding range

Known issues

• Many features don't work inside traits. This is caused by PHPStan's design.
• Refactors are not 100% bullet-proof.
• Performance & long indexing times.

Command line options

• --socket=<socket> - connect to a socket instead of communicating through STDIO. Allowed format: tcp://127.0.0.1:12345 or unix:///path/to/socket.
• --log-stderr - log to stderr.
• --log-file=<file> - log to the given file.
• --log-client - log using window/logMessage protocol method.
• --log-level=<level> - log only messages of the given level and up. <level> can be one of emergency, alert, critical, error, warning, notice, info, debug. Defaults to info.
• --build-index - build standard library index instead of starting the server.
• --config-json=<json> - default options, see Configuration. Example: --config-json={"completion":{"autoImport":false}}.

Configuration

You can pass configuration options to the server through initializationOptions parameter of initialize protocol method or by implementing workspace/configuration request and sending workspace/didChangeConfiguration notifications from client.

Recognized options:

{
  "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"]
    }
  }
}

Licence

Copyright (c) 2017 tsufeki

This program is free software: you can redistribute it and/or modify it under the terms of the GNU General Public License as published by the Free Software Foundation, either version 3 of the License, or (at your option) any later version.

This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details.

You should have received a copy of the GNU General Public License along with this program. If not, see http://www.gnu.org/licenses/.