//_Header
//*******************************************************************
//    NOVA Central Controls  ---  Lawrence Livermore Laboratory
//*******************************************************************
//
//_Module_Name:  RANGETEST.PRX		_File:  [PRAXIS.SUPPORT.TEST]RANGETEST.PRX
//
//_Description:
//	This module should be the definitive test of the 
//	praxis run-time range and subscript checking.
//	
//_Call:
//	run range test.
//_Identifier: { none }
//*******************************************************************
//_Author:  J. M. Duffy		_Creation_Date:  29-JUN-1983
//_Revisions:
//  1.000  29-JUN-1983  JMD	Initial Key-in.
//*******************************************************************
//_End
main module rangetest
	use textio
	%set use_routine_names = true
	declare 
		x : static 8 bit integer range 1..10
		a : static array [1..10] of integer
	enddeclare
	%set subscript_check = true
	arm x_range_error
//
//
// check range values
//
//

	for i := -2 to 0 do
		guard 
			x := i
			out_string ( tty ,
				"error - did not catch value ")
			out_integer( tty, i)
			out_record(tty)
		catch 
			case x_range_error:
				out_string ( tty ,
					"success - correctly caught value ")
				out_integer( tty, i)
				out_record(tty)
		endguard
	endfor

	for i := 1 to 10 do
		guard 
			x := abs(i)
			out_string ( tty ,
				"success - allowed value ")
			out_integer( tty, i)
			out_record(tty)
		catch 
			case x_range_error:
				out_string ( tty ,
					"error - did not allow value ")
				out_integer( tty, i)
				out_record(tty)
		endguard
	endfor

	for i := 11 to 13 do
		guard 
			x := i
			out_string ( tty ,
				"error - did not catch value ")
			out_integer( tty, i)
			out_record(tty)
		catch 
			case x_range_error:
				out_string ( tty ,
					"success - correctly caught value ")
				out_integer( tty, i)
				out_record(tty)
		endguard
	endfor
//
//
// check subscripts
//
//
	for i := -2 to 0 do
		guard 
			a[i] := 1
			out_string ( tty ,
				"error - did not catch subscript ")
			out_integer( tty, i)
			out_record(tty)
		catch 
			case x_range_error:
				out_string ( tty ,
					"success - correctly caught subscript ")
				out_integer( tty, i)
				out_record(tty)
		endguard
	endfor

	for i := 1 to 10 do
		guard 
			a[i] := 1
			out_string ( tty ,
				"success - allowed subscript ")
			out_integer( tty, i)
			out_record(tty)
		catch 
			case x_range_error:
				out_string ( tty ,
					"error - did not allow subscript ")
				out_integer( tty, i)
				out_record(tty)
		endguard
	endfor

	for i := 11 to 13 do
		guard 
			a[i] := 1
			out_string ( tty ,
				"error - did not catch subscript ")
			out_integer( tty, i)
			out_record(tty)
		catch 
			case x_range_error:
				out_string ( tty ,
					"success - correctly caught subscript ")
				out_integer( tty, i)
				out_record(tty)
		endguard
	endfor
	
	tty_line(" ")
	tty_line("any error indication indicates a failure")
endmodule