pump method

Future<void> pump()

Awaits for providers to rebuild/be disposed and for listeners to be notified.

Implementation

Future<void> pump() async {
  final a = scheduler.pendingFuture;
  final b = _parent?.scheduler.pendingFuture;

  await Future.wait<void>([
    if (a != null) a,
    if (b != null) b,
  ]);
}