Ada Programming/Operators

From Wikibooks, the open-content textbooks collection

---

Contents 1 Standard operators 1.1 Logical operators 1.2 Relational operators 1.3 Binary adding operators 1.4 Unary adding operators 1.5 Multiplying operator 1.6 Highest precedence operator 2 Short-circuit control forms 3 Membership tests 3.1 Range membership test 3.2 Subtype membership test 3.3 Class membership test 4 See also 4.1 Wikibook 4.2 Ada 95 Reference Manual 4.3 Ada 2005 Reference Manual 4.4 Ada Quality and Style Guide

[edit] Standard operators

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 appropiate 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.

[edit] Logical operators

and 

and , (also keyword and)

or 

or , (also keyword or)

xor 

exclusive or , (also keyword xor)

[edit] Relational operators

/= 

Not Equal , (also special character /=)

= 

Equal x = y, (also special character =)

< 

Less than x < y, (also special character <)

<= 

Less than or equal to (), (also special character <=)

> 

Greater than (x > y), (also special character >)

>= 

Greater than or equal to (), (also special character >=)

[edit] Binary adding operators

+ 

Add x + y, (also special character +)

- 

Subtract x - y, (also special character -)

& 

Concatenate , x & y, (also special character &)

[edit] Unary adding operators

+ 

Plus sign + x, (also special character +)

- 

Minus sign - x, (also special character -)

[edit] Multiplying operator

* 

Multiply, , (also special character *)

/ 

Divide x / y, (also special character /)

mod 

modulus (also keyword mod)

rem 

remainder (also keyword rem)

[edit] Highest precedence operator

** 

Power x^y, (also special character **)

not 

logical not , (also keyword not)

abs 

absolute value | x | (also keyword abs)

[edit] Short-circuit control forms

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 ...

[edit] Membership tests

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

in 

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)

[edit] Range membership test

if Today not in Tuesday .. Thursday then
   ...

[edit] Subtype membership test

Is_Non_Negative := X in Natural;

[edit] Class membership test

exit when Object in Circle'Class;

[edit] See also

[edit] Wikibook

• Ada Programming

[edit] Ada 95 Reference Manual

• 4.5 Operators and Expression Evaluation (Annotated)

[edit] Ada 2005 Reference Manual

• 4.5 Operators and Expression Evaluation (Annotated)

[edit] Ada Quality and Style Guide

• 2.1.3 Alignment of Operators
• 5.7.4 Overloaded Operators
• 5.7.5 Overloading the Equality Operator

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