From 532df61cdf95dd8962d9bf18db23478b9e90aac3 Mon Sep 17 00:00:00 2001 From: Vadim Date: Thu, 22 Jun 2023 22:08:05 +0200 Subject: [PATCH] ignore currently unused getters & setters --- lib/data/shared_prefs_service.dart | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/lib/data/shared_prefs_service.dart b/lib/data/shared_prefs_service.dart index be6d9d3..e90df0e 100644 --- a/lib/data/shared_prefs_service.dart +++ b/lib/data/shared_prefs_service.dart @@ -134,9 +134,9 @@ class UserPreferencesService { ); set film(Film value) => _sharedPreferences.setString(filmKey, value.name); - String get selectedEquipmentProfileId => ''; - set selectedEquipmentProfileId(String id) {} + String get selectedEquipmentProfileId => ''; // coverage:ignore-line + set selectedEquipmentProfileId(String id) {} // coverage:ignore-line - List get equipmentProfiles => []; - set equipmentProfiles(List profiles) {} + List get equipmentProfiles => []; // coverage:ignore-line + set equipmentProfiles(List profiles) {} // coverage:ignore-line }