\begin{vdm_al}
--
-- THIS FILE IS AUTOMATICALLY GENERATED!!
--
-- Generated at 10-Nov-08 by the UML-VDM++ Link
--
class 「ボタン制御」

instance variables
  private i電源ボタン : 「電源ボタン」;

operations
  public 「ボタン制御」 : () ==> 「ボタン制御」
  「ボタン制御」() ==
    i電源ボタン := new 「電源ボタン」();
  
  public 電源ボタンを押す : () ==> ()
  電源ボタンを押す() == i電源ボタン.電源ボタンを押す();
  
  public ボタン状態を得る : () ==> 「電源ボタン」`「電源ボタン状態」
  ボタン状態を得る() == return i電源ボタン.ボタン状態を得る();

end 「ボタン制御」
\end{vdm_al}

\begin{rtinfo}
  [「ボタン制御」]{vdm.tc}[「ボタン制御」]
\end{rtinfo}