NUMERIC (issues)

Revision as of 15:54, 17 November 2006 by Juliant (Talk | contribs)


exceptional 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.

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=6259"