\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 繝懊ち繝ウ迥カ諷九r蠕励k : () ==> 縲碁崕貅舌�繧ソ繝ウ縲港縲碁崕貅舌�繧ソ繝ウ迥カ諷九� 繝懊ち繝ウ迥カ諷九r蠕励k() == return i髮サ貅舌�繧ソ繝ウ.繝懊ち繝ウ迥カ諷九r蠕励k(); end 縲後�繧ソ繝ウ蛻カ蠕。縲� \end{vdm_al} \begin{rtinfo} [縲後�繧ソ繝ウ蛻カ蠕。縲江{vdm.tc}[縲後�繧ソ繝ウ蛻カ蠕。縲江 \end{rtinfo}