AndroidPullToRefreshControllerCreationParams.fromPlatformPullToRefreshControllerCreationParams constructor

AndroidPullToRefreshControllerCreationParams.fromPlatformPullToRefreshControllerCreationParams(
  1. PlatformPullToRefreshControllerCreationParams params
)

Creates a AndroidPullToRefreshControllerCreationParams instance based on PlatformPullToRefreshControllerCreationParams.

Implementation

factory AndroidPullToRefreshControllerCreationParams.fromPlatformPullToRefreshControllerCreationParams(
    // Recommended placeholder to prevent being broken by platform interface.
    // ignore: avoid_unused_constructor_parameters
    PlatformPullToRefreshControllerCreationParams params) {
  return AndroidPullToRefreshControllerCreationParams(
      onRefresh: params.onRefresh,
      options: params.options,
      settings: params.settings);
}