icedream
/
php-language-server
1
0
Fork 0
Code Releases Activity

Add LanguageServer class

pull/6/head
Felix Becker 2016-08-12 10:25:03 +02:00
parent b1656f6884
commit 89a688b778
2 changed files with 66 additions and 37 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

41
bin/main.php
View File

@ -1,42 +1,9 @@
<?php <?php
use LanguageServer\LanguageServer;
use Sabre\Event\Loop; use Sabre\Event\Loop;
use Sabre\Event\EventEmitter;
abstract class ParsingMode { require __DIR__ . '../vendor/autoload.php';
const HEADERS = 1;
const BODY = 2;
}
$eventEmitter = new EventEmitter(); $server = new LanguageServer(STDIN, STDOUT);
$buffer = ''; $server->run();
$parsingMode = ParsingMode::HEADERS;
$headers = [];
$contentLength = 0;
Loop\addReadStream(STDIN, function() use ($buffer, $parsingMode, $headers, $contentLength, $eventEmitter) {
$buffer .= fgetc(STDIN);
switch ($parsingMode) {
case ParsingMode::HEADERS:
if (substr($buffer, -4) === '\r\n\r\n') {
$parsingMode = ParsingMode::BODY;
$contentLength = (int)$headers['Content-Length'];
$buffer = '';
} else if (substr($buffer, -2) === '\r\n') {
$parts = explode(': ', $buffer);
$headers[$parts[0]] = $parts[1];
$buffer = '';
}
break;
case ParsingMode::BODY:
if (strlen($buffer) === $contentLength) {
$body = json_decode($buffer);
$eventEmitter->emit($body->method, [$body->params]);
$parsingMode = ParsingMode::HEADERS;
$buffer = '';
}
break;
}
});
Loop\run();

62
src/LanguageServer.php Normal file
View File

@ -0,0 +1,62 @@
<?php
namespace LanguageServer;
use Sabre\Event\Loop;
use Sabre\Event\EventEmitter;
abstract class ParsingMode {
const HEADERS = 1;
const BODY = 2;
}
class LanguageServer extends EventEmitter
{
private $input;
private $output;
/**
* @param resource $input The input stream
* @param resource $output The output stream
*/
public function __construct($input, $output)
{
$this->input = $input;
$this->output = $output;
}
public function listen()
{
$buffer = '';
$parsingMode = ParsingMode::HEADERS;
$headers = [];
$contentLength = 0;
Loop\addReadStream($this->input, function() use ($buffer, $parsingMode, $headers, $contentLength) {
$buffer .= fgetc($this->output);
switch ($parsingMode) {
case ParsingMode::HEADERS:
if (substr($buffer, -4) === '\r\n\r\n') {
$parsingMode = ParsingMode::BODY;
$contentLength = (int)$headers['Content-Length'];
$buffer = '';
} else if (substr($buffer, -2) === '\r\n') {
$parts = explode(': ', $buffer);
$headers[$parts[0]] = $parts[1];
$buffer = '';
}
break;
case ParsingMode::BODY:
if (strlen($buffer) === $contentLength) {
$body = json_decode($buffer);
$this->emit($body->method, [$body->params]);
$parsingMode = ParsingMode::HEADERS;
$buffer = '';
}
break;
}
});
Loop\run();
}
}