ScarriffleandClaude Opus 5
b2dda78a7b
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>
67 lines
3.1 KiB
Swift
67 lines
3.1 KiB
Swift
import Foundation
|
|
|
|
/// Liest Daten von einem **bestimmten** Server, ohne den aktiven zu wechseln.
|
|
///
|
|
/// `APIClient` ist fest auf das aktive Profil verdrahtet (Session.shared).
|
|
/// Fuer die Benachrichtigungen muss die App aber jeden eingerichteten Server
|
|
/// abfragen - deshalb dieser parallele Pfad, der baseURL und Token ausdruecklich
|
|
/// bekommt. Modelle und Fehlerbedeutung sind dieselben wie im `APIClient`.
|
|
enum ServerFetch {
|
|
/// Alles, was der Planer je Server braucht: ablaufende Chargen im Horizont,
|
|
/// die Produkte (fuer die Kategoriezuordnung), der Kategorie-Baum und die
|
|
/// faelligen Verleihe.
|
|
struct Snapshot {
|
|
let expiring: [ExpiringItem]
|
|
let products: [Product]
|
|
let categories: [CategoryItem]
|
|
let loans: [Loan]
|
|
}
|
|
|
|
static func snapshot(baseURL: URL, token: String, horizonDays: Int) async -> Snapshot {
|
|
async let expiring: [ExpiringItem] = get(
|
|
"/expiring?days=\(horizonDays)", baseURL: baseURL, token: token)
|
|
async let products: [Product] = get("/products", baseURL: baseURL, token: token)
|
|
async let categories: [CategoryItem] = get("/categories", baseURL: baseURL, token: token)
|
|
// due_in filtert serverseitig auf den Horizont; ueberfaellige sind dabei
|
|
// immer enthalten, und Verleihe ohne Rueckgabedatum nie - sie sind nie
|
|
// faellig, es gibt also nichts zu erinnern.
|
|
async let loans: [Loan] = get(
|
|
"/loans?due_in=\(horizonDays)", baseURL: baseURL, token: token)
|
|
// Einzelne Ausfaelle sollen nicht alles kippen (sonst fehlten z.B. die
|
|
// Kategorien nur, weil die Produktliste langsam war).
|
|
return await Snapshot(
|
|
expiring: (try? await expiring) ?? [],
|
|
products: (try? await products) ?? [],
|
|
categories: (try? await categories) ?? [],
|
|
loans: (try? await loans) ?? []
|
|
)
|
|
}
|
|
|
|
/// Nur den Kategorie-Baum eines bestimmten Servers holen (fuer die
|
|
/// Regel-Bearbeitung in den Benachrichtigungen).
|
|
static func categories(baseURL: URL, token: String) async throws -> [CategoryItem] {
|
|
try await get("/categories", baseURL: baseURL, token: token)
|
|
}
|
|
|
|
private static func get<T: Decodable>(
|
|
_ path: String, baseURL: URL, token: String
|
|
) async throws -> T {
|
|
guard let url = URL(string: "api" + path, relativeTo: baseURL) else {
|
|
throw APIError.notConfigured
|
|
}
|
|
var request = URLRequest(url: url)
|
|
request.httpMethod = "GET"
|
|
// Etwas grosszuegiger als der interaktive Client: Der Abruf laeuft im
|
|
// Hintergrund, ein langsamer Heimserver soll nicht sofort scheitern.
|
|
request.timeoutInterval = 20
|
|
request.setValue("Bearer \(token)", forHTTPHeaderField: "Authorization")
|
|
|
|
let (data, response) = try await URLSession.shared.data(for: request)
|
|
if let http = response as? HTTPURLResponse, !(200..<300).contains(http.statusCode) {
|
|
if http.statusCode == 401 { throw APIError.unauthorized }
|
|
throw APIError.server("Serverfehler (\(http.statusCode))")
|
|
}
|
|
return try JSONDecoder().decode(T.self, from: data)
|
|
}
|
|
}
|