--
-- 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 縲後�繧ソ繝ウ蛻カ蠕。縲�