dispose method

void dispose()

Implementation

void dispose() {
  if (_status == FlarkStatus.disposed) return;
  _status = FlarkStatus.disposed;
  _editor?.removeListener(_edited);
  _editor = null;
  _lease?.dispose();
  _lease = null;
  _attachment = null;
  _pendingChanges.clear();
  commandHandler = null;
  resourcePresenter = null;
  if (_attempt?.isCompleted == false) {
    _attempt!.completeError(
      StateError('FlarkController disposed during loading'),
    );
  }
  _publish();
  _listeners.clear();
  unawaited(_changes.close());
}