1
0
Fork 0

Remove unneeded files

pull/15/head
Felix Becker 2016-09-06 13:00:23 +02:00
parent 4fc2a6c2e4
commit aa6b729336
3 changed files with 0 additions and 72 deletions

View File

@ -1,24 +0,0 @@
<?php
namespace LanguageServer\Protocol;
/**
* Diagnostics notification are sent from the server to the client to signal results
* of validation runs.
*/
class PublishDiagnosticsParams extends RequestParams
{
/**
* The URI for which diagnostic information is reported.
*
* @var string
*/
public $uri;
/**
* An array of diagnostic information items.
*
* @var Diagnostic[]
*/
public $diagnostics;
}

View File

@ -1,26 +0,0 @@
<?php
namespace LanguageServer\Protocol;
use AdvancedJsonRpc\Notification;
/**
* Diagnostics notification are sent from the server to the client to signal results of validation runs.
*/
class PublishDiagnosticsNotification extends Notification
{
/**
* @var PublishDiagnosticsParams
*/
public $params;
/**
* @param string $uri
* @param Diagnostic[] $diagnostics
*/
public function __construct(string $uri, array $diagnostics)
{
$this->method = 'textDocument/publishDiagnostics';
$this->params = $params;
}
}

View File

@ -1,22 +0,0 @@
<?php
namespace LanguageServer\Protocol\TextDocument;
use LanguageServer\Protocol\Params;
class PublishDiagnosticsParams extends Params
{
/**
* The URI for which diagnostic information is reported.
*
* @var string
*/
public $uri;
/**
* An array of diagnostic information items.
*
* @var LanguageServer\Protocol\Diagnostic[]
*/
public $diagnostics;
}