dispose method

Future<void> dispose()

Disposes resources.

This method must be called when the loader is no longer needed to release analyzer resources and prevent memory leaks. In long-running server mode, failing to call this can cause memory growth and file handle exhaustion.

Implementation

Future<void> dispose() async {
  await _contextCollection.dispose();
}