Difference between revisions of "NUMERIC (issues)"
| Line 1: | Line 1: | ||
[[Category:ELKS]] | [[Category:ELKS]] | ||
| + | |||
| + | ===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) | ||
Revision as of 16:54, 17 November 2006
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)
