pump method

void pump()

Triggers a render cycle — rebuilds dirty elements and captures the latest rendered output.

With the Program-based harness the update→render cycle happens automatically inside Program._processMessage after each send. Calling pump is still useful if you want to capture the view without sending an event, or after batching multiple no-pump calls.

Implementation

void pump() {
  _ensureRunning();
  // Force a render by sending a no-op repaint message.
  // Program handles RepaintMsg by calling _forceRender().
  _program!.send(const RepaintMsg());
  _syncView();
  _pumpCount++;
}