48 lines
1.1 KiB
PHP
48 lines
1.1 KiB
PHP
<?php
|
|
|
|
namespace LanguageServerProtocol;
|
|
|
|
class ClientCapabilitiesWindow
|
|
{
|
|
|
|
/**
|
|
* Whether client supports handling progress notifications. If set
|
|
* servers are allowed to report in `workDoneProgress` property in the
|
|
* request specific server capabilities.
|
|
*
|
|
* @since 3.15.0
|
|
*
|
|
* @var boolean|null
|
|
*/
|
|
public $workDoneProgress;
|
|
|
|
/**
|
|
* Capabilities specific to the showMessage request
|
|
*
|
|
* @since 3.16.0
|
|
*
|
|
* @var ShowMessageRequestClientCapabilities|null
|
|
*/
|
|
public $showMessage;
|
|
|
|
/**
|
|
* Client capabilities for the show document request.
|
|
*
|
|
* @since 3.16.0
|
|
*
|
|
* @var ShowDocumentClientCapabilities|null
|
|
*/
|
|
public $showDocument;
|
|
|
|
|
|
public function __construct(
|
|
bool $workDoneProgress = null,
|
|
ShowMessageRequestClientCapabilities $showMessage = null,
|
|
ShowDocumentClientCapabilities $showDocument = null
|
|
) {
|
|
$this->workDoneProgress = $workDoneProgress;
|
|
$this->showMessage = $showMessage;
|
|
$this->showDocument = $showDocument;
|
|
}
|
|
}
|