Line data    Source code 
       1             : // GENERATED CODE - DO NOT MODIFY BY HAND
       2             : 
       3             : part of 'push_page_action.dart';
       4             : 
       5             : // **************************************************************************
       6             : // JsonSerializableGenerator
       7             : // **************************************************************************
       8             : 
       9           0 : _$_PushPageAction _$$_PushPageActionFromJson(Map<String, dynamic> json) =>
      10           0 :     _$_PushPageAction(
      11           0 :       const PageDataConverter().fromJson(json['page'] as Map<String, Object?>),
      12             :     );
      13             : 
      14           0 : Map<String, dynamic> _$$_PushPageActionToJson(_$_PushPageAction instance) =>
      15           0 :     <String, dynamic>{
      16           0 :       'page': const PageDataConverter().toJson(instance.page),
      17             :     };
       |