ensureOpen method

void ensureOpen(
  1. String path,
  2. String content,
  3. String languageId
)

Opens path with content if not already tracked (omp's ensureFileOpen): sends textDocument/didOpen with version 1.

Implementation

void ensureOpen(String path, String content, String languageId) {
  final uri = fileToUri(path);
  if (openFiles.containsKey(uri)) return;
  notify('textDocument/didOpen', {
    'textDocument': {
      'uri': uri,
      'languageId': languageId,
      'version': 1,
      'text': content,
    },
  });
  openFiles[uri] = 1;
}