Operation Real absoluteValue (), in Class Real

Documentation
The positive (or non-negative) real having the same magnitude as the source,

Protocol Qualification 
Exceptions Size 
Time ConcurrencySequential
Export ControlPublicAccess  


Preconditions


Postconditions


Semantics