|
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.18 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
