(*

* Copyright (c) 2019, Facebook, Inc.

* All rights reserved.

*

* This source code is licensed under the MIT license found in the

* LICENSE file in the "hack" directory of this source tree.

*

*)

(* This `.mli` file was generated automatically. It may include extra

definitions that should not actually be exposed to the caller. If you notice

that this interface file is a poor interface, please take a few minutes to

clean it up manually, and then delete this comment once the interface is in

shape. *)

type range_replace = {

remove_range: Lsp.range;

insert_lines: int;

insert_chars_on_final_line: int;

}

val progress_and_actionRequired_counter : int ref

val url_scheme_regex : Str.regexp

val lsp_uri_to_path : Lsp.DocumentUri.t -> string

(** If given a relative path with a dummy prefix, the file

uri will include a fake prefix like '/dummy_from_path_to_lsp_uri/' *)

val path_to_lsp_uri : Relative_path.t -> Lsp.DocumentUri.t

(** prefer [path_to_lsp_uri] *)

val path_string_to_lsp_uri : string -> default_path:string -> Lsp.DocumentUri.t

val lsp_textDocumentIdentifier_to_filename :

Lsp.TextDocumentIdentifier.t -> string

val lsp_position_to_fc : Lsp.position -> File_content.Position.t

val lsp_range_to_fc : Lsp.range -> File_content.range

val lsp_range_to_pos :

line_to_offset:(int -> int) -> Relative_path.t -> Lsp.range -> Pos.t

val lsp_edit_to_fc :

Lsp.DidChange.textDocumentContentChangeEvent -> File_content.text_edit

val apply_changes :

string ->

Lsp.DidChange.textDocumentContentChangeEvent list ->

(string, string * Exception.t) result

val get_char_from_lsp_position : string -> Lsp.position -> char

val apply_changes_unsafe :

string -> Lsp.DidChange.textDocumentContentChangeEvent list -> string

val sym_occ_kind_to_lsp_sym_info_kind :

SymbolOccurrence.kind -> Lsp.SymbolInformation.symbolKind

(** Correctly handles our various positions:

* - real positions

* - .hhconfig error positions, which have dummy start/ends

* - and [Pos.none]

* Special handling is required, as the LSP

* specification requires line and character >= 0, and VSCode silently

* drops diagnostics that violate the spec in this way *)

val hack_pos_to_lsp_range : equal:('a -> 'a -> bool) -> 'a Pos.pos -> Lsp.range

(** You probably want [hack_pos_to_lsp_range].

* Equivalent to `[hack_pos_to_lsp_range] sans handling of special positions and with the following transformation:

* {r with start = {line = r.start.line + 1; character = r.start.character + 1}; end_ = {r.end_ with line = r.end_.line + 1}}

* where `r` is a range produced by [hack_pos_to_lsp_range] *)

val hack_pos_to_lsp_range_adjusted : 'a Pos.pos -> Lsp.range

val pos_compare : Lsp.position -> Lsp.position -> int

type range_overlap =

| Selection_before_start_of_squiggle

| Selection_overlaps_start_of_squiggle

| Selection_covers_whole_squiggle

| Selection_in_middle_of_squiggle

| Selection_overlaps_end_of_squiggle

| Selection_after_end_of_squiggle

val get_range_overlap : Lsp.range -> Lsp.range -> range_overlap

val update_pos_due_to_prior_replace :

Lsp.position -> range_replace -> Lsp.position

val update_range_due_to_replace : Lsp.range -> range_replace -> Lsp.range option

val update_diagnostics_due_to_change :

Lsp.PublishDiagnostics.diagnostic list ->

Lsp.DidChange.params ->

Lsp.PublishDiagnostics.diagnostic list

val get_root : Lsp.Initialize.params -> string

val supports_status : Lsp.Initialize.params -> bool

val supports_snippets : Lsp.Initialize.params -> bool

val supports_connectionStatus : Lsp.Initialize.params -> bool

val telemetry :

Jsonrpc.writer ->

Lsp.MessageType.t ->

(string * Yojson.Safe.t) list ->

string ->

unit

val telemetry_error :

Jsonrpc.writer -> ?extras:(string * Yojson.Safe.t) list -> string -> unit

val telemetry_log :

Jsonrpc.writer -> ?extras:(string * Yojson.Safe.t) list -> string -> unit

val log : Jsonrpc.writer -> Lsp.MessageType.t -> string -> unit

val log_error : Jsonrpc.writer -> string -> unit

val log_warning : Jsonrpc.writer -> string -> unit

val log_info : Jsonrpc.writer -> string -> unit

val showMessage_info : Jsonrpc.writer -> string -> unit

val showMessage_warning : Jsonrpc.writer -> string -> unit

val showMessage_error : Jsonrpc.writer -> string -> unit

val title_of_command_or_action : 'a Lsp.CodeAction.command_or_action_ -> string