2022-12-08 16:39:13 +01:00
|
|
|
// GENERATED CODE - DO NOT MODIFY BY HAND
|
|
|
|
|
|
|
|
part of 'splash.dart';
|
|
|
|
|
2022-12-16 16:01:04 +01:00
|
|
|
// **************************************************************************
|
|
|
|
// NpLogGenerator
|
|
|
|
// **************************************************************************
|
|
|
|
|
|
|
|
extension _$_SplashStateNpLog on _SplashState {
|
|
|
|
// ignore: unused_element
|
2022-12-20 17:49:14 +01:00
|
|
|
Logger get _log => log;
|
|
|
|
|
|
|
|
static final log = Logger("widget.splash._SplashState");
|
2022-12-16 16:01:04 +01:00
|
|
|
}
|
|
|
|
|
2022-12-08 16:39:13 +01:00
|
|
|
// **************************************************************************
|
|
|
|
// ToStringGenerator
|
|
|
|
// **************************************************************************
|
|
|
|
|
|
|
|
extension _$_UpgradeStateToString on _UpgradeState {
|
|
|
|
String _$toString() {
|
|
|
|
// ignore: unnecessary_string_interpolations
|
|
|
|
return "_UpgradeState {text: $text, current: $current, count: $count}";
|
|
|
|
}
|
|
|
|
}
|