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