disposeSession method

void disposeSession(
  1. String session
)

Implementation

void disposeSession(String session) {
  _parsers.removeWhere((key, _) => key.$1 == session);
  _parserInstanceIds.removeWhere((key, _) => key.$1 == session);
  _parserCreationCounts.remove(session);
  _trees.remove(session);
  _inputs.remove(session);
  _revisions.remove(session);
  _sessionGrammars.remove(session);
  _spanCaches.remove(session);
}