--| Copyright (c) 1993-2020 University of Southern California, Eiffel Software 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;
			wimp := "wimp";
			create mem.make (Eiffel_memory);
			from 
				k := 1; 
			until 
				k > count 
			loop
				try (args.item (2).to_integer);
				check_memory;
				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
		do
			turkey ($wimp, $wimp, $wimp, $wimp, $wimp);
		end
	
	wimp: STRING;
	
	turkey (p1, p2, p3, p4, p5: ANY) is
		do
			raise ("weasels");
			$INSTRUCTION
		end
	
	mem: MEM_INFO;

	threshold: INTEGER is 6_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