copyWith method

ScrollMetrics copyWith ({double minScrollExtent, double maxScrollExtent, double pixels, double viewportDimension, AxisDirection axisDirection })

Creates a ScrollMetrics that has the same properties as this object.

This is useful if this object is mutable, but you want to get a snapshot of the current state.

The named arguments allow the values to be adjusted in the process. This is useful to examine hypothetical situations, for example "would applying this delta unmodified take the position outOfRange?".

Implementation 

ScrollMetrics copyWith({
  double minScrollExtent,
  double maxScrollExtent,
  double pixels,
  double viewportDimension,
  AxisDirection axisDirection,
}) {
  return FixedScrollMetrics(
    minScrollExtent: minScrollExtent ?? this.minScrollExtent,
    maxScrollExtent: maxScrollExtent ?? this.maxScrollExtent,
    pixels: pixels ?? this.pixels,
    viewportDimension: viewportDimension ?? this.viewportDimension,
    axisDirection: axisDirection ?? this.axisDirection,
  );
}