Programación en Ada/Palabras reservadas

Esta página es una referencia del uso y significado en cada contexto de las palabras reservadas de Ada.

A

abort

La palabra abort se usa tanto para abortar una tarea o una partición.

abs

abs se utiliza como el operador prefijo unitario que devuelve el valor absoluto de un número.

abstract

abstract define un método y un tipo etiquetado como abstracto, es decir, el tipo base de una clase de tipos que comparten ciertas propiedades, pero el cual no puede instanciarse por tener algunas operaciones primitivas sin implementar.

accept

accept se utiliza para aceptar citas en una tarea.

access

La palabra reservada access se utiliza en las declaraciones de tipo puntero.

aliased

aliased se utiliza en la declaración de variables o campos de registros que tienen potencialmente uno o varios punteros referenciandolos.

all

Esta palabra se utiliza en:

Declaración de tipos puntero que pueden apuntar a variables aliased y no sólo a objetos creados en el montón (heap).
Desreferenciación de punteros.

and

Se utiliza como el operador lógico de conjunción y en Ada 2005 para añadir a un tipo una determinada interfaz.

array

Para declarar tipos array.

at

at se usa en cláusulas de representación.

B

begin

begin se utiliza para indicar el inicio de la secuencia de sentencias en un bloque o en el cuerpo de un subprograma, tarea o paquete.

body

La palabra body se utiliza en la definición del cuerpo (implementación) de paquetes y tareas.

C

case

Esta palabra se usa en las sentencias case y en la definición de registros variantes.

constant

Esta palabra se utiliza para declarar objetos constantes y números con nombre.

D

declare

Esta palabra indica el comienzo de la parte declarativa de un bloque.

delay

delay se utiliza para retardar la ejecución del programa durante unos segundos o hasta un tiempo determinado.

delay 10.5;

Ahora := Ada.Calendar.Clock;
delay until Ahora + 30.0;

delta

Se utiliza para la declaración de tipos de coma fija.

digits

Se utiliza para la declaración de tipos de coma flotante.

do

Usado en la aceptación de citas en tareas.

E

else

Usada en la sentencia if-then-else.

elsif

Usada en la sentencia if-then-else.

end

Utilizada para marcar el final de una de las siguientes estructuras:

Sentencias de control
Cuerpos de subprogramas
Registros
Especificaciones y cuerpos de paquetes
Tareas, objetos protegidos, sentencias de aceptación de citas y de selección de citas.
Bloques

entry

Para definir una cita de una tarea o de un objeto protegido.

exception

Para declarar excepciones o definir un manejardor.

exit

Para salir de un bucle condicional o incondicionalmente.

F

for

Usada en los bucles for y en las cláusulas de representación.

function

Para definir funciones.

G

generic

Para definir unidades genéricas.

goto

Para la sentencia goto.

I

if

Usada en la sentencia if-then-else.

in

in se utiliza en:

El test de pertenencia.
Los modos in e in out de los parámetros de subprogramas.

interface

Sólo Ada 2005. Usada para declarar una interfaz que puede luego implementarse con un tipo etiquetado.

is

Esta palabra se usa comúnmente para separar la declaración de un identificador de su definición. En concreto se encuentra en:

Definiciones de tipos.
Definiciones de subtipos.
Declaraciones de especificaciones y cuerpos de paquetes.
Definiciones de cuerpos de subprogramas.
Instanciaciones de genéricos

L

limited

La palabra reservada limited se usa en:

Declaraciones de tipos limitados.
Sólo Ada 2005. Interdependencia limitada de paquetes.

loop

loop es utilizada en los bucles simple, for y while.

M

mod

mod se utiliza como operador binario que devuelve el módulo.

Modulo := X mod Y;

N

new

new se utiliza en los siguientes contextos:

not

Es el operador lógico de negación.
Es parte de la comprobación de no pertenencia, not in.

null

El valor nulo de un puntero
Definición de un registro nulo y del valor de ese tipo.
Parte nula de un registro variante.
Sentencia nula.

O

of

En la declaración de tipos array.

or

Operador lógico de disyunción inclusiva.
En la sentencia select en tareas.

others

others se utiliza en varios contextos en los que se indica el resto de casos posibles en una lista de opciones:

Inicialización del resto de elementos de un array.
Caso por defecto en una sentencia case.
Caso por defecto en la definición de un registro variante.
Tratamiento por defecto de cualquier otra excepción en un manejador de excepción.

out

Modos out e in out de parámetros de procedimientos.

overriding

Solo Ada 2005. Para declarar que un método debe redefinir un método heredado. Con not overriding se declara lo contrario, que no debe existir un método con este nombre en la clase del tipo etiquetado.

P

package

package se usa en la especificación y cuerpo de paquetes.

pragma

pragma se usa para aplicar un pragma a la compilación.

private

Para declarar tipos privados.
Marcar el inicio de la parte privada de una especificación de paquete.

procedure

Para declarar procedimientos, punteros a procedimiento y procedimientos como parámetros formales de genéricos.

protected

Usado en las unidades protegidas.

R

raise

En las sentencias que levantan una excepción nombrada o relanzan la excepción actual en un manejador de excepciones.

range

La palabra clave range se utiliza para:

Definir el primer y último valor en una declaración de tipo entero o enumeración.
Definir el rango mínimo en un tipo de coma flotante o de coma fija.
El rango de un tipo array.
Opcionalmente, para definir el rango en un bucle for cuando se especifica el tipo de la variable índice.

record

Usada en declaraciones de tipos registro.

rem

Esta palabra clave se usa como el operador que devuelve el resto (remainder) de la división entera con signo, es decir, la siguiente igualdad es verdadera:

A = (A/B) * B + (A rem B)

renames

Utilizada para renombrar un paquete, objeto o subprograma.

requeue

La sentencia requeue se emplea para redirigir una llamada que esté encolada en un punto de entrada de una tarea hacia otra cola.

return

Para declarar el tipo del valor devuelto en la definición de una función.
En una sentencia return, para devolver el control al llamador desde un subprograma. Si es una función se indica además el valor devuelto, si es un procedimiento, el return no tiene argumentos.

reverse

En un bucle for indica que la cuenta se ha de llevar a cabo en sentido inverso al ordinario.

Por ejemplo, el siguiente bucle imprime: 10 9 8 7 6 5 4 3 2 1.

for I in reverse 1 .. 10 loop
   Ada.Text_IO.Put (Integer'Image (I));
end loop;

Sin embargo, el siguiente bucle no imprime nada porque un rango cuyo primer valor es mayor que el segundo es un rango nulo.

for I in reverse 10 .. 1 loop
   Ada.Text_IO.Put (Integer'Image (I)); -- No entra al bucle
end loop;

S

select

En la selección de citas en tareas.

separate

En la declaración y definición de subunidades.

subtype

En la declaración de subtipos.

synchronized

Solo Ada 2005: Para declarar que una interfaz tiene que ser implementada por un tipo tarea o un tipo protegido.

type Personaje is synchronized interface;

T

tagged

En la declaración y extensión de tipos etiquetados.

task

En la declaración y cuerpo de tareas y tipos tarea.

terminate

Para terminar tareas.

then

En la instrucción if-then-else y en el operador lógico de conjunción corto-circuitado (and then).

type

En la declaración de tipos y en los parámetros de tipo en unidades genéricas.

U

until

Es parte de la sentencia delay until usada para producir una espera hasta un tiempo absoluto en el futuro.

Tiempo_Referencia := Ada.Calendar.Clock;

-- [...] Algún procesamiento que lleve un tiempo indeterminado.

-- Se espera hasta que hayan pasado 5 s. desde el tiempo de referencia
-- (continúa inmediatamente en caso de que el tiempo ya haya pasado).
delay until Tiempo_Referencia + Duration (5.0);

use

use Paquete;

Hace visible directamente el contenido de un paquete.

use type Tipo;

Hace visible solo los operadores asociados al tipo, para poder usar notación infija.

W

while

Se utiliza para definir un tipo de bucle que se encuentra en la mayoría de los lenguajes de programación estructurados y cuyo propósito es repetir un bloque de código mientras una condición se mantenga verdadera. Ver Sentencias y estructuras de control.

with

Se utiliza en los siguientes contextos:

X

xor

Operador lógico de disyunción exclusiva.
En la sentencia select en tareas.

Manual de referencia de Ada

2.9