--
-- 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蟾ｦ繝｢繝ｼ繧ｿ繝ｼ : 縲後Δ繝ｼ繧ｿ繝ｼ縲�;

operations
  public 縲碁ｧ�虚蛻ｶ蠕｡縲� : () ==> 縲碁ｧ�虚蛻ｶ蠕｡縲�
  縲碁ｧ�虚蛻ｶ蠕｡縲�() ==
  (
    i蜿ｳ繝｢繝ｼ繧ｿ繝ｼ := new 縲後Δ繝ｼ繧ｿ繝ｼ縲�();
    i蟾ｦ繝｢繝ｼ繧ｿ繝ｼ := new 縲後Δ繝ｼ繧ｿ繝ｼ縲�();
  );
  
  public 蛛懈ｭ｢縺吶ｋ : () ==> ()
  蛛懈ｭ｢縺吶ｋ() ==
  (
    i蜿ｳ繝｢繝ｼ繧ｿ繝ｼ.蛛懈ｭ｢縺吶ｋ();
    i蟾ｦ繝｢繝ｼ繧ｿ繝ｼ.蛛懈ｭ｢縺吶ｋ();
  );

  public 蜿ｳ繧ｿ繝ｼ繝ｳ縺吶ｋ : () ==> ()
  蜿ｳ繧ｿ繝ｼ繝ｳ縺吶ｋ() ==
  (
    i蜿ｳ繝｢繝ｼ繧ｿ繝ｼ.蛛懈ｭ｢縺吶ｋ();
    i蟾ｦ繝｢繝ｼ繧ｿ繝ｼ.蝗櫁ｻ｢縺吶ｋ(mk_token(10));
  );

  public 蟾ｦ繧ｿ繝ｼ繝ｳ縺吶ｋ : () ==> ()
  蟾ｦ繧ｿ繝ｼ繝ｳ縺吶ｋ() ==
  (
    i蜿ｳ繝｢繝ｼ繧ｿ繝ｼ.蝗櫁ｻ｢縺吶ｋ(mk_token(10));
    i蟾ｦ繝｢繝ｼ繧ｿ繝ｼ.蛛懈ｭ｢縺吶ｋ();
  );
  
  public 鬧�虚迥ｶ諷九ｒ蠕励ｋ : () ==> 縲碁ｧ�虚迥ｶ諷九€�
  鬧�虚迥ｶ諷九ｒ蠕励ｋ() ==
    return i鬧�虚迥ｶ諷�;


end 縲碁ｧ�虚蛻ｶ蠕｡縲�