--
-- procedure testing

class TEST_PROC

creation
   make

feature
   j : INTEGER
   k : INTEGER

   make is
   do
      j := 1
      k := 2
      proc01
      proc01
      proc02(j,k)
      proc02(j+4,2*k+6)
   end

   proc01 is
   local
      n : INTEGER
   do
      j := j + 1
      k := k + 1
      n := n + 4
      -- write j, k, n
      io.put_string("proc01: j, k, n = ")
      io.put_integer(j)
      io.put_string(", ")
      io.put_integer(k)
      io.put_string(", ")
      io.put_integer(n)
      io.put_new_line
   end

   proc02(x : INTEGER; y : INTEGER) is
   local
   do
       -- write x, y
      io.put_string("proc02: x, y = ")
      io.put_integer(x)
      io.put_string(", ")
      io.put_integer(y)
      io.put_new_line
   end

end -- class TEST_PROC