4.5.4 Unary Adding Operators

From OC Systems Wiki!
Jump to: navigation, search

Static Semantics

The unary adding operators + (identity) and - (negation) are predefined for every specific numeric type T with their conventional meaning. They have the following specifications:

function "+"(Right T) return T
function "-"(Right T) return T


16  For modular integer types, the unary adding operator -, when given a nonzero operand, returns the result of subtracting the value of the operand from the modulus; for a zero operand, the result is zero.

Copyright © 1992,1993,1994,1995 Intermetrics, Inc.
Copyright © 2000 The MITRE Corporation, Inc. Ada Reference Manual