スクロール可能な領域内でヘッダーが重なったり伸縮したりする効果を作るのはどれか。

Providerパッケージにおいて、値の変化を監視してウィジェットを再構築させるクラスはどれか。