notifyTextDocumentDidOpen method

void notifyTextDocumentDidOpen({
  1. required String path,
  2. required AffogatoDocument document,
  3. required String language,
})

Implementation

void notifyTextDocumentDidOpen({
  required String path,
  required AffogatoDocument document,
  required String language,
}) {
  send({
    "jsonrpc": "2.0",
    "method": "textDocument/didOpen",
    "params": {
      "textDocument": {
        "uri": "vfs://$path",
        "languageId": language,
        "version": document.versionNumber,
        "text": document.content,
      }
    }
  });
}