\begin{vdm_al}
--
-- THIS FILE IS AUTOMATICALLY GENERATED!!
--
-- Generated at 10-Nov-08 by the UML-VDM++ Link
--
class 縲碁崕貅舌�繧ソ繝ウ縲�

types
  public 縲碁崕貅舌�繧ソ繝ウ迥カ諷九€� = <ON> | <OFF>;

instance variables
  private i髮サ貅舌�繧ソ繝ウ迥カ諷� : 縲碁崕貅舌�繧ソ繝ウ迥カ諷九€� := <OFF>;

operations
  public 髮サ貅舌�繧ソ繝ウ繧呈款縺� : () ==> ()
  髮サ貅舌�繧ソ繝ウ繧呈款縺�() ==
    if i髮サ貅舌�繧ソ繝ウ迥カ諷� = <ON> then
      i髮サ貅舌�繧ソ繝ウ迥カ諷� := <OFF>
    else
      i髮サ貅舌�繧ソ繝ウ迥カ諷� := <ON>
  post i髮サ貅舌�繧ソ繝ウ迥カ諷� <> i髮サ貅舌�繧ソ繝ウ迥カ諷救;
  
  public 繝懊ち繝ウ迥カ諷九r蠕励k : () ==> 縲碁崕貅舌�繧ソ繝ウ迥カ諷九€�
  繝懊ち繝ウ迥カ諷九r蠕励k() == return i髮サ貅舌�繧ソ繝ウ迥カ諷�;


end 縲碁崕貅舌�繧ソ繝ウ縲�
\end{vdm_al}

\begin{rtinfo}
  [縲碁崕貅舌�繧ソ繝ウ縲江{vdm.tc}[縲碁崕貅舌�繧ソ繝ウ縲江
\end{rtinfo}