Difference between revisions of "NUMERIC (issues)"

m
m
 
Line 2: Line 2:
 
This page describes issues with the current implementation of NUMERIC in comparison to the [[NUMERIC (interface)|interface description]].
 
This page describes issues with the current implementation of NUMERIC in comparison to the [[NUMERIC (interface)|interface description]].
  
−
===exceptional cases===
+
===special cases===
  
−
Subclasses of NUMERIC can have problems with contracts of features and invariants in special cases. Therefore a query like 'is_exceptional' could be introduced to make contracts conditional in respect to these special cases.
+
Subclasses of NUMERIC can have problems with contracts of features and invariants in special cases. Therefore a query like 'is_special_case' could be introduced to make contracts conditional in respect to these special cases.
  
 
Special cases include:
 
Special cases include:

Latest revision as of 14:20, 22 November 2006

This page describes issues with the current implementation of NUMERIC in comparison to the interface description.

special cases

Subclasses of NUMERIC can have problems with contracts of features and invariants in special cases. Therefore a query like 'is_special_case' could be introduced to make contracts conditional in respect to these special cases.

Special cases include:

  • REAL.NaN (all operations)
  • REAL.INF (all operations)
  • INTEGER.min_value (when computing the absolute value an overflow occurs and the result is min_value again)
Retrieved from "https://dev.eiffel.com/index.php?title=NUMERIC_(issues)&oldid=6352"