-- -- THIS FILE IS AUTOMATICALLY GENERATED!! -- -- Generated at 10-Nov-08 by the UML-VDM++ Link -- class 縲碁崕貅舌�繧ソ繝ウ縲� types public 縲碁崕貅舌�繧ソ繝ウ迥カ諷九� = <ON> | <OFF>; instance variables private i髮サ貅舌�繧ソ繝ウ迥カ諷� : 縲碁崕貅舌�繧ソ繝ウ迥カ諷九�; operations public 髮サ貅舌�繧ソ繝ウ繧呈款縺� : () ==> () 髮サ貅舌�繧ソ繝ウ繧呈款縺�() == if i髮サ貅舌�繧ソ繝ウ迥カ諷� = <ON> then i髮サ貅舌�繧ソ繝ウ迥カ諷� := <OFF> else i髮サ貅舌�繧ソ繝ウ迥カ諷� := <ON> post i髮サ貅舌�繧ソ繝ウ迥カ諷� <> i髮サ貅舌�繧ソ繝ウ迥カ諷救; public 繝懊ち繝ウ迥カ諷九r蠕励k : () ==> 縲碁崕貅舌�繧ソ繝ウ迥カ諷九� 繝懊ち繝ウ迥カ諷九r蠕励k() == return i髮サ貅舌�繧ソ繝ウ迥カ諷�; end 縲碁崕貅舌�繧ソ繝ウ縲�