class interface
	TEST_VALUE2

create 
	make

feature -- Agents

	test1: BOOLEAN
			-- test addition using loop

	test2: BOOLEAN
			-- test the precise feature

	test4: BOOLEAN
			-- test the out feature

	test5: BOOLEAN
			-- test subtraction using loop

	violation_test1
			-- incorrect string format XY.XY.XY

	violation_test2: BOOLEAN
			-- negative number
	
end -- class TEST_VALUE2

Generated by ISE EiffelStudio