ada_language_server/doc/metaModel.patch.json

{
   "requests": [
      {
         "method": "$/alsCheckSyntax",
         "result": {
            "kind": "reference",
            "name": "AlsCheckSyntaxResult"
         },
         "params": {
            "kind": "reference",
            "name": "AlsCheckSyntaxParams"
         },
         "documentation": "query if a given input has a valid syntax according to a set of rules."
      }
   ],
   "enumerations": [
      {
         "name": "AlsDisplayMethodAncestryOnNavigationPolicy",
         "type": {
            "kind": "base",
            "name": "string"
         },
         "values": [
            {
               "name": "Never",
               "value": "Never"
            },
            {
               "name": "Usage_And_Abstract_Only",
               "value": "Usage_And_Abstract_Only"
            },
            {
               "name": "Definition_Only",
               "value": "Definition_Only"
            },
            {
               "name": "Always",
               "value": "Always"
            }
         ]
      },
      {
         "name": "AlsReferenceKind",
         "type": {
            "kind": "base",
            "name": "string"
         },
         "values": [
            {
               "name": "reference",
               "value": "reference"
            },
            {
               "name": "access",
               "value": "access"
            },
            {
               "name": "write",
               "value": "write"
            },
            {
               "name": "call",
               "value": "call"
            },
            {
               "name": "dispatching_call",
               "value": "dispatching call"
            },
            {
               "name": "parent",
               "value": "parent"
            },
            {
               "name": "child",
               "value": "child"
            },
            {
               "name": "overriding",
               "value": "overriding"
            }
         ]
      },
      {
         "name": "AlsSearchKind",
         "type": {
            "kind": "base",
            "name": "integer"
         },
         "values": [
            {
               "name": "Full_Text",
               "value": 1
            },
            {
               "name": "Regexp",
               "value": 2
            },
            {
               "name": "Fuzzy",
               "value": 3
            },
            {
               "name": "Approximate",
               "value": 4
            },
            {
               "name": "Start_Word_Text",
               "value": 5
            }
         ]
      },
      {
         "name": "AlsVisibility",
         "type": {
            "kind": "base",
            "name": "integer"
         },
         "values": [
            {
               "name": "Als_Public",
               "value": 1
            },
            {
               "name": "Als_Protected",
               "value": 2
            },
            {
               "name": "Als_Private",
               "value": 3
            }
         ]
      }
   ],
   "structures": [
      {
	 "name": "FormattingOptions",
         "properties": [
         {
            "name": "tabSize",
            "type": {
               "kind": "base",
               "name": "uinteger"
            },
            "documentation": "Size of a tab in spaces."
	},
	{
            "name": "insertSpaces",
            "type": {
               "kind": "base",
               "name": "boolean"
            },
            "documentation": "Prefer spaces over tabs."
	},
	{
            "name": "trimTrailingWhitespace",
            "type": {
               "kind": "base",
               "name": "boolean"
            },
            "optional": true,
            "documentation": "Trim trailing whitespace on a line.\n\n@since 3.15.0",
            "since": "3.15.0"
	},
	{
            "name": "insertFinalNewline",
            "type": {
               "kind": "base",
               "name": "boolean"
            },
            "optional": true,
            "documentation": "Insert a newline character at the end of the file if one does not exist.\n\n@since 3.15.0",
            "since": "3.15.0"
         },
         {
            "name": "trimFinalNewlines",
            "type": {
               "kind": "base",
               "name": "boolean"
            },
            "optional": true,
            "documentation": "Trim all newlines after the final newline at the end of the file.\n\n@since 3.15.0",
            "since": "3.15.0"
         },
         {
            "name": "gnatFormatMaxSize",
            "type": {
               "kind": "base",
               "name": "uinteger"
            },
            "optional": true,
            "documentation": "Maximum line width for gnatformat"
         },
         {
            "name": "gnatFormatContinuationLineIndent",
            "type": {
               "kind": "base",
               "name": "uinteger"
            },
            "optional": true,
            "documentation": "Continuation Line Indentation size (defaults to indentation-1) for gnatformat"
         }
         ],
         "documentation": "Value-object describing what options formatting should use."
      },
      {
         "name": "AlsCheckSyntaxParams",
         "properties": [
            {
               "name": "input",
               "type": {
                  "kind": "base",
                  "name": "string"
               },
               "documentation": "Text to check syntax."
            },
            {
               "name": "rules",
               "type": {
                  "kind": "array",
                  "element": {
                     "kind": "base",
                     "name": "string"
                  }
               },
               "documentation": "Libadalang `Ada_Node_Kind_Type` values."
            }
         ]
      },
      {
         "name": "AlsCheckSyntaxResult",
         "properties": [
            {
               "name": "diagnostic",
               "type": {
                  "kind": "base",
                  "name": "string"
               },
               "optional": true,
               "documentation": "Diagnostic from check syntax."
            }
         ]
      },
      {
         "name": "DeclarationParams",
         "properties": [
            {
               "name": "alsDisplayMethodAncestryOnNavigation",
               "type": {
                  "kind": "reference",
                  "name": "AlsDisplayMethodAncestryOnNavigationPolicy"
               },
               "optional": true,
               "documentation": "whether or now we should list overriding/overridden subprograms."
            }
         ]
      },
      {
         "name": "DefinitionParams",
         "properties": [
            {
               "name": "alsDisplayMethodAncestryOnNavigation",
               "type": {
                  "kind": "reference",
                  "name": "AlsDisplayMethodAncestryOnNavigationPolicy"
               },
               "optional": true,
               "documentation": "whether or now we should list overriding/overridden subprograms."
            }
         ]
      },
      {
         "name": "ImplementationParams",
         "properties": [
            {
               "name": "alsDisplayMethodAncestryOnNavigation",
               "type": {
                  "kind": "reference",
                  "name": "AlsDisplayMethodAncestryOnNavigationPolicy"
               },
               "optional": true,
               "documentation": "whether or now we should list overriding/overridden subprograms."
            }
         ]
      },
      {
         "name": "DocumentSymbol",
         "properties": [
            {
               "name": "alsIsDeclaration",
               "type": {
                  "kind": "base",
                  "name": "boolean"
               },
               "optional": true
            },
            {
               "name": "alsIsAdaProcedure",
               "type": {
                  "kind": "base",
                  "name": "boolean"
               },
               "optional": true
            },
            {
               "name": "alsVisibility",
               "type": {
                  "kind": "reference",
                  "name": "AlsVisibility"
               },
               "optional": true
            }
         ]
      },
      {
         "name": "DocumentSymbolParams",
         "properties": [
            {
               "name": "query",
               "type": {
                  "kind": "base",
                  "name": "string"
               },
               "optional": true,
               "documentation": "A query string to filter symbols by. Clients may send an empty\nstring here to request all symbols."
            },
            {
               "name": "case_sensitive",
               "type": {
                  "kind": "base",
                  "name": "boolean"
               },
               "optional": true,
               "documentation": "To take letters' case into account."
            },
            {
               "name": "whole_word",
               "type": {
                  "kind": "base",
                  "name": "boolean"
               },
               "optional": true,
               "documentation": "To match the whole word instead of a part of it."
            },
            {
               "name": "negate",
               "type": {
                  "kind": "base",
                  "name": "boolean"
               },
               "optional": true,
               "documentation": "To invert matching."
            },
            {
               "name": "kind",
               "type": {
                  "kind": "reference",
                  "name": "AlsSearchKind"
               },
               "optional": true
            }
         ]
      },
      {
         "name": "CallHierarchyOutgoingCall",
         "properties": [
            {
               "name": "dispatching_calls",
               "type": {
                  "kind": "array",
                  "element": {
                     "kind": "base",
                     "name": "boolean"
                  }
               },
               "optional": true
            }
         ]
      },
      {
         "name": "CallHierarchyIncomingCall",
         "properties": [
            {
               "name": "dispatching_calls",
               "type": {
                  "kind": "array",
                  "element": {
                     "kind": "base",
                     "name": "boolean"
                  }
               },
               "optional": true
            }
         ]
      },
      {
         "name": "Location",
         "properties": [
            {
               "name": "alsKind",
               "type": {
                  "kind": "array",
                  "element": {
                     "kind": "reference",
                     "name": "AlsReferenceKind"
                  }
               },
               "optional": true
            }
         ]
      },
      {
         "name": "ServerCapabilities",
         "properties": [
            {
               "name": "alsReferenceKinds",
               "type": {
                  "kind": "array",
                  "element": {
                     "kind": "reference",
                     "name": "AlsReferenceKind"
                  }
               },
               "optional": true,
               "documentation": "List of reference kind supported by the server."
            }
         ]
      },
      {
         "name": "WorkspaceSymbolParams",
         "properties": [
            {
               "name": "case_sensitive",
               "type": {
                  "kind": "base",
                  "name": "boolean"
               },
               "optional": true,
               "documentation": "To take letters' case into account."
            },
            {
               "name": "whole_word",
               "type": {
                  "kind": "base",
                  "name": "boolean"
               },
               "optional": true,
               "documentation": "To match the whole word instead of a part of it."
            },
            {
               "name": "negate",
               "type": {
                  "kind": "base",
                  "name": "boolean"
               },
               "optional": true,
               "documentation": "To invert matching."
            },
            {
               "name": "kind",
               "type": {
                  "kind": "reference",
                  "name": "AlsSearchKind"
               },
               "optional": true
            }
         ]
      }
   ]
}