Programación en Ada/Operadores

Ésta es la lista de operadores de Ada de menor a mayor precedencia.

Clasificación de operadores

Clase	Nombre	Fórmula	Sintáxis Ada
Lógicos	Conjunción	${\displaystyle x\land y}$	and
	Disyunción inclusiva	${\displaystyle x\lor y}$	or
	Disyunción exclusiva	${\displaystyle (x\land {\bar {y}})\lor ({\bar {x}}\land y)}$	xor
Relacionales	Igualdad	${\displaystyle x=y}$	=
	Desigualdad	${\displaystyle x\neq y}$	/=
	Menor que	${\displaystyle x<y}$	<
	Menor o igual que	${\displaystyle x\leq y}$	<=
	Mayor que	${\displaystyle x>y}$	>
	Mayor o igual que	${\displaystyle x\geq y}$	>=
Aditivo unario	Identidad	${\displaystyle +x}$	+
	Negación	${\displaystyle -x}$	-
Aditivo binario	Suma	${\displaystyle x+y}$	+
	Resta	${\displaystyle x-y}$	-
Concatenación	Concatenación		&
Multiplicativo	Multiplicación	${\displaystyle x\times y}$	*
	División	${\displaystyle {\begin{matrix}{\frac {x}{y}}\end{matrix}}}$	/
	Módulo	${\displaystyle x{\bmod {y}}}$	mod
	Resto		rem
De máxima precedencia	Exponenciación	${\displaystyle x^{y}}$	**
	Negación	${\displaystyle \lnot x}$	not
	Valor absoluto	${\displaystyle |x|}$	abs

En todos los casos, excepto para la exponenciación, los dos operandos deben ser del mismo tipo.

Los operadores se pueden sobrecargar.

Además existe la comprobación de pertenencia (${\displaystyle x\in T}$, in; ${\displaystyle x\notin T}$, not in) que técnicamente no es un operador y no se puede sobrecargar. Su precedencia es la misma que la de los operadores relacionales. Se puede utilizar con rangos o con subtipos.

-- Supongamos que X es de tipo Integer
if X in Positive then -- Positive es un subtipo de Integer
   ...
   if X not in 4 .. 6 then
      ...
   end if;
end if;

declare
   type Dia_Semana is
      (Lunes, Martes, Miercoles, Jueves, Viernes, Sabado, Domingo);
   subtype Dia_Laborable is Dia_Semana range Lunes .. Viernes;
   Hoy : Dia_Semana := Obtener_Dia;
begin

   if Hoy in Dia_Laborable then -- Dia_Laborable es un subtipo de Dia_Semana
      Ir_Al_Trabajo;
      if Hoy not in Lunes .. Miercoles then
         Pensar_En_El_Fin_De_Semana;
      end if;
   end if;
end;

Para los operadores lógicos existen versiones para minimizar las evaluaciones (short-circuit evaluation). Es decir, se evalúa primero el operando de la izquierda y después, sólo si es necesario para determinar el resultado, el de la derecha:

• Conjunción and then: no se evalúa la segunda expresión si la primera es falsa porque ya sabemos que el resultado será falso.
• Disyunción inclusiva or else: no se evalúa la segunda expresión si la primera es verdadera porque ya sabemos que el resultado será verdadero.

-- B / A > 3 no se ejecutará si A es 0 lo que nos será útil para evitar
-- un Constraint_Error
-- 
if A /= 0 and then
   B / A > 3 then

   Put_Line ("B / A es mayor que 3");

end if;

• 4.5 Operators and Expression Evaluation