mhoennigandClaude Fable 5
a918c75286
Jeder nötige Knoten zieht seine :#…-Ziele samt Realisierung in die
nötige Menge; gemeinsam Gebrauchtes zählt über die Vereinigung nur
einmal. Verfahren gewählt und benannt (D34): erschöpfende Suche, aber
nur über die GEKOPPELTEN Gruppen (Teilbaum enthält Abhängigkeiten oder
wird gebraucht) — ungekoppelte wählen lokal wie bisher, ohne
Abhängigkeiten bleibt es bei genau einer Auswertung zum alten Preis.
Lexikografischer Odometer, strikt < : bei Gleichstand die erste
Alternative. Oberhalb des Suchlimits (20 000) gierig mit zeilenloser
Warnung cheapApprox statt stillschweigender Pseudo-Optimalität.
Abhängigkeiten ziehen auch optionale und nicht gewählte Ziele (ohne
deren Vorfahren), verworfene nie. Neue API computeCheapPlan {set,exact};
markCheapest entfällt. 8 neue Tests (tests/closure.test.js).
Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>
73 lines
3.9 KiB
JavaScript
73 lines
3.9 KiB
JavaScript
/* Vereinheitlichtes Warnungs-Modell.
|
|
Producer (Renderer, künftig auch Parser) liefern strukturierte Objekte
|
|
{ type, line, ...data }
|
|
statt fertig formatierter Strings — so bleiben Typ und Zeilennummer
|
|
maschinenlesbar (sortierbar, filterbar, testbar). Die i18n-/HTML-Aufbereitung
|
|
passiert an genau einer Stelle: formatWarning(). Vgl. SPEC §3 (gemischte
|
|
Gates) und TASKS Phase 2 (unbekannte Statuszeichen).
|
|
|
|
Bekannte Typen:
|
|
- mixedGate { line, label } — Geschwister mit gemischtem Gate (SPEC §3)
|
|
- unknownStatus { line, code } — unbekanntes Statuszeichen (Phase 2)
|
|
- xorConflict { line, label } — weitere realisierte Alternative in einer
|
|
`=`-Gruppe (SPEC §3/D35); je Zeile eine
|
|
Warnung, damit sie dorthin zeigt
|
|
- duplicateId { line, id, firstLine } — Knoten-ID doppelt vergeben
|
|
(SPEC §1/D36); gemeldet an der späteren
|
|
Zeile, die erste wird genannt
|
|
- unknownDep { line, id } — Abhängigkeit auf eine ID ohne Knoten
|
|
(SPEC §1/D37); Zyklen sind dagegen
|
|
zulässig und warnen nie
|
|
- unknownDesc { line, id } — Beschreibungsblock für eine ID ohne
|
|
Knoten (SPEC §11/D40)
|
|
- descStray { line } — Beschreibungszeile ohne Bezug: `"`-Zeile
|
|
ohne Knoten davor bzw. Zeile im
|
|
Beschreibungsteil ohne #id-Block; meldet
|
|
auch die von einem versehentlichen
|
|
`---` verschluckten Knotenzeilen
|
|
- cheapApprox { } — günstigster Pfad nur gierig geschätzt:
|
|
zu viele gekoppelte Gruppen für die
|
|
exakte Suche (D42); zeilenlos
|
|
- sourceLoad { url, error } — ?sourceUrl= nicht ladbar (D23); ohne
|
|
Zeilennummer, erscheint dadurch zuoberst
|
|
- padRateLimit { seconds } — zu früh nachgeladen; Werkbaum hat gar nicht
|
|
erst geholt, um Etherpads Grenze nicht
|
|
auszulösen (D31)
|
|
- sourceTimeout { url, seconds } — Abruf abgebrochen, Gegenseite zu langsam
|
|
(D31). Eigener Typ, weil `sourceLoad` auf
|
|
CORS zeigt — bei einem Zeitablauf schickt
|
|
das den Leser auf die falsche Fährte */
|
|
|
|
import { esc } from './render.js';
|
|
|
|
/* Strukturierte Warnung -> lokalisierter Anzeigetext (HTML-escaped Daten).
|
|
`t` ist die i18n-Funktion (key, vars) -> String. */
|
|
export function formatWarning(w, t){
|
|
switch(w.type){
|
|
case 'mixedGate':
|
|
return t('mixedWarn', {line: w.line, label: esc(w.label)});
|
|
case 'unknownStatus':
|
|
return t('unknownStatusWarn', {line: w.line, code: esc(w.code)});
|
|
case 'xorConflict':
|
|
return t('xorConflictWarn', {line: w.line, label: esc(w.label)});
|
|
case 'duplicateId':
|
|
return t('duplicateIdWarn', {line: w.line, id: esc(w.id), firstLine: w.firstLine});
|
|
case 'unknownDep':
|
|
return t('unknownDepWarn', {line: w.line, id: esc(w.id)});
|
|
case 'unknownDesc':
|
|
return t('unknownDescWarn', {line: w.line, id: esc(w.id)});
|
|
case 'descStray':
|
|
return t('descStrayWarn', {line: w.line});
|
|
case 'cheapApprox':
|
|
return t('cheapApproxWarn');
|
|
case 'sourceLoad':
|
|
return t('sourceLoadWarn', {url: esc(w.url), error: esc(w.error)});
|
|
case 'padRateLimit':
|
|
return t('padRateLimitWarn', {seconds: w.seconds});
|
|
case 'sourceTimeout':
|
|
return t('sourceTimeoutWarn', {url: esc(w.url), seconds: w.seconds});
|
|
default:
|
|
return `${esc(String(w.type))} (${w.line ?? '?'})`;
|
|
}
|
|
}
|