This class models a cardholder's name and address. This information is
used topost an account statement. The class provides standard
read/write operations.
\begin{vdm_al} class Cardholder
types public Address = seqofchar; public Name = seqofchar;
instancevariables
name : Name;
address : Address;
operations public Create : Name * Address ==> Cardholder
Create(nm,addr) ==
(name := nm;
address := addr; returnself);
pure public GetName : () ==> Name
GetName () == return name;
pure public GetAddress : () ==> Address
GetAddress() == return address;
end Cardholder
\end{vdm_al}
¤ Dauer der Verarbeitung: 0.11 Sekunden
(vorverarbeitet)
¤
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.
