|
\section{The Class Letter}
The class models account statements posted to cardholders.
\begin{vdm_al}
class Letter
instance variables
name : Cardholder`Name;
address : Cardholder`Address;
date : Clock`Date;
transactions : seq of Account`Transaction;
balance : nat
operations
public Letter: Cardholder`Name * Cardholder`Address * Clock`Date *
seq of Account`Transaction * nat ==> Letter
Letter(nm,addr,d,ts,b) ==
(name := nm;
address := addr;
date := d;
transactions := ts;
balance:= b)
end Letter
\end{vdm_al}
¤ Dauer der Verarbeitung: 0.19 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.
|
