PR# 18589 The comparative functions in INTEGER_16 Class doesn't work properly in preconditions.
Problem Report Summary
Submitter: pool_101112
Category: EiffelStudio
Priority: Low
Date: 2013/04/29
Class: Bug
Severity: Non-critical
Number: 18589
Release: 7.1.8.8986
Confidential: No
Status: Open
Responsible: alexk_es
Environment: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:20.0) Gecko/20100101 Firefox/20.0
Windows 7 Fr Home
Version = EiffelStudio 7 (7.1.8.8986 GPL Edition - windows)
$ISE_C_COMPILER = mingw
Synopsis: The comparative functions in INTEGER_16 Class doesn't work properly in preconditions.
Description
It seems like the functions to comparate numbers, like is_greater_equal, is_greater, etc., are not working properly in preconditions. For example, when I do :
require
a_x_is_not_below_0 : a_x.is_greater_equal(0)
the 0, alias other in the is_greater_function is VOID, although it has a require that's assuming other /= Void. But, if we do
require
a_x_is_not_below_0 : a_x >= 0
it is working nice and have no problem, but it doesn't use the is_greater_equal function.
Thank you and have a nice day !
To Reproduce
Use the sample I send.
Problem Report Interactions