close method

void close(
  1. String uri
)

Closes uri; the server clears its diagnostics.

Implementation

void close(String uri) {
  _versions.remove(uri);
  _client.didClose(uri);
}