-
Key: OCL2_-5
-
Legacy Issue Number: 6537
-
Status: closed
-
Source: Anonymous
-
Summary:
Author: Thomas Baar (thomas.baar@epfl.ch)
Description: clarify, whether x/0 is undefined
Rationale: On page 6/6, 6-7 the semantics of operation / is decribed informally as 'The value of self divided by r (respective i).' It remains unclear what self / 0 evaluates to.
On page 6/7 the div-operation is specified in terms of /-operation, however with a pre-condition pre: i <> 0.
Why is div handled differently from / ? -
Reported: OCL 2.0b2 — Mon, 10 Nov 2003 05:00 GMT
-
Disposition: Resolved — OCL 2.0
-
Disposition Summary:
No Data Available
-
Updated: Sun, 8 Mar 2015 13:35 GMT