Rueckgabe-Erinnerung: ein Meldetag ist eine Meldung
Erinnert an faellige Rueckgaben verliehener Einzelstuecke, auf dem Weg der Ablauf-Meldungen: lokale Benachrichtigung, geplant aus GET /loans?due_in=. Je Server einstellbar - "X vorher", am Rueckgabetag, und taeglich weiter, solange etwas ueberfaellig ist. Ein Verleih ohne Rueckgabedatum ist nie faellig und kommt nicht vor. Zwei Aenderungen am bestehenden Plan waren dafuer noetig, und beide haben denselben Grund: Der Plan muss allein stehen. Der BGAppRefreshTask ist keine Garantie - iOS fuehrt ihn nur aus, wenn es will -, also darf die Erinnerung nicht davon abhaengen, dass die App geoeffnet wird. 1. Alles, was an einem Tag auf einem Server anliegt, wird EINE Meldung. Vorher waren es zwei Arten (bald ablaufend, abgelaufen) mit je eigener Kennung; mit dem Verleih waeren es vier geworden. iOS erlaubt 64 geplante Mitteilungen je App - ein Platz je Tag statt je Art ist die Voraussetzung dafuer, dass der Horizont ueberhaupt hineinpasst. Ein vergessener Verleih hat sonst mit taeglicher Meldung den ganzen Monat belegt und alle MHD-Meldungen verdraengt, weil die weiter in der Zukunft liegen und bei der Kappung zuerst wegfallen. 2. Horizont 30 statt 60 Tage. Er ist damit die Zusage, wie lange die App ungeoeffnet bleiben darf, ohne dass Erinnerungen ausfallen. Ein laengerer Horizont haette nur spaetere Tage eingeplant und dafuer die naechsten verdraengt. Preis: Eine MHD-Regel mit mehr als 30 Tagen Vorlauf greift erst, wenn das Datum in dieses Fenster rueckt. Der LoanPlanner ist wie der ExpiryPlanner netzfrei und ohne iOS-Typen gebaut, damit sich die Entscheidungen ohne Geraet nachrechnen lassen. Gespeicherte Konfigurationen werden mit decodeIfPresent gelesen - eine bestehende Einstellung bleibt nach dem Update gueltig. Co-Authored-By: Claude Opus 5 <noreply@anthropic.com>
This commit is contained in:
Scarriffle
co-authored by
Claude Opus 5
Claude Opus 5
parent
aa72d8342a
commit
b2dda78a7b
@@ -7,7 +7,23 @@ import UserNotifications
|
||||
/// Produkten. Bewusst ohne iOS-Typen, damit sich die Logik ohne Geraet pruefen
|
||||
/// laesst.
|
||||
struct PlannedNotification: Equatable {
|
||||
enum Kind { case upcoming, expired }
|
||||
enum Kind {
|
||||
case upcoming // Charge laeuft bald ab
|
||||
case expired // Charge laeuft heute ab
|
||||
case loanDue // verliehenes Stueck soll zurueck
|
||||
case loanOverdue // Rueckgabe ist ueberfaellig
|
||||
|
||||
/// Was am selben Tag zuerst gemeldet wird. Versaeumtes vor Anstehendem:
|
||||
/// „ist ueberfaellig" ist dringender als „wird faellig".
|
||||
var dringlichkeit: Int {
|
||||
switch self {
|
||||
case .expired: return 0
|
||||
case .loanOverdue: return 1
|
||||
case .upcoming: return 2
|
||||
case .loanDue: return 3
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
let profileID: UUID
|
||||
let serverName: String
|
||||
@@ -111,10 +127,10 @@ enum ExpiryPlanner {
|
||||
profileID: profileID, serverName: serverName, day: tag,
|
||||
kind: .expired, products: namen))
|
||||
}
|
||||
// Nach Datum, dann abgelaufen vor bald-ablaufend (dringender zuerst).
|
||||
// Nach Datum, dann nach Dringlichkeit (abgelaufen vor bald-ablaufend).
|
||||
return result.sorted {
|
||||
$0.day != $1.day ? $0.day < $1.day
|
||||
: ($0.kind == .expired && $1.kind == .upcoming)
|
||||
: $0.kind.dringlichkeit < $1.kind.dringlichkeit
|
||||
}
|
||||
}
|
||||
|
||||
@@ -146,6 +162,100 @@ enum ExpiryPlanner {
|
||||
}
|
||||
}
|
||||
|
||||
/// Rechnet aus den faelligen Verleihen die Rueckgabe-Erinnerungen aus.
|
||||
///
|
||||
/// Gleiche Bauweise wie der `ExpiryPlanner` - netzfrei und ohne iOS-Typen,
|
||||
/// damit sich die Entscheidungen ohne Geraet nachrechnen lassen - und gleiche
|
||||
/// Buendelung: **ein Meldetag ist eine Meldung**, alle an diesem Tag faelligen
|
||||
/// Stuecke stehen darin. Ein Verleih kostet also keinen eigenen Platz in den 60,
|
||||
/// die iOS je App zulaesst; ein Tag kostet einen.
|
||||
enum LoanPlanner {
|
||||
static func plan(
|
||||
profileID: UUID,
|
||||
serverName: String,
|
||||
config: ServerNotificationConfig,
|
||||
loans: [Loan],
|
||||
today: Date,
|
||||
horizonDays: Int,
|
||||
calendar: Calendar = .current
|
||||
) -> [PlannedNotification] {
|
||||
guard config.enabled, config.loansEnabled else { return [] }
|
||||
|
||||
let heute = calendar.startOfDay(for: today)
|
||||
guard let horizont = calendar.date(byAdding: .day, value: horizonDays, to: heute) else {
|
||||
return []
|
||||
}
|
||||
|
||||
// Tag -> Bezeichnungen der betroffenen Stuecke, getrennt nach faellig
|
||||
// und ueberfaellig.
|
||||
var faellig: [Date: [String]] = [:]
|
||||
var ueberfaellig: [Date: [String]] = [:]
|
||||
|
||||
func ergaenze(_ eimer: inout [Date: [String]], _ tag: Date, _ name: String) {
|
||||
var liste = eimer[tag] ?? []
|
||||
if !liste.contains(name) { liste.append(name) }
|
||||
eimer[tag] = liste
|
||||
}
|
||||
|
||||
for loan in loans {
|
||||
// Ohne Rueckgabedatum ist nichts faellig, Zurueckgegebenes ohnehin nicht.
|
||||
guard loan.istOffen, let rohDatum = loan.dueOn,
|
||||
let due = ExpiryPlanner.parseTag(rohDatum, calendar: calendar) else { continue }
|
||||
let dueTag = calendar.startOfDay(for: due)
|
||||
let name = bezeichnung(loan)
|
||||
|
||||
// 1. Vorlauf: „X vorher" - nur wenn dieser Tag noch bevorsteht.
|
||||
if let vorher = calendar.date(byAdding: .day, value: -config.loanLeadDays, to: dueTag),
|
||||
vorher >= heute, vorher <= horizont, vorher < dueTag {
|
||||
ergaenze(&faellig, vorher, name)
|
||||
}
|
||||
|
||||
// 2. Am Rueckgabetag selbst.
|
||||
if config.loanOnDueDate, dueTag >= heute, dueTag <= horizont {
|
||||
ergaenze(&faellig, dueTag, name)
|
||||
}
|
||||
|
||||
// 3. Danach taeglich weiter, solange das Stueck draussen bleibt -
|
||||
// durch den ganzen Horizont. Das kostet nicht pro Verleih einen
|
||||
// Platz, sondern pro Tag einen: Alle an einem Tag ueberfaelligen
|
||||
// Stuecke stehen in derselben Meldung. So kommt die Erinnerung
|
||||
// auch, wenn die App wochenlang nicht geoeffnet wird.
|
||||
if config.loanOverdue {
|
||||
let start = max(calendar.date(byAdding: .day, value: 1, to: dueTag) ?? dueTag, heute)
|
||||
var tag = start
|
||||
while tag <= horizont {
|
||||
ergaenze(&ueberfaellig, tag, name)
|
||||
guard let naechster = calendar.date(byAdding: .day, value: 1, to: tag) else { break }
|
||||
tag = naechster
|
||||
}
|
||||
}
|
||||
}
|
||||
|
||||
var result: [PlannedNotification] = []
|
||||
for (tag, namen) in faellig {
|
||||
result.append(PlannedNotification(
|
||||
profileID: profileID, serverName: serverName, day: tag,
|
||||
kind: .loanDue, products: namen))
|
||||
}
|
||||
for (tag, namen) in ueberfaellig {
|
||||
result.append(PlannedNotification(
|
||||
profileID: profileID, serverName: serverName, day: tag,
|
||||
kind: .loanOverdue, products: namen))
|
||||
}
|
||||
return result.sorted {
|
||||
$0.day != $1.day ? $0.day < $1.day
|
||||
: $0.kind.dringlichkeit < $1.kind.dringlichkeit
|
||||
}
|
||||
}
|
||||
|
||||
/// „Kamera (Markus)" – der Entleiher gehoert dazu, sonst weiss man beim
|
||||
/// Lesen der Meldung nicht, wen man fragen muss.
|
||||
static func bezeichnung(_ loan: Loan) -> String {
|
||||
let stueck = loan.productName ?? loan.itemUid ?? "Einzelstück"
|
||||
return "\(stueck) (\(loan.borrower))"
|
||||
}
|
||||
}
|
||||
|
||||
// MARK: - iOS-Planung
|
||||
|
||||
/// Plant die berechneten Meldungen als lokale Benachrichtigungen ein.
|
||||
@@ -153,9 +263,26 @@ enum ExpiryPlanner {
|
||||
final class NotificationScheduler {
|
||||
static let shared = NotificationScheduler()
|
||||
|
||||
/// Wie weit im Voraus geplant wird und wie viele Meldungen hoechstens - iOS
|
||||
/// erlaubt 64 ausstehende je App, ueber alle Server zusammen.
|
||||
static let horizonDays = 60
|
||||
/// Wie weit im Voraus geplant wird - und wie viele Meldungen hoechstens.
|
||||
///
|
||||
/// iOS erlaubt 64 ausstehende Meldungen je App, ueber alle Server zusammen.
|
||||
/// Ein Platz ist dabei **ein Meldetag je Server**, nicht ein Produkt und
|
||||
/// nicht ein Verleih: Alles, was an einem Tag zu melden ist, steht in
|
||||
/// derselben Meldung.
|
||||
///
|
||||
/// Der Horizont ist bewusst ein Monat. Er ist die Zusage, wie lange die App
|
||||
/// ungeoeffnet bleiben darf, ohne dass Erinnerungen ausfallen - denn der
|
||||
/// Hintergrundlauf (`BGAppRefreshTask`) ist keine Garantie, iOS fuehrt ihn
|
||||
/// nur aus, wenn es will. 30 Tage × mehrere Server passen in die 64; ein
|
||||
/// laengerer Horizont wuerde nur die spaeteren Tage einplanen und dafuer die
|
||||
/// naechsten verdraengen. Was weiter als 30 Tage weg ist, wird beim
|
||||
/// naechsten Start (oder Hintergrundlauf) geplant.
|
||||
///
|
||||
/// Ein Server passt damit mit dem vollen Monat hinein (31 Meldetage, heute
|
||||
/// mitgezaehlt). Wer mehrere Server eingerichtet hat, bekommt die naechsten
|
||||
/// 60 Meldetage - gekappt wird immer am fernen Ende, nie an den naechsten
|
||||
/// Tagen, und bis dahin ist laengst neu geplant.
|
||||
static let horizonDays = 30
|
||||
static let maxScheduled = 60
|
||||
|
||||
private var laeuftGerade = false
|
||||
@@ -207,20 +334,71 @@ final class NotificationScheduler {
|
||||
geplant += ExpiryPlanner.plan(
|
||||
profileID: prof.id, serverName: prof.name, config: config,
|
||||
snapshot: snapshot, today: heute, horizonDays: Self.horizonDays)
|
||||
geplant += LoanPlanner.plan(
|
||||
profileID: prof.id, serverName: prof.name, config: config,
|
||||
loans: snapshot.loans, today: heute, horizonDays: Self.horizonDays)
|
||||
}
|
||||
|
||||
// Nach Datum sortieren und auf das iOS-Limit kappen - die naechsten zuerst.
|
||||
geplant.sort { $0.day != $1.day ? $0.day < $1.day
|
||||
: ($0.kind == .expired && $1.kind == .upcoming) }
|
||||
// Alles, was an einem Tag auf demselben Server zu melden ist, wird EINE
|
||||
// Meldung. Das ist nicht nur weniger Laerm: Ein Platz je Tag statt einer
|
||||
// je Meldungsart ist der Grund, warum der ganze Monat in die 64 passt -
|
||||
// sonst koennten vier Arten den Monat auf eine Woche zusammenschrumpfen.
|
||||
var gruppen: [Gruppenschluessel: [PlannedNotification]] = [:]
|
||||
for meldung in geplant {
|
||||
gruppen[Gruppenschluessel(profileID: meldung.profileID, day: meldung.day),
|
||||
default: []].append(meldung)
|
||||
}
|
||||
// Die naechsten Tage zuerst - gekappt wird also am fernen Ende, und das
|
||||
// wird bis dahin ohnehin neu geplant.
|
||||
let sortiert = gruppen.sorted { $0.key.day < $1.key.day }
|
||||
let center = UNUserNotificationCenter.current()
|
||||
center.removeAllPendingNotificationRequests()
|
||||
for meldung in geplant.prefix(Self.maxScheduled) {
|
||||
center.add(request(for: meldung), withCompletionHandler: nil)
|
||||
for (schluessel, teile) in sortiert.prefix(Self.maxScheduled) {
|
||||
guard let anfrage = request(profileID: schluessel.profileID, day: schluessel.day,
|
||||
teile: teile) else { continue }
|
||||
center.add(anfrage, withCompletionHandler: nil)
|
||||
}
|
||||
}
|
||||
|
||||
private func request(for meldung: PlannedNotification) -> UNNotificationRequest {
|
||||
private struct Gruppenschluessel: Hashable {
|
||||
let profileID: UUID
|
||||
let day: Date
|
||||
}
|
||||
|
||||
/// Eine Meldung fuer einen Tag und Server, zusammengesetzt aus allem, was
|
||||
/// an diesem Tag anliegt: ablaufende Chargen und faellige Rueckgaben.
|
||||
private func request(profileID: UUID, day: Date,
|
||||
teile: [PlannedNotification]) -> UNNotificationRequest? {
|
||||
guard let erstes = teile.first else { return nil }
|
||||
// Dringendes zuerst - es bestimmt auch den Titel.
|
||||
let sortiert = teile.sorted { $0.kind.dringlichkeit < $1.kind.dringlichkeit }
|
||||
let serverName = erstes.serverName
|
||||
let dringend = sortiert.contains { $0.kind == .expired || $0.kind == .loanOverdue }
|
||||
|
||||
let inhalt = UNMutableNotificationContent()
|
||||
inhalt.title = dringend ? "ACHTUNG – \(serverName)" : serverName
|
||||
inhalt.body = sortiert.map(Self.satz).joined(separator: "\n")
|
||||
inhalt.sound = .default
|
||||
inhalt.userInfo = ["profileID": profileID.uuidString]
|
||||
|
||||
let config = NotificationStore.config(for: profileID)
|
||||
var wann = Calendar.current.dateComponents([.year, .month, .day], from: day)
|
||||
wann.hour = config.hour
|
||||
wann.minute = config.minute
|
||||
|
||||
// Ein Tag je Server ist eine Meldung – die Kennung braucht die Art
|
||||
// deshalb nicht mehr (und kann sich so auch nicht selbst ueberschreiben).
|
||||
let tag = "\(wann.year ?? 0)-\(wann.month ?? 0)-\(wann.day ?? 0)"
|
||||
let id = "vorrania.\(profileID.uuidString).\(tag)"
|
||||
|
||||
return UNNotificationRequest(
|
||||
identifier: id,
|
||||
content: inhalt,
|
||||
trigger: UNCalendarNotificationTrigger(dateMatching: wann, repeats: false))
|
||||
}
|
||||
|
||||
/// Ein Satz je Meldungsart, mit hoechstens vier Namen – danach „u. a.".
|
||||
private static func satz(_ meldung: PlannedNotification) -> String {
|
||||
let namen = meldung.products
|
||||
let anzahl = namen.count
|
||||
let liste = namen.prefix(4).joined(separator: ", ")
|
||||
@@ -228,33 +406,21 @@ final class NotificationScheduler {
|
||||
|
||||
switch meldung.kind {
|
||||
case .upcoming:
|
||||
inhalt.title = meldung.serverName
|
||||
inhalt.body = anzahl == 1
|
||||
return anzahl == 1
|
||||
? "\(liste) läuft bald ab."
|
||||
: "\(anzahl) Produkte laufen bald ab: \(liste)\(mehr)"
|
||||
case .expired:
|
||||
inhalt.title = "ACHTUNG – \(meldung.serverName)"
|
||||
inhalt.body = anzahl == 1
|
||||
return anzahl == 1
|
||||
? "\(liste) ist heute abgelaufen."
|
||||
: "\(anzahl) Produkte sind abgelaufen: \(liste)\(mehr)"
|
||||
case .loanDue:
|
||||
return anzahl == 1
|
||||
? "\(liste) sollte zurückkommen."
|
||||
: "\(anzahl) verliehene Stücke sollten zurückkommen: \(liste)\(mehr)"
|
||||
case .loanOverdue:
|
||||
return anzahl == 1
|
||||
? "\(liste) ist überfällig."
|
||||
: "\(anzahl) verliehene Stücke sind überfällig: \(liste)\(mehr)"
|
||||
}
|
||||
inhalt.sound = .default
|
||||
inhalt.userInfo = ["profileID": meldung.profileID.uuidString]
|
||||
|
||||
let config = NotificationStore.config(for: meldung.profileID)
|
||||
var wann = Calendar.current.dateComponents([.year, .month, .day], from: meldung.day)
|
||||
wann.hour = config.hour
|
||||
wann.minute = config.minute
|
||||
|
||||
// Zwei Meldungen am selben Tag (bald + abgelaufen) brauchen verschiedene
|
||||
// Kennungen, sonst ueberschreibt die zweite die erste.
|
||||
let art = meldung.kind == .expired ? "expired" : "upcoming"
|
||||
let tag = "\(wann.year ?? 0)-\(wann.month ?? 0)-\(wann.day ?? 0)"
|
||||
let id = "vorrania.\(meldung.profileID.uuidString).\(tag).\(art)"
|
||||
|
||||
return UNNotificationRequest(
|
||||
identifier: id,
|
||||
content: inhalt,
|
||||
trigger: UNCalendarNotificationTrigger(dateMatching: wann, repeats: false))
|
||||
}
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user