-- good9.cl 

class Test {
  a : Int;
  b : Int <- (5+5*5);
  c : String;
  m : Bool <- true;

  init( one : Int, two : String ) : String {
    {
      a <- one;
      c <- two;
	isvoid q;
    }
  };

  func_1() : Int {
    if( b < 3 )
      then
        b <- 3
      else
        b <- b - 1
    fi
  };
    
  func_2() : Object{
    while( a * ~2 + b <= 12 ) loop
      {
        a <- a + 2;
        b <- b - 1;
      }
    pool
  };

(*
  func_3( t: Int ) : Int {
    let d : Int <- 3, e : Int in e <- a + d + b - t
  };
*)

  func_4() : Int {
    case c of
      f : String => a <- a + 1;
      g : Int => a <- a - 1;
      h : Cases => (new Cases);
    esac
	
  };

(*
  func_5() : Int {
    let q : Cases <- new Cases in {
      isvoid q;
      q@Test.init( 4, "Have a nice day" );
      b <- a + a * b / (b + 1) - 2 * ~q.get_val();
      m <- not m;
      if( 7 * a = 77) then func_4() else func_3(a) fi;
    }
  };
*)
};

class Cases inherits Test {
  get_val() : Int {
    16
  };
};

class Main {
  main() : Int {
    0
  };
};