@@ -27,9 +27,9 @@ class CalendarRepository {
2727 required PortalService portalService,
2828 required AppDatabase database,
2929 required AuthRepository authRepository,
30- }) : _portalService = portalService,
31- _database = database,
32- _authRepository = authRepository;
30+ }) : _portalService = portalService,
31+ _database = database,
32+ _authRepository = authRepository;
3333
3434 /// Gets academic calendar events for the given date range.
3535 ///
@@ -41,14 +41,15 @@ class CalendarRepository {
4141 bool refresh = false ,
4242 }) async {
4343 final user = await _database.getUser ();
44- final cached = await (_database.select (_database.calendarEvents)
45- ..where ((e) {
46- // Include events that overlap with the range
47- return e.start.isSmallerOrEqualValue (endDate) &
48- e.end.isGreaterOrEqualValue (startDate);
49- })
50- ..orderBy ([(e) => OrderingTerm .asc (e.start)]))
51- .get ();
44+ final cached =
45+ await (_database.select (_database.calendarEvents)
46+ ..where ((e) {
47+ // Include events that overlap with the range
48+ return e.start.isSmallerOrEqualValue (endDate) &
49+ e.end.isGreaterOrEqualValue (startDate);
50+ })
51+ ..orderBy ([(e) => OrderingTerm .asc (e.start)]))
52+ .get ();
5253
5354 return fetchWithTtl <List <CalendarEvent >>(
5455 // If we have any cached data for this range, pass it to TTL check.
@@ -82,9 +83,12 @@ class CalendarRepository {
8283
8384 for (final dto in dtos) {
8485 final id = dto.id;
85- if (id == null ) continue ; // Recommendation 2: Handle non-nullable portalId
86+ if (id == null )
87+ continue ; // Recommendation 2: Handle non-nullable portalId
8688
87- await _database.into (_database.calendarEvents).insert (
89+ await _database
90+ .into (_database.calendarEvents)
91+ .insert (
8892 CalendarEventsCompanion .insert (
8993 portalId: Value (id),
9094 start: Value (dto.start),
@@ -114,16 +118,17 @@ class CalendarRepository {
114118
115119 // Recommendation 3: Sync by deleting events in the fetched range that
116120 // are no longer present on the portal.
117- await (_database.delete (_database.calendarEvents)
118- ..where ((e) {
119- return e.start.isGreaterOrEqualValue (wideStartDate) &
120- e.end.isSmallerOrEqualValue (wideEndDate) &
121- e.portalId.isNotIn (portalIds);
122- }))
121+ await (_database.delete (_database.calendarEvents)..where ((e) {
122+ return e.start.isGreaterOrEqualValue (wideStartDate) &
123+ e.end.isSmallerOrEqualValue (wideEndDate) &
124+ e.portalId.isNotIn (portalIds);
125+ }))
123126 .go ();
124127
125128 // Update the global fetch timestamp for the calendar
126- await _database.update (_database.users).write (
129+ await _database
130+ .update (_database.users)
131+ .write (
127132 UsersCompanion (calendarFetchedAt: Value (DateTime .now ())),
128133 );
129134 });
0 commit comments