Documentation

LanguageServerProtocol

FileEvent
in package

Lwt

An event describing a file change.

Table of Contents

Properties

$type : int: The change type.
$uri : string: The file's URI.

Methods

__construct() : mixed

$type

The change type.


        public
            int
    $type

$uri

The file's URI.


        public
            string
    $uri

__construct()


    public
                    __construct(string $uri, int $type) : mixed

Parameters

$uri : string
$type : int

On this page

Table Of Contents
- Properties
- Methods
Properties
- $type
- $uri
Methods
- __construct()