Issue 6537: domain for library operations  /, div                                                                                                                                                                   (ocl2-ftf)
Source:  (, )
Nature: Uncategorized Issue
Severity: 
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 / ?

Resolution: 
Revised Text: 1) Change the description of : / (r : Real) : Real, replacing
"The value of self divided by r." by
" The value of self divided by r". Evaluates to OclUndefined if r is equal to zero.
2) Change the description of : / (i : Integer) : Real replacing
"The value of self divided by i." by
" The value of self divided by i". Evaluates to OclUndefined if i is equal to zero
Actions taken:
November 10, 2003: received issue
November 1, 2005: closed issue
Discussion: 
Adding: Evaluates to OclUndefined if r(resp i) is equal to zero.
End of Annotations:=====
n for library operations  /, div
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 / ?