--| Copyright (c) 1993-2006 University of Southern California and contributors.
--| All rights reserved.
--| Your use of this work is governed under the terms of the GNU General
--| Public License version 2.

class TEST
inherit
	EXCEPTIONS
	MEM_CONST
creation
	make
feature
	make (args: ARRAY [STRING]) is
		local
			k, count: INTEGER;
		do
			count := args.item (1).to_integer;
			!!mem.make (Eiffel_memory);
			from 
				k := 1; 
			until 
				k > count 
			loop
				try (args.item (2).to_integer);
				k := k + 1;
			end
		end
	
	try (max: INTEGER) is
		local
			tried: BOOLEAN
			count: INTEGER;
		do
			if count < max then
				weasel;
			end
		rescue
			count := count + 1;
			retry;
		end
	
	weasel is
		local
			x: TEST1;
			y: INTEGER;
		do
			y := x.wimp;
		end
	
	mem: MEM_INFO;

	threshold: INTEGER is 4_000_000;

	check_memory is
		do
			mem.update (C_memory);
			if mem.used > threshold then
				io.putstring ("C memory used is ");
				io.putint (mem.used);
				io.putstring (" bytes - probably have a memory leak%N")
				die (0);
			end
		end
	
end