Quellcode-Bibliothek
© Kompilation durch diese Firma
[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]
Datei:
SendStatement.vdmpp
Sprache: VDM
|
\section{The SendStatement Testing Class}
The event SendStatement corresponds to a client asking for a
statement to be send by ordinary mail at one of the tills in this
system.
\begin{vdm_al}
class SendStatement is subclass of Event
instance variables
tillid : System`TillId;
operations
public Init : System`TillId ==> SendStatement
Init(tid) ==
(tillid := tid;
return self);
public execute : System ==> Test`TestResult
execute(sys) ==
let till = sys.GetTill(tillid)
in
if till.CardValidated()
then till.RequestStatement()
else return false;
end SendStatement
\end{vdm_al}
[ Verzeichnis aufwärts0.13unsichere Verbindung
Übersetzung europäischer Sprachen durch Browser
]
|
|
