Ada Programming/Operators

Ada. Time-tested, safe and secure.
Ada. Time-tested, safe and secure.

Standard operators edit

Ada allows operator overloading for all standard operators and so the following summaries can only describe the suggested standard operations for each operator. It is quite possible to misuse any standard operator to perform something unusual.

Each operator is either a keyword or a delimiter—hence all operator pages are redirects to the appropriate keyword or delimiter.

Operators have arguments which in the RM are called Left and Right for binary operators, Right for unary operators (indicating the position with respect to the operator symbol).

The list is sorted from lowest precedence to highest precedence.

Logical operators edit

and  , (also keyword and)
or  , (also keyword or)
exclusive or  , (also keyword xor)

Relational operators edit

Not Equal  , (also special character /=)
Equal  , (also special character =)
Less than  , (also special character <)
Less than or equal to ( ), (also special character <=)
Greater than ( ), (also special character >)
Greater than or equal to ( ), (also special character >=)

Binary adding operators edit

Add  , (also special character +)
Subtract  , (also special character -)
Concatenate ,   &  , (also special character &)

Unary adding operators edit

Plus sign  , (also special character +)
Minus sign  , (also special character -)

Multiplying operator edit

Multiply,  , (also special character *)
Divide  , (also special character /)
modulus (also keyword mod)
remainder (also keyword rem)

Highest precedence operator edit

Power  , (also special character **)
logical not  , (also keyword not)
absolute value   (also keyword abs)

Short-circuit control forms edit

These are not operators and thus cannot be overloaded.

and then
e.g. if Y /= 0 and then X/Y > Limit then ...
or else
e.g. if Ptr = null or else Ptr.I = 0 then ...

Membership tests edit

The Membership Tests also cannot be overloaded because they are not operators.

element of,  , e.g. if I in Positive then, (also keyword in)
not in
not element of,  , e.g. if I not in Positive then, (also keywords not in)

Range membership test edit

if Today not in Tuesday .. Thursday then

Subtype membership test edit

Is_Non_Negative := X in Natural;

Class membership test edit

exit when Object in Circle'Class;

Range membership test edit

if Today not in Tuesday .. Thursday then

Choice list membership test edit

This language feature has been introduced in Ada 2012.

Ada 2012 extended the membership tests to include the union (short-circuit or) of several range or value choices.

if Today in Monday .. Wednesday | Friday then

See also edit

Wikibook edit

Ada 95 Reference Manual edit

Ada 2005 Reference Manual edit

Ada Quality and Style Guide edit

Ada Operators
and and then > + abs &
or or else >= - mod
xor = < * rem in
not /= <= ** / not in