--
-- THIS FILE IS AUTOMATICALLY GENERATED!!
--
-- Generated at 10-Nov-08 by the UML-VDM++ Link
--
class 縲悟宛蠕｡繝槭す繝ｳ縲�

types
  public 縲瑚ｵｰ陦檎憾諷九€� = <襍ｰ陦御ｸｭ> | <蛛懈ｭ｢荳ｭ>;

instance variables
  private i襍ｰ陦檎憾諷� : 縲瑚ｵｰ陦檎憾諷九€�;
  private i鬧�虚蛻ｶ蠕｡ : 縲碁ｧ�虚蛻ｶ蠕｡縲�;
  private i繝懊ち繝ｳ蛻ｶ蠕｡ : 縲後�繧ｿ繝ｳ蛻ｶ蠕｡縲�;
  private i繝ｩ繧､繝ｳ蛻ｶ蠕｡ : 縲後Λ繧､繝ｳ逶｣隕門宛蠕｡縲�;
  
  -- 繝�せ繝育畑縺ｫ繧､繝ｳ繧ｹ繧ｿ繝ｳ繧ｹ縺�縺�
  private i蜈峨そ繝ｳ繧ｵ繝ｼ : 縲悟�繧ｻ繝ｳ繧ｵ繝ｼ縲�;
  private i蜿ｳ繝｢繝ｼ繧ｿ繝ｼ : 縲後Δ繝ｼ繧ｿ繝ｼ縲�;
  private i蟾ｦ繝｢繝ｼ繧ｿ繝ｼ : 縲後Δ繝ｼ繧ｿ繝ｼ縲�;
  private i髮ｻ貅舌�繧ｿ繝ｳ : 縲碁崕貅舌�繧ｿ繝ｳ縲�;

operations
  public 蛛懈ｭ｢縺吶ｋ : () ==> ()
  蛛懈ｭ｢縺吶ｋ() ==
    is not yet specified
  post i襍ｰ陦檎憾諷� = <蛛懈ｭ｢荳ｭ>;

  public 襍ｰ陦後☆繧� : () ==> ()
  襍ｰ陦後☆繧�() ==
    is not yet specified
  pre i繝懊ち繝ｳ蛻ｶ蠕｡.繝懊ち繝ｳ迥ｶ諷九ｒ蠕励ｋ() = <ON>
  post i襍ｰ陦檎憾諷� = <襍ｰ陦御ｸｭ>;

  public 蜿ｳ繧ｿ繝ｼ繝ｳ縺吶ｋ : () ==> ()
  蜿ｳ繧ｿ繝ｼ繝ｳ縺吶ｋ() ==
    is not yet specified
  pre i繝ｩ繧､繝ｳ蛻ｶ蠕｡.繝ｩ繧､繝ｳ迥ｶ諷九ｒ蛻､螳壹☆繧�() = <鮟�>
  post i鬧�虚蛻ｶ蠕｡.鬧�虚迥ｶ諷九ｒ蠕励ｋ() = <蜿ｳ繧ｿ繝ｼ繝ｳ荳ｭ>;

  public 蟾ｦ繧ｿ繝ｼ繝ｳ縺吶ｋ : () ==> ()
  蟾ｦ繧ｿ繝ｼ繝ｳ縺吶ｋ() ==
    is not yet specified
  pre i繝ｩ繧､繝ｳ蛻ｶ蠕｡.繝ｩ繧､繝ｳ迥ｶ諷九ｒ蛻､螳壹☆繧�() = <逋ｽ>
  post i鬧�虚蛻ｶ蠕｡.鬧�虚迥ｶ諷九ｒ蠕励ｋ() = <蟾ｦ繧ｿ繝ｼ繝ｳ荳ｭ>;


end 縲悟宛蠕｡繝槭す繝ｳ縲�