Ada Programming/Operators

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.

The list is sorted from lowest precedence to highest precedence.

Logical operators

and

and $x\wedge y$, (also keyword and)

or

or $x\vee y$, (also keyword or)

xor

exclusive or $(x\wedge \overline{y})\vee (\overline{x}\wedge y)$, (also keyword xor)

Relational operators

/=

Not Equal $x\ne y$, (also special character /=)

=

Equal $x=y$, (also special character =)

<

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

<=

Less than or equal to ($x\le y$), (also special character <=)

>

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

>=

Greater than or equal to ($x\ge y$), (also special character >=)

Binary adding operators

+

Add $x+y$, (also special character +)

-

Subtract $x-y$, (also special character -)

&

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

Unary adding operators

+

Plus sign $+x$, (also special character +)

-

Minus sign $-x$, (also special character -)

Multiplying operator

*

Multiply, $x\times y$, (also special character *)

/

Divide $x/y$, (also special character /)

mod

modulus (also keyword mod)

rem

remainder (also keyword rem)

Highest precedence operator

**

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

not

logical not $\mathrm{\neg }x$, (also keyword not)

abs

absolute value $|x|$ (also keyword abs)

Shortcut operators

The shortcut operators 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

The Membership Tests also cannot be overloaded.

in

element of, $var\in type$, e.g. Template:Ada/kw I Template:Ada/kw Positive Template:Ada/kw, (also keyword Template:Ada/kw)

not in

not element of, $var\notin type$, e.g. Template:Ada/kw I Template:Ada/kw Template:Ada/kw Positive Template:Ada/kw, (also keywords Template:Ada/kw Template:Ada/kw)

See also

Wikibook

• Ada Programming

Ada 95 Reference Manual

• Template:Ada/RM2

Ada 2005 Reference Manual

• Template:Ada/2005/RM2

Ada Quality and Style Guide

• Template:Ada/SG3
• Template:Ada/SG3
• Template:Ada/SG3