julian.kiedaischandClaude Opus 5.5
34d3788cd2
topologyWriter.ts writes the e-mail server's domain and bean accounts with their mailboxes, and the e-mail client's three folders and address book. The client's account is no bean (FILIUS 2.14 has no kontoListe property): it lives in /konten.txt and is written with the files. A Java error is not copied: older files keep recipients as strings, which Java puts into its typed lists unchecked, and its e-mail window fails on them. The writer writes the AddressEntry Java's own AddressEntry(String) makes of each; a null recipient is left out. The Java oracle now reports that reading next to each such string, and our addressEntry matches it on all 9 in the corpus. The test names the departure (RECIPIENTS_AS_STRINGS) and checks that it touches man-in-the-middle.fls alone. Checked by Java against Java: every corpus file, read and written again, loads with the same e-mail programs as the original, up to that departure. The synthetic topology adds an e-mail server and client with an account, a mailbox, three folders, an address book and recipients of every form. 15 mutation probes, each loaded by Java, were all caught. The writer now writes everything the reader reads of Java's view. Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
68 lines
2.7 KiB
Plaintext
68 lines
2.7 KiB
Plaintext
# Words only this repository may use, in addition to the dashboard's
|
|
# scripts/code_language_allow.txt. Format: `path::word` (bound to one path or
|
|
# path prefix) or a bare word (anywhere). Each entry says why.
|
|
#
|
|
# The .fls format is Java's XMLEncoder output: its class and property names
|
|
# (filius.hardware.knoten.Vermittlungsrechner, GUIKnotenItem, ipAdresse …)
|
|
# are fields of a foreign API and keep their German names — in packages/fls
|
|
# only.
|
|
#
|
|
# Java FILIUS class and package names, cited in the provenance header of each
|
|
# ported file and in comments that point at the Java behaviour they copy.
|
|
vermittlungsrechner
|
|
verbindung
|
|
netzzugangsschicht
|
|
vermittlungsschicht
|
|
# The class name filius.hardware.knoten.Rechner, as the device classes of
|
|
# the .fls format are keyed in packages/fls (topology.ts and its test).
|
|
packages/fls/::rechner
|
|
# Property names of Java FILIUS's DHCPServer (aktiv, untergrenze, obergrenze,
|
|
# gatewayip, dnsserverip) and ModemFirmware (ipAdresse): read from the .fls
|
|
# file and written so by the Java oracle; our own types call them isActive,
|
|
# lowerBound, upperBound, gateway, dnsServer and ipAddress.
|
|
packages/fls/::aktiv
|
|
packages/fls/::untergrenze
|
|
packages/fls/::obergrenze
|
|
packages/fls/::gatewayip
|
|
packages/fls/::dnsserverip
|
|
packages/fls/::adresse
|
|
# Property names of Java FILIUS's ClientBaustein (zielIPAdresse, zielPort) and
|
|
# PeerToPeerAnwendung (maxTeilnehmerZahl), as the Java oracle writes them;
|
|
# our types call them targetAddress, targetPort and maxPeers.
|
|
packages/fls/::ziel
|
|
packages/fls/::teilnehmer
|
|
packages/fls/::zahl
|
|
# Property and method names of Java FILIUS's e-mail classes (EmailKonto:
|
|
# benutzername, passwort, nachname, vorname, smtpserver, smtpport, nachrichten;
|
|
# Email: absender, empfaenger, betreff, neu, versendet; EmailAnwendung:
|
|
# empfangene/gesendete/erstellte Nachrichten; EmailServer.kontenLaden), as the
|
|
# Java oracle writes them; our types call them username, password, lastName,
|
|
# firstName, smtpServer, smtpPort, messages, sender, to, subject, isNew,
|
|
# isSent, received, sent and drafts.
|
|
packages/fls/::benutzername
|
|
packages/fls/::passwort
|
|
packages/fls/::nachname
|
|
packages/fls/::vorname
|
|
packages/fls/::smtpserver
|
|
packages/fls/::smtpport
|
|
packages/fls/::nachrichten
|
|
packages/fls/::absender
|
|
packages/fls/::empfaenger
|
|
packages/fls/::betreff
|
|
packages/fls/::neu
|
|
packages/fls/::versendet
|
|
packages/fls/::empfangene
|
|
packages/fls/::gesendete
|
|
packages/fls/::erstellte
|
|
packages/fls/::konten
|
|
packages/fls/::laden
|
|
# The directory Java FILIUS's EmailServer keeps its accounts in
|
|
# (/mailserver/konten.txt).
|
|
packages/fls/::mailserver
|
|
# Property names of Java FILIUS's Datei (dateiTyp, dateiInhalt) and Kontakt
|
|
# (hausnr), as Java's XMLDecoder and the Java oracle name them.
|
|
packages/fls/::datei
|
|
packages/fls/::hausnr
|
|
packages/fls/::typ
|
|
packages/fls/::inhalt
|