3 * Copyright 2017-2019 Ben Iofel <ben@iofel.me>
4 * Copyright 2017-2020 Princeton Ferro <princetonferro@gmail.com>
5 * Copyright 2020 Sergii Fesenko <s.fesenko@outlook.com>
7 * This program is free software: you can redistribute it and/or modify
8 * it under the terms of the GNU Lesser General Public License as published by
9 * the Free Software Foundation, either version 2.1 of the License, or
10 * (at your option) any later version.
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU Lesser General Public License for more details.
17 * You should have received a copy of the GNU Lesser General Public License
18 * along with this program. If not, see <http://www.gnu.org/licenses/>.
23 * Defines how the host (editor) should sync document changes to the language server.
25 [CCode (default_value = "LSP_TEXT_DOCUMENT_SYNC_KIND_Unset")]
26 public enum TextDocumentSyncKind {
29 * Documents should not be synced at all.
33 * Documents are synced by always sending the full content of the document.
37 * Documents are synced by sending the full content on open. After that only incremental
38 * updates to the document are sent.
43 public enum DiagnosticSeverity {
54 * Reports an information.
64 public class Position : Object, Gee.Comparable<Position> {
66 public Position(uint line, uint chr)
72 * Line position in a document (zero-based).
74 public uint line { get; set; default = -1; }
77 * Character offset on a line in a document (zero-based). Assuming that the line is
78 * represented as a string, the `character` value represents the gap between the
79 * `character` and `character + 1`.
81 * If the character value is greater than the line length it defaults back to the
84 public uint character { get; set; default = -1; }
86 public int compare_to (Position other) {
88 return line > other.line ? 1 :
90 (character > other.character ? 1 :
91 (character == other.character ? 0 : -1)) : -1);
93 public bool equals(Position o) {
94 return o.line == this.line && o.character == this.character;
97 public string to_string () {
98 return @"$line:$character";
101 public Position.from_libvala (Vala.SourceLocation sloc) {
102 line = sloc.line - 1;
103 character = sloc.column;
106 public Position dup () {
107 return this.translate ();
110 public Position translate (int dl = 0, int dc = 0) {
111 return new Position (this.character + dc, this.character + dc) ;
115 public class Range : Object, Gee.Hashable<Range>, Gee.Comparable<Range> {
117 public Range.simple(uint line, uint pos) {
118 var p = new Position (line,pos);
124 * The range's start position.
126 public Position start { get; set; }
129 * The range's end position.
131 public Position end { get; set; }
133 private string? filename;
135 public string to_string () { return (filename != null ? @"$filename:" : "") + @"$start -> $end"; }
137 public Range.from_pos (Position pos) {
139 this.end = pos.dup ();
142 public Range.from_sourceref (Vala.SourceReference sref) {
143 this.start = new Position.from_libvala (sref.begin);
144 this.end = new Position.from_libvala (sref.end);
145 this.start.character -= 1;
146 this.filename = sref.file.filename;
149 public uint hash () {
150 return this.to_string ().hash ();
153 public bool equal_to (Range other) { return this.to_string () == other.to_string (); }
154 public bool equals (Range o) {
155 return this.filename == o.filename &&
156 this.start.equals(o.start) &&
157 this.end.equals(o.end);
160 public int compare_to (Range other) {
161 return start.compare_to (other.start);
165 * Return a new range that includes `this` and `other`.
167 public Range union (Range other) {
168 var range = new Range () {
169 start = start.compare_to (other.start) < 0 ? start : other.start,
170 end = end.compare_to (other.end) < 0 ? other.end : end,
172 if (filename == other.filename)
173 range.filename = filename;
177 public bool contains (Position pos) {
179 var ret = start.compare_to (pos) <= 0 && pos.compare_to (end) <= 0;
180 // GLib.debug( "range contains %d (%d-%d) %s", (int)pos.line, (int)start.line, (int)end.line, ret ? "Y" : "N");
186 public class Diagnostic : Object {
188 public Diagnostic.simple ( int line, int character, string message)
190 this.message = message;
191 this.severity = DiagnosticSeverity.Error;
192 this.range = new Range.simple(line, character );
198 * The range at which the message applies.
200 public Range range { get; set; }
203 * The diagnostic's severity. Can be omitted. If omitted it is up to the
204 * client to interpret diagnostics as error, warning, info or hint.
206 public DiagnosticSeverity severity { get; set; }
209 * The diagnostic's code. Can be omitted.
211 public string? code { get; set; }
214 * A human-readable string describing the source of this
215 * diagnostic, e.g. 'typescript' or 'super lint'.
217 public string? source { get; set; }
220 * The diagnostic's message.
222 public string message { get; set; }
225 public string category {
227 switch(this.severity) {
229 case DiagnosticSeverity.Error :
231 case DiagnosticSeverity.Warning :
232 return this.message.contains("deprecated") ? "DEPR" : "WARN";
240 public bool equals(Lsp.Diagnostic o) {
241 var ret = this.range.equals(o.range) && this.severity == o.severity && this.message == o.message;
242 //GLib.debug("compare %s (%s == %s)", ret ? "YES" : "NO", this.to_string(), o.to_string());
247 public string to_string()
249 return "%s : %d - %s".printf(this.category, (int) this.range.start.line , this.message);
255 * An event describing a change to a text document. If range and rangeLength are omitted
256 * the new text is considered to be the full content of the document.
258 public class TextDocumentContentChangeEvent : Object {
259 public Range? range { get; set; }
260 public int rangeLength { get; set; }
261 public string text { get; set; }
264 public enum MessageType {
274 * An information message.
283 public class TextDocumentIdentifier : Object {
284 public string uri { get; set; }
287 public class VersionedTextDocumentIdentifier : TextDocumentIdentifier {
289 * The version number of this document. If a versioned text document identifier
290 * is sent from the server to the client and the file is not open in the editor
291 * (the server has not received an open notification before) the server can send
292 * `null` to indicate that the version is known and the content on disk is the
293 * master (as speced with document content ownership).
295 * The version number of a document will increase after each change, including
296 * undo/redo. The number doesn't need to be consecutive.
298 public int version { get; set; default = -1; }
301 public class TextDocumentPositionParams : Object {
302 public TextDocumentIdentifier textDocument { get; set; }
303 public Position position { get; set; }
306 public class ReferenceParams : TextDocumentPositionParams {
307 public class ReferenceContext : Object {
308 public bool includeDeclaration { get; set; }
310 public ReferenceContext? context { get; set; }
313 public class Location : Object {
314 public string uri { get; set; }
315 public Range range { get; set; }
317 public Location.from_sourceref (Vala.SourceReference sref) {
318 this (sref.file.filename, new Range.from_sourceref (sref));
321 public Location (string filename, Range range) {
322 this.uri = File.new_for_commandline_arg (filename).get_uri ();
327 [CCode (default_value = "LSP_DOCUMENT_HIGHLIGHT_KIND_Text")]
328 public enum DocumentHighlightKind {
334 public class DocumentHighlight : Object {
335 public Range range { get; set; }
336 public DocumentHighlightKind kind { get; set; }
339 public class DocumentSymbolParams: Object {
340 public TextDocumentIdentifier textDocument { get; set; }
343 public class DocumentSymbol : Object, Json.Serializable {
345 public string name { get; set; }
346 public string detail { get; set; default = ""; }
347 public SymbolKind kind { get; set; }
348 public bool deprecated { get; set; }
350 public Range range { get; set; }
351 public Range selectionRange { get; set; }
352 public GLib.ListStore children { get; set; default = new GLib.ListStore(typeof(DocumentSymbol)); }
353 public string? parent_name;
355 private DocumentSymbol () {}
358 * @param type the data type containing this symbol, if there was one (not available for Namespaces, for example)
359 * @param sym the symbol
362 public DocumentSymbol.from_vala_symbol (Vala.DataType? type, Vala.Symbol sym, SymbolKind kind) {
363 this.parent_name = sym.parent_symbol != null ? sym.parent_symbol.name : null;
364 this._initial_range = new Range.from_sourceref (sym.source_reference);
365 if (sym is Vala.Subroutine) {
366 var sub = (Vala.Subroutine) sym;
367 var body_sref = sub.body != null ? sub.body.source_reference : null;
368 // debug ("subroutine %s found (body @ %s)", sym.get_full_name (),
369 // body_sref != null ? body_sref.to_string () : null);
370 if (body_sref != null && (body_sref.begin.line < body_sref.end.line ||
371 val = GLib.Value (typeof(Gee.ArrayList)); body_sref.begin.line == body_sref.end.line && body_sref.begin.pos <= body_sref.end.pos)) {
372 this._initial_range = this._initial_range.union (new Range.from_sourceref (body_sref));
375 this.name = sym.name;
376 this.detail = Vls.CodeHelp.get_symbol_representation (type, sym, null, false);
378 this.selectionRange = new Range.from_sourceref (sym.source_reference);
379 this.deprecated = sym.version.deprecated;
382 public new void Json.Serializable.set_property (ParamSpec pspec, Value value) {
383 base.set_property (pspec.get_name (), value);
386 public new Value Json.Serializable.get_property (ParamSpec pspec) {
387 Value val = Value (pspec.value_type);
388 base.get_property (pspec.get_name (), ref val);
392 public unowned ParamSpec? find_property (string name) {
393 return this.get_class ().find_property (name);
396 public Json.Node serialize_property (string property_name, Value value, ParamSpec pspec) {
397 // if (property_name != "children")
398 return default_serialize_property (property_name, value, pspec);
399 /*var node = new Json.Node (Json.NodeType.ARRAY);
400 node.init_array (new Json.Array ());
401 var array = node.get_array ();
402 foreach (var child in children)
403 array.add_element (Json.gobject_serialize (child));
408 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node)
410 //GLib.debug("deserialise property %s" , property_name);
411 if (property_name != "children") {
412 return default_deserialize_property (property_name, out value, pspec, property_node);
414 value = GLib.Value (typeof(GLib.ListStore));
415 if (property_node.get_node_type () != Json.NodeType.ARRAY) {
416 // GLib.debug ("unexpected property node type for 'arguments' %s", property_node.get_node_type ().to_string ());
419 //GLib.debug("got child length of %d", (int) property_node.get_array ().get_length());
420 var arguments = new GLib.ListStore(typeof(DocumentSymbol));
422 property_node.get_array ().foreach_element ((array, index, element) => {
424 var add= Json.gobject_deserialize ( typeof (DocumentSymbol), array.get_element(index)) as DocumentSymbol;
425 arguments.append( add);
430 value.set_object (arguments);
433 public string symbol_icon {
436 return this.kind.icon();
440 public string tooltip {
442 //GLib.debug("%s : %s", this.name, this.detail);
443 //var detail = this.detail == "" ? (this.kind.to_string() + ": " + this.name) : this.detail;
444 return "" + this.kind.to_string().replace( "LSP_SYMBOL_KIND_", "" ) + "\n" +
445 GLib.Markup.escape_text(this.detail + "\nline: " + this.range.start.line.to_string());
449 public string sort_key {
451 return this.kind.sort_key().to_string() + "=" + this.name;
455 public DocumentSymbol? containsLine(uint line, uint chr)
457 if (!this.range.contains(new Position(line, chr))) {
461 for(var i = 0; i < this.children.get_n_items();i++) {
462 var el = (DocumentSymbol)this.children.get_item(i);
463 var ret = el.containsLine(line,chr);
471 // does not compare children...
472 public bool equals(DocumentSymbol sym) {
473 return this.name == sym.name &&
474 this.kind == sym.kind &&
475 this.detail == sym.detail &&
476 sym.range.equals(this.range);
479 public static void copyList(GLib.ListStore source, GLib.ListStore target)
481 //GLib.debug("copyList source=%d target=%d", (int)source.get_n_items(), (int)target.get_n_items());
483 while (i < source.get_n_items()) {
484 //GLib.debug("copyList compare %d", i);
485 if (i >= target.get_n_items()) {
486 //GLib.debug("copyList append");
487 target.append(source.get_item(i));
491 var sel = (Lsp.DocumentSymbol) source.get_item(i);
492 var tel = (Lsp.DocumentSymbol) target.get_item(i);
493 if (!sel.equals(tel)) {
494 //GLib.debug("copyList replace");
496 target.insert(i, sel);
501 if (sel.children.get_n_items() < 1 && tel.children.get_n_items() < 1) {
503 //GLib.debug("copyList same noChlidren %s", sel.name);
507 //GLib.debug("copyList same = updateChildren %s", sel.name);
509 // they are the same (ignoring children
510 copyList(sel.children,tel.children);
514 // remove target items, that dont exist anymore
515 while (i < target.get_n_items()) {
516 //GLib.debug("copyList remove");
527 public class SymbolInformation : Object {
528 public string name { get; set; }
529 public SymbolKind kind { get; set; }
530 public Location location { get; set; }
531 public string? containerName { get; set; }
533 public SymbolInformation.from_document_symbol (DocumentSymbol dsym, string uri) {
534 this.name = dsym.name;
535 this.kind = dsym.kind;
536 // this.location = new Location (uri, dsym.range);
537 this.containerName = dsym.parent_name;
541 [CCode (default_value = "LSP_SYMBOL_KIND_Variable")]
542 public enum SymbolKind {
570 public string icon () {
571 return "lang-" + this.to_string().replace( "LSP_SYMBOL_KIND_", "" ).down() + "-symbolic";
574 public int sort_key() {
577 case Enum : return 1;
578 case Class: return 2;
580 case Constructor : return 1;
581 case Method : return 2;
582 case Field : return 3;
583 case Property : return 3;
595 public class CompletionList : Object, Json.Serializable {
596 public bool isIncomplete { get; set; }
597 public Gee.List<CompletionItem> items { get; private set; default = new Gee.LinkedList<CompletionItem> (); }
599 public new void Json.Serializable.set_property (ParamSpec pspec, Value value) {
600 base.set_property (pspec.get_name (), value);
603 public new Value Json.Serializable.get_property (ParamSpec pspec) {
604 Value val = Value(pspec.value_type);
605 base.get_property (pspec.get_name (), ref val);
609 public unowned ParamSpec? find_property (string name) {
610 return this.get_class ().find_property (name);
613 public Json.Node serialize_property (string property_name, Value value, ParamSpec pspec) {
614 if (property_name != "items")
615 return default_serialize_property (property_name, value, pspec);
616 var node = new Json.Node (Json.NodeType.ARRAY);
617 node.init_array (new Json.Array ());
618 var array = node.get_array ();
619 foreach (var child in items)
620 array.add_element (Json.gobject_serialize (child));
624 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node) {
625 error ("deserialization not supported");
629 [CCode (default_value = "LSP_COMPLETION_TRIGGER_KIND_Invoked")]
630 public enum CompletionTriggerKind {
632 * Completion was triggered by typing an identifier (24x7 code
633 * complete), manual invocation (e.g Ctrl+Space) or via API.
638 * Completion was triggered by a trigger character specified by
639 * the `triggerCharacters` properties of the `CompletionRegistrationOptions`.
641 TriggerCharacter = 2,
644 * Completion was re-triggered as the current completion list is incomplete.
646 TriggerForIncompleteCompletions = 3
649 public class CompletionContext : Object {
650 public CompletionTriggerKind triggerKind { get; set;}
651 public string? triggerCharacter { get; set; }
654 public class CompletionParams : TextDocumentPositionParams {
656 * The completion context. This is only available if the client specifies
657 * to send this using `ClientCapabilities.textDocument.completion.contextSupport === true`
659 public CompletionContext? context { get; set; }
662 public enum CompletionItemTag {
663 // Render a completion as obsolete, usually using a strike-out.
667 [CCode (default_value = "LSP_INSERT_TEXT_FORMAT_PlainText")]
668 public enum InsertTextFormat {
670 * The primary text to be inserted is treated as a plain string.
675 * The primary text to be inserted is treated as a snippet.
677 * A snippet can define tab stops and placeholders with `$1`, `$2`
678 * and `${3:foo}`. `$0` defines the final tab stop, it defaults to
679 * the end of the snippet. Placeholders with equal identifiers are linked,
680 * that is typing in one will update others too.
685 public class CompletionItem : Object, Gee.Hashable<CompletionItem>, Json.Serializable {
686 public string label { get; set; }
687 public CompletionItemKind kind { get; set; }
688 public string detail { get; set; }
689 public MarkupContent? documentation { get; set; }
690 public bool deprecated { get; set; }
691 public Gee.List<CompletionItemTag> tags { get; private set; default = new Gee.ArrayList<CompletionItemTag> (); }
692 public string? insertText { get; set; }
693 public InsertTextFormat insertTextFormat { get; set; default = InsertTextFormat.PlainText; }
696 private CompletionItem () {}
698 public CompletionItem.keyword (string keyword, string? insert_text = null, string? documentation = null) {
699 this.label = keyword;
700 this.kind = CompletionItemKind.Keyword;
701 this.insertText = insert_text;
702 if (insert_text != null && (insert_text.contains ("$0") || insert_text.contains ("${0")))
703 this.insertTextFormat = InsertTextFormat.Snippet;
704 if (documentation != null)
705 this.documentation = new MarkupContent.from_plaintext (documentation);
706 this._hash = @"$label $kind".hash ();
710 * A completion suggestion from an existing Vala symbol.
712 * @param instance_type the parent data type of data type of the expression where this symbol appears, or null
713 * @param sym the symbol itself
714 * @param scope the scope to display this in
715 * @param kind the kind of completion to display
716 * @param documentation the documentation to display
717 * @param label_override if non-null, override the displayed symbol name with this
720 public CompletionItem.from_symbol (Vala.DataType? instance_type, Vala.Symbol sym, Vala.Scope? scope,
721 CompletionItemKind kind,
722 Vls.DocComment? documentation, string? label_override = null) {
723 this.label = label_override ?? sym.name;
725 this.detail = Vls.CodeHelp.get_symbol_representation (instance_type, sym, scope, true, null, label_override, false);
726 this._hash = @"$label $kind".hash ();
728 if (documentation != null)
729 this.documentation = new MarkupContent.from_markdown (documentation.body);
731 var version = sym.get_attribute ("Version");
732 if (version != null && (version.get_bool ("deprecated") || version.get_string ("deprecated_since") != null)) {
733 this.tags.add (CompletionItemTag.Deprecated);
734 this.deprecated = true;
739 * A completion suggestion from a data type and a synthetic symbol name.
741 * @param symbol_type the data type of the symbol
742 * @param symbol_name the name of the synthetic symbol
743 * @param scope the scope that this completion item is displayed in, or null
744 * @param kind the type of completion to display
745 * @param documentation the documentation for this symbol, or null
748 public CompletionItem.from_synthetic_symbol (Vala.DataType symbol_type, string symbol_name, Vala.Scope? scope,
749 CompletionItemKind kind, Vls.DocComment? documentation) {
750 this.label = symbol_name;
752 this.detail = @"$(Vls.CodeHelp.get_symbol_representation (symbol_type, null, scope, true, null, null, false)) $symbol_name";
753 this._hash = @"$label $kind".hash ();
755 if (documentation != null)
756 this.documentation = new MarkupContent.from_markdown (documentation.body);
760 public CompletionItem.from_unimplemented_symbol (Vala.Symbol sym,
761 string label, CompletionItemKind kind,
763 Vls.DocComment? documentation) {
766 this.insertText = insert_text;
767 if (insert_text.contains ("$0") || insert_text.contains ("${0"))
768 this.insertTextFormat = InsertTextFormat.Snippet;
769 this._hash = @"$label $kind".hash ();
770 if (documentation != null)
771 this.documentation = new MarkupContent.from_markdown (documentation.body);
775 public uint hash () {
779 public bool equal_to (CompletionItem other) {
780 return other.label == this.label && other.kind == this.kind;
783 public new void Json.Serializable.set_property (ParamSpec pspec, Value value) {
784 base.set_property (pspec.get_name (), value);
787 public new Value Json.Serializable.get_property (ParamSpec pspec) {
788 Value val = Value(pspec.value_type);
789 base.get_property (pspec.get_name (), ref val);
793 public unowned ParamSpec? find_property (string name) {
794 return this.get_class ().find_property (name);
797 public Json.Node serialize_property (string property_name, Value value, ParamSpec pspec) {
798 if (property_name != "tags")
799 return default_serialize_property (property_name, value, pspec);
801 var node = new Json.Node (Json.NodeType.ARRAY);
802 node.init_array (new Json.Array ());
803 var array = node.get_array ();
804 foreach (var tag in this.tags) {
805 array.add_int_element (tag);
810 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node)
812 if (property_name != "tags") {
813 return default_deserialize_property (property_name, out value, pspec, property_node);
815 value = GLib.Value (typeof(Gee.ArrayList));
816 if (property_node.get_node_type () != Json.NodeType.ARRAY) {
817 warning ("unexpected property node type for 'arguments' %s", property_node.get_node_type ().to_string ());
821 var arguments = new Gee.ArrayList<CompletionItemTag>();
823 property_node.get_array ().foreach_element ((array, index, element) => {
825 arguments.add ((CompletionItemTag) Json.gvariant_deserialize (element, null).get_int32() );
827 warning ("argument %u to command could not be deserialized: %s", index, e.message);
831 value.set_object (arguments);
836 public class MarkupContent : Object , Json.Serializable {
837 public string kind { get; set; }
838 public string value { get; set; }
840 private MarkupContent () {}
843 * Create a MarkupContent with plain text.
845 public MarkupContent.from_plaintext (string doc) {
846 this.kind = "plaintext";
851 * Create a MarkupContent with markdown text.
853 public MarkupContent.from_markdown (string doc) {
854 this.kind = "markdown";
857 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node)
860 return default_deserialize_property (property_name, out value, pspec, property_node);
864 [CCode (default_value = "LSP_COMPLETION_ITEM_KIND_Text")]
865 public enum CompletionItemKind {
894 * Capabilities of the client/editor for `textDocument/documentSymbol`
896 public class DocumentSymbolCapabilities : Object {
897 public bool hierarchicalDocumentSymbolSupport { get; set; }
901 * Capabilities of the client/editor for `textDocument/rename`
903 public class RenameClientCapabilities : Object {
904 public bool prepareSupport { get; set; }
908 * Capabilities of the client/editor pertaining to language features.
910 public class TextDocumentClientCapabilities : Object {
911 public DocumentSymbolCapabilities documentSymbol { get; set; default = new DocumentSymbolCapabilities ();}
912 public RenameClientCapabilities rename { get; set; default = new RenameClientCapabilities (); }
916 * Capabilities of the client/editor.
918 public class ClientCapabilities : Object {
919 public TextDocumentClientCapabilities textDocument { get; set; default = new TextDocumentClientCapabilities (); }
922 public class InitializeParams : Object {
923 public int processId { get; set; }
924 public string? rootPath { get; set; }
925 public string? rootUri { get; set; }
926 public ClientCapabilities capabilities { get; set; default = new ClientCapabilities (); }
929 public class SignatureInformation : Object, Json.Serializable {
930 public string label { get; set; }
931 public MarkupContent documentation { get; set; }
933 public Gee.List<ParameterInformation> parameters { get; private set; default = new Gee.LinkedList<ParameterInformation> (); }
935 public new void Json.Serializable.set_property (ParamSpec pspec, Value value) {
936 base.set_property (pspec.get_name (), value);
939 public new Value Json.Serializable.get_property (ParamSpec pspec) {
940 Value val = Value(pspec.value_type);
941 base.get_property (pspec.get_name (), ref val);
945 public unowned ParamSpec? find_property (string name) {
946 return this.get_class ().find_property (name);
949 public Json.Node serialize_property (string property_name, Value value, ParamSpec pspec) {
950 if (property_name != "parameters")
951 return default_serialize_property (property_name, value, pspec);
952 var node = new Json.Node (Json.NodeType.ARRAY);
953 node.init_array (new Json.Array ());
954 var array = node.get_array ();
955 foreach (var child in parameters)
956 array.add_element (Json.gobject_serialize (child));
960 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node) {
961 //GLib.debug("deserialise property %s" , property_name);
962 if (property_name != "parameters") {
963 return default_deserialize_property (property_name, out value, pspec, property_node);
965 value = GLib.Value (typeof(Gee.ArrayList));
966 if (property_node.get_node_type () != Json.NodeType.ARRAY) {
967 // GLib.debug ("unexpected property node type for 'arguments' %s", property_node.get_node_type ().to_string ());
970 //GLib.debug("got child length of %d", (int) property_node.get_array ().get_length());
971 var arguments = new Gee.ArrayList<ParameterInformation>();
973 property_node.get_array ().foreach_element ((array, index, element) => {
975 var add= Json.gobject_deserialize ( typeof (ParameterInformation), array.get_element(index)) as ParameterInformation;
981 value.set_object (arguments);
986 public class SignatureHelp : Object, Json.Serializable {
987 public Gee.Collection<SignatureInformation> signatures { get; set; default = new Gee.ArrayList<SignatureInformation> (); }
988 public int activeSignature { get; set; }
989 public int activeParameter { get; set; }
991 public Json.Node serialize_property (string property_name, Value value, ParamSpec pspec) {
992 if (property_name != "signatures")
993 return default_serialize_property (property_name, value, pspec);
995 var node = new Json.Node (Json.NodeType.ARRAY);
996 node.init_array (new Json.Array ());
997 var array = node.get_array ();
998 foreach (var child in signatures)
999 array.add_element (Json.gobject_serialize (child));
1003 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node) {
1004 error ("deserialization not supported");
1008 public class ParameterInformation : Object, Json.Serializable {
1009 public string label { get; set; }
1010 public MarkupContent documentation { get; set; }
1012 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node)
1015 return default_deserialize_property (property_name, out value, pspec, property_node);
1020 public class MarkedString : Object {
1021 public MarkedString(string language, string value)
1023 this.language = language;
1025 GLib.debug("new marked string %s : %s", language, value);
1027 public string language { get; set; }
1028 public string value { get; set; }
1031 public class Hover : Object, Json.Serializable {
1032 public Gee.List<MarkedString> contents { get; set; default = new Gee.ArrayList<MarkedString> (); }
1034 public Range range { get; set; }
1036 public new void Json.Serializable.set_property (ParamSpec pspec, Value value) {
1037 base.set_property (pspec.get_name (), value);
1040 public new Value Json.Serializable.get_property (ParamSpec pspec) {
1041 Value val = Value(pspec.value_type);
1042 base.get_property (pspec.get_name (), ref val);
1046 public unowned ParamSpec? find_property (string name) {
1047 return this.get_class ().find_property (name);
1050 public Json.Node serialize_property (string property_name, Value value, ParamSpec pspec) {
1051 if (property_name != "contents")
1052 return default_serialize_property (property_name, value, pspec);
1053 var node = new Json.Node (Json.NodeType.ARRAY);
1054 node.init_array (new Json.Array ());
1055 var array = node.get_array ();
1056 foreach (var child in contents) {
1057 if (child.language != null)
1058 array.add_element (Json.gobject_serialize (child));
1060 array.add_element (new Json.Node (Json.NodeType.VALUE).init_string (child.value));
1065 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node)
1067 if (property_name == "contents") {
1068 value = GLib.Value (typeof(Gee.ArrayList));
1069 if (property_node.get_node_type () != Json.NodeType.ARRAY) {
1070 warning ("unexpected property node type for 'arguments' %s", property_node.get_node_type ().to_string ());
1073 var contents = new Gee.ArrayList<MarkedString>();
1074 property_node.get_array ().foreach_element ((array, index, element) => {
1075 if (element.get_node_type() != Json.NodeType.OBJECT) {
1076 var str = element.get_string();
1078 contents.add ( new MarkedString( "", str ));
1083 var add = new MarkedString(
1084 element.get_object().get_string_member("language"),
1085 element.get_object().get_string_member("value")
1088 contents.add ( add );
1091 value.set_object (contents);
1095 return default_deserialize_property (property_name, out value, pspec, property_node);
1100 * A textual edit applicable to a text document.
1102 public class TextEdit : Object {
1104 * The range of the text document to be manipulated. To insert
1105 * text into a document create a range where ``start === end``.
1107 public Range range { get; set; }
1110 * The string to be inserted. For delete operations use an
1113 public string newText { get; set; }
1115 public TextEdit (Range range, string new_text = "") {
1117 this.newText = new_text;
1122 * Describes textual changes on a single text document. The text document is
1123 * referred to as a {@link VersionedTextDocumentIdentifier} to allow clients to
1124 * check the text document version before an edit is applied. A
1125 * {@link TextDocumentEdit} describes all changes on a version ``Si`` and after they are
1126 * applied move the document to version ``Si+1``. So the creator of a
1127 * {@link TextDocumentEdit} doesn’t need to sort the array of edits or do any kind
1128 * of ordering. However the edits must be non overlapping.
1130 public class TextDocumentEdit : Object, Json.Serializable {
1132 * The text document to change.
1134 public VersionedTextDocumentIdentifier textDocument { get; set; }
1137 * The edits to be applied.
1139 public Gee.ArrayList<TextEdit> edits { get; set; default = new Gee.ArrayList<TextEdit> (); }
1141 public TextDocumentEdit (VersionedTextDocumentIdentifier text_document) {
1142 this.textDocument = text_document;
1145 public Json.Node serialize_property (string property_name, GLib.Value value, GLib.ParamSpec pspec) {
1146 if (property_name != "edits")
1147 return default_serialize_property (property_name, value, pspec);
1149 var node = new Json.Node (Json.NodeType.ARRAY);
1150 node.init_array (new Json.Array ());
1151 var array = node.get_array ();
1152 foreach (var text_edit in edits) {
1153 array.add_element (Json.gobject_serialize (text_edit));
1158 public bool deserialize_property (string property_name, out GLib.Value value, GLib.ParamSpec pspec, Json.Node property_node) {
1159 error ("deserialization not supported");
1163 public abstract class CommandLike : Object, Json.Serializable {
1165 * The identifier of the actual command handler.
1167 public string command { get; set; }
1170 * Arguments that the command handler should be invoked with.
1172 public Array<Variant>? arguments { get; set; }
1174 public Json.Node serialize_property (string property_name, GLib.Value value, GLib.ParamSpec pspec) {
1175 if (property_name != "arguments" || arguments == null)
1176 return default_serialize_property (property_name, value, pspec);
1178 var array = new Json.Array ();
1179 for (int i = 0; i < arguments.length; i++)
1180 array.add_element (Json.gvariant_serialize (arguments.index (i)));
1182 var node = new Json.Node (Json.NodeType.ARRAY);
1183 node.set_array (array);
1187 public bool deserialize_property (string property_name, out GLib.Value value, GLib.ParamSpec pspec, Json.Node property_node)
1189 if (property_name == "arguments") {
1190 value = GLib.Value (typeof(Array));
1191 if (property_node.get_node_type () != Json.NodeType.ARRAY) {
1192 warning ("unexpected property node type for 'arguments' %s", property_node.get_node_type ().to_string ());
1196 var arguments = new Array<Variant> ();
1198 property_node.get_array ().foreach_element ((array, index, element) => {
1200 arguments.append_val (Json.gvariant_deserialize (element, null));
1202 warning ("argument %u to command could not be deserialized: %s", index, e.message);
1206 value.set_boxed (arguments);
1208 } else if (property_name == "command") {
1209 // workaround for json-glib < 1.5.2 (Ubuntu 20.04 / eOS 6)
1210 if (property_node.get_value_type () != typeof (string)) {
1212 warning ("unexpected property node type for 'commands' %s", property_node.get_node_type ().to_string ());
1216 value = property_node.get_string ();
1219 return default_deserialize_property (property_name, out value, pspec, property_node);
1224 public class ExecuteCommandParams : CommandLike {
1228 * Represents a reference to a command. Provides a title which will be used
1229 * to represent a command in the UI. Commands are identified by a string
1230 * identifier. The recommended way to handle commands is to implement their
1231 * execution on the server side if the client and server provides the
1232 * corresponding capabilities. Alternatively the tool extension code could
1233 * handle the command. The protocol currently doesn’t specify a set of
1234 * well-known commands.
1236 public class Command : CommandLike {
1238 * The title of the command, like `save`.
1240 public string title { get; set; }
1244 * A code lens represents a command that should be shown along with
1245 * source text, like the number of references, a way to run tests, etc.
1247 * A code lens is _unresolved_ when no command is associated to it. For
1248 * performance reasons the creation of a code lens and resolving should be done
1251 public class CodeLens : Object {
1253 * The range in which this code lens is valid. Should only span a single
1256 public Range range { get; set; }
1259 * The command this code lens represents.
1261 public Command? command { get; set; }
1264 public class DocumentRangeFormattingParams : Object {
1265 public TextDocumentIdentifier textDocument { get; set; }
1266 public Range? range { get; set; }
1267 public FormattingOptions options { get; set; }
1270 public class FormattingOptions : Object {
1271 public uint tabSize { get; set; }
1272 public bool insertSpaces { get; set; }
1273 public bool trimTrailingWhitespace { get; set; }
1274 public bool insertFinalNewline { get; set; }
1275 public bool trimFinalNewlines { get; set; }
1278 public class CodeActionParams : Object {
1279 public TextDocumentIdentifier textDocument { get; set; }
1280 public Range range { get; set; }
1281 public CodeActionContext context { get; set; }
1285 public class CodeActionContext : Object, Json.Serializable {
1286 public Gee.List<Diagnostic> diagnostics { get; set; default = new Gee.ArrayList<Diagnostic> (); }
1287 public string[]? only { get; set; }
1289 public bool deserialize_property (string property_name, out Value value, ParamSpec pspec, Json.Node property_node) {
1290 if (property_name != "diagnostics")
1291 return default_deserialize_property (property_name, out value, pspec, property_node);
1292 var diags = new Gee.ArrayList<Diagnostic> ();
1293 property_node.get_array ().foreach_element ((array, index, element) => {
1295 diags.add (Vls.Util.parse_variant<Diagnostic> (Json.gvariant_deserialize (element, null)));
1297 warning ("argument %u could not be deserialized: %s", index, e.message);
1307 public class Diagnostics : Object, Json.Serializable
1309 public Diagnostics()
1311 this.diagnostics = new Gee.ArrayList<Diagnostic>((a,b) => {
1316 public string uri { get; set; }
1318 public int version { get; set; default = 0; }
1319 public Gee.ArrayList<Diagnostic>? diagnostics { get; set; }
1321 public string filename {
1323 return File.new_for_uri (this.uri).get_path();
1328 public bool deserialize_property (string property_name, out GLib.Value val, GLib.ParamSpec pspec, Json.Node property_node) {
1329 if (property_name == "diagnostics") {
1330 val = GLib.Value (typeof(Gee.ArrayList));
1331 var diags = new Gee.ArrayList<Diagnostic> ((a,b) => {
1334 if (property_node.get_node_type () != Json.NodeType.ARRAY) {
1335 val.set_object(diags);
1336 warning ("unexpected property node type for 'arguments' %s", property_node.get_node_type ().to_string ());
1342 property_node.get_array ().foreach_element ((array, index, element) => {
1344 diags.add (Json.gobject_deserialize (typeof (Lsp.Diagnostic), element) as Diagnostic );
1346 //warning ("argument %u to command could not be deserialized: %s", index, e.message);
1349 val.set_object(diags);
1354 return default_deserialize_property (property_name, out val, pspec, property_node);
1362 public class CodeAction : Object, Json.Serializable {
1363 public string title { get; set; }
1364 public string? kind { get; set; }
1365 public Gee.Collection<Diagnostic>? diagnostics { get; set; }
1366 public bool isPreferred { get; set; }
1367 public WorkspaceEdit? edit { get; set; }
1368 public Command? command { get; set; }
1369 public Object? data { get; set; }
1371 protected void add_diagnostic (Diagnostic diag) {
1372 if (diagnostics == null)
1373 diagnostics = new Gee.ArrayList<Diagnostic> ();
1374 diagnostics.add (diag);
1377 public override Json.Node serialize_property (string property_name, GLib.Value value, GLib.ParamSpec pspec) {
1378 if (property_name != "diagnostics")
1379 return default_serialize_property (property_name, value, pspec);
1381 var array = new Json.Array ();
1382 if (diagnostics != null)
1383 foreach (var text_edit in diagnostics)
1384 array.add_element (Json.gobject_serialize (text_edit));
1385 return new Json.Node.alloc ().init_array (array);
1389 public class WorkspaceEdit : Object, Json.Serializable {
1390 public Gee.List<TextDocumentEdit>? documentChanges { get; set; }
1392 public Json.Node serialize_property (string property_name, GLib.Value value, GLib.ParamSpec pspec) {
1393 if (property_name != "documentChanges")
1394 return default_serialize_property (property_name, value, pspec);
1396 var node = new Json.Node (Json.NodeType.ARRAY);
1397 node.init_array (new Json.Array ());
1398 if (documentChanges != null) {
1399 var array = node.get_array ();
1400 foreach (var text_edit in documentChanges) {
1401 array.add_element (Json.gobject_serialize (text_edit));
1409 public enum SymbolTags {
1414 public class CallHierarchyItem : Object, Json.Serializable {
1415 public string name { get; set; }
1416 public SymbolKind kind { get; set; }
1417 public SymbolTags tags { get; set; }
1418 public string? detail { get; set; }
1419 public string uri { get; set; }
1420 public Range range { get; set; }
1421 public Range selectionRange { get; set; }
1423 public override Json.Node serialize_property (string property_name, GLib.Value value, GLib.ParamSpec pspec) {
1424 if (property_name != "tags")
1425 return default_serialize_property (property_name, value, pspec);
1426 var array = new Json.Array ();
1427 if (SymbolTags.DEPRECATED in tags)
1428 array.add_int_element (SymbolTags.DEPRECATED);
1429 return new Json.Node.alloc ().init_array (array);
1432 public CallHierarchyItem.from_symbol (Vala.Symbol symbol) {
1433 this.name = symbol.get_full_name ();
1434 if (symbol is Vala.Method) {
1435 if (symbol.parent_symbol is Vala.Namespace)
1436 this.kind = SymbolKind.Function;
1438 this.kind = SymbolKind.Method;
1439 } else if (symbol is Vala.Signal) {
1440 this.kind = SymbolKind.Event;
1441 } else if (symbol is Vala.Constructor) {
1442 this.kind = SymbolKind.Constructor;
1444 this.kind = SymbolKind.Method;
1446 var version = symbol.get_attribute ("Version");
1447 if (version != null && (version.get_bool ("deprecated") || version.get_string ("deprecated_since") != null)) {
1448 this.tags |= SymbolTags.DEPRECATED;
1450 this.detail = Vls.CodeHelp.get_symbol_representation (null, symbol, null, true);
1451 this.uri = File.new_for_commandline_arg (symbol.source_reference.file.filename).get_uri ();
1452 this.range = new Range.from_sourceref (symbol.source_reference);
1453 if (symbol.comment != null)
1454 this.range = new Range.from_sourceref (symbol.comment.source_reference).union (this.range);
1455 if (symbol is Vala.Subroutine && ((Vala.Subroutine)symbol).body != null)
1456 this.range = new Range.from_sourceref (((Vala.Subroutine)symbol).body.source_reference).union (this.range);
1457 this.selectionRange = new Range.from_sourceref (symbol.source_reference);
1462 public class CallHierarchyIncomingCall : Json.Serializable, Object {
1464 * The method that calls the query method.
1466 public CallHierarchyItem from { get; set; }
1469 * The ranges at which the query method is called by `from`.
1471 public Gee.ArrayList<Range> fromRanges { get; set; default = new Gee.ArrayList<Range> (); }
1473 public override Json.Node serialize_property (string property_name, GLib.Value value, GLib.ParamSpec pspec) {
1474 if (property_name == "from")
1475 return default_serialize_property (property_name, value, pspec);
1476 var array = new Json.Array ();
1477 foreach (var range in fromRanges)
1478 array.add_element (Json.gobject_serialize (range));
1479 return new Json.Node.alloc ().init_array (array);
1483 public class CallHierarchyOutgoingCall : Json.Serializable, Object {
1485 * The method that the query method calls.
1487 public CallHierarchyItem to { get; set; }
1490 * The ranges at which the method is called by the query method.
1492 public Gee.ArrayList<Range> fromRanges { get; set; default = new Gee.ArrayList<Range> (); }
1494 public override Json.Node serialize_property (string property_name, GLib.Value value, GLib.ParamSpec pspec) {
1495 if (property_name == "to")
1496 return default_serialize_property (property_name, value, pspec);
1497 var array = new Json.Array ();
1498 foreach (var range in fromRanges)
1499 array.add_element (Json.gobject_serialize (range));
1500 return new Json.Node.alloc ().init_array (array);
1504 public class InlayHintParams : Json.Serializable, Object {
1505 public TextDocumentIdentifier textDocument { get; set; }
1506 public Range range { get; set; }
1509 public enum InlayHintKind {
1515 public class InlayHint : Object {
1516 public Position position { get; set; }
1517 public string label { get; set; }
1518 public InlayHintKind kind { get; set; }
1519 public string? tooltip { get; set; }
1520 public bool paddingLeft { get; set; }
1521 public bool paddingRight { get; set; }
1524 public class TypeHierarchyItem : Object, Json.Serializable {
1526 * The name of this item
1528 public string name { get; set; }
1531 * The kind of this item
1533 public SymbolKind kind { get; set; }
1536 * Tags for this item
1538 public SymbolTags tags { get; set; }
1541 * More detail for this item, e.g. the signature of a function.
1543 public string? detail { get; set; }
1546 * The resource identifier of this item.
1548 public string uri { get; set; }
1551 * The range enclosing this symbol not including leading/trailing
1552 * whitespace, but everything else, e.g. comments and code.
1554 public Range range { get; set; }
1557 * The range that should be selected and revealed when this symbol
1558 * is being picked, e.g. the name of a function. Must be contained
1559 * by {@link TypeHierarchyItem.range}
1561 public Range selectionRange { get; set; }
1563 private TypeHierarchyItem () {}
1565 public TypeHierarchyItem.from_symbol (Vala.TypeSymbol symbol) {
1566 this.name = symbol.get_full_name ();
1567 if (symbol is Vala.Class)
1568 this.kind = SymbolKind.Class;
1569 else if (symbol is Vala.Delegate)
1570 this.kind = SymbolKind.Interface;
1571 else if (symbol is Vala.Enum)
1572 this.kind = SymbolKind.Enum;
1573 else if (symbol is Vala.ErrorCode)
1574 this.kind = SymbolKind.EnumMember;
1575 else if (symbol is Vala.ErrorDomain)
1576 this.kind = SymbolKind.Enum;
1577 else if (symbol is Vala.Interface)
1578 this.kind = SymbolKind.Interface;
1579 else if (symbol is Vala.Struct)
1580 this.kind = SymbolKind.Struct;
1581 else if (symbol is Vala.TypeParameter)
1582 this.kind = SymbolKind.TypeParameter;
1584 this.kind = SymbolKind.Module;
1585 warning ("unexpected symbol kind in type hierarchy: `%s'", symbol.type_name);
1588 var version = symbol.get_attribute ("Version");
1589 if (version != null && (version.get_bool ("deprecated") || version.get_string ("deprecated_since") != null)) {
1590 this.tags |= SymbolTags.DEPRECATED;
1592 this.detail = Vls.CodeHelp.get_symbol_representation (null, symbol, null, true);
1593 this.uri = File.new_for_commandline_arg (symbol.source_reference.file.filename).get_uri ();
1594 this.range = new Range.from_sourceref (symbol.source_reference);
1595 this.selectionRange = this.range;
1597 // widen range to include all members
1598 if (symbol is Vala.ObjectTypeSymbol) {
1599 foreach (var member in ((Vala.ObjectTypeSymbol)symbol).get_members ()) {
1600 if (member.source_reference != null)
1601 this.range = this.range.union (new Range.from_sourceref (member.source_reference));
1603 } else if (symbol is Vala.Enum) {
1604 foreach (var member in ((Vala.Enum)symbol).get_values ()) {
1605 if (member.source_reference != null)
1606 this.range = this.range.union (new Range.from_sourceref (member.source_reference));
1608 foreach (var method in ((Vala.Enum)symbol).get_methods ()) {
1609 if (method.source_reference != null)
1610 this.range = this.range.union (new Range.from_sourceref (method.source_reference));
1612 } else if (symbol is Vala.ErrorDomain) {
1613 foreach (var member in ((Vala.ErrorDomain)symbol).get_codes ()) {
1614 if (member.source_reference != null)
1615 this.range = this.range.union (new Range.from_sourceref (member.source_reference));
1617 foreach (var method in ((Vala.ErrorDomain)symbol).get_methods ()) {
1618 if (method.source_reference != null)
1619 this.range = this.range.union (new Range.from_sourceref (method.source_reference));
1621 } else if (symbol is Vala.Struct) {
1622 foreach (var field in ((Vala.Struct)symbol).get_fields ()) {
1623 if (field.source_reference != null)
1624 this.range = this.range.union (new Range.from_sourceref (field.source_reference));
1626 foreach (var method in ((Vala.Struct)symbol).get_methods ()) {
1627 if (method.source_reference != null)
1628 this.range = this.range.union (new Range.from_sourceref (method.source_reference));