| Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/VDM/VDMPP/EnigmaPP/ (Wiener Entwicklungsmethode ©) Datei vom 13.4.2020 mit Größe 575 B |
|
Quelle Configuration.vdmpp Sprache: VDM |
|||||||||
|
class Configuration
is subclass of Component instance variables protected config: inmap nat to nat; operations pure protected Encode: nat ==> nat Encode (penc) == if penc in set dom config then return config(penc) else return penc; pure protected Decode: nat ==> nat Decode (pdec) == let invcfg = inverse config in if pdec in set dom invcfg then return invcfg(pdec) else return pdec; public Substitute: nat ==> nat Substitute(pidx) == return Decode(next.Substitute(Encode(pidx))) pre next <> nil end Configuration ¤ Dauer der Verarbeitung: 0.1 Sekunden (vorverarbeitet) ¤*© Formatika GbR, Deutschland |
|
2026-03-28