-- -- 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 繝懊ち繝ウ迥カ諷九r蠕励k : () ==> 縲碁崕貅舌�繧ソ繝ウ縲港縲碁崕貅舌�繧ソ繝ウ迥カ諷九� 繝懊ち繝ウ迥カ諷九r蠕励k() == return i繝懊ち繝ウ.繝懊ち繝ウ迥カ諷九r蠕励k(); end 縲後�繧ソ繝ウ蛻カ蠕。縲�