Quelle  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}