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