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.

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

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

abstract

editar

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

editar

accept se utiliza para aceptar citas en una tarea.

access

editar

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

aliased

editar

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

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.

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

Para declarar tipos array.

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

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.

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

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

constant

editar

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

declare

editar

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

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;

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

digits

editar

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

Usado en la aceptación de citas en tareas.

Usada en la sentencia if-then-else.

Usada en la sentencia if-then-else.

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

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

exception

editar

Para declarar excepciones o definir un manejardor.

Para salir de un bucle condicional o incondicionalmente.

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

function

editar

Para definir funciones.

generic

editar

Para definir unidades genéricas.

Para la sentencia goto.

Usada en la sentencia if-then-else.

in se utiliza en:

interface

editar

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

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


limited

editar

La palabra reservada limited se usa en:

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

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

Modulo := X mod Y;

new se utiliza en los siguientes contextos:

En la declaración de tipos array.

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

others

editar

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.

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

overriding

editar

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.

package

editar

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

pragma

editar

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

private

editar

procedure

editar

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

protected

editar

Usado en las unidades protegidas.

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

La palabra clave range se utiliza para:

record

editar

Usada en declaraciones de tipos registro.

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

editar

Utilizada para renombrar un paquete, objeto o subprograma.

requeue

editar

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

return

editar
  • 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

editar

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;

select

editar

En la selección de citas en tareas.

separate

editar

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

subtype

editar

En la declaración de subtipos.

synchronized

editar

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;

tagged

editar

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

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

terminate

editar

Para terminar tareas.

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

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

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

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.

Se utiliza en los siguientes contextos:

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

Manual de referencia de Ada

editar