Programación en Ada/Palabras reservadas

De Wikilibros, la colección de libros de texto de contenido libre.

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

A[editar]

abort[editar]

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

abs[editar]

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.

all[editar]

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[editar]

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

array[editar]

Para declarar tipos array.

at[editar]

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

B[editar]

begin[editar]

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[editar]

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

C[editar]

case[editar]

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.

D[editar]

declare[editar]

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

delay[editar]

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[editar]

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

digits[editar]

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

do[editar]

Usado en la aceptación de citas en tareas.

E[editar]

else[editar]

Usada en la sentencia if-then-else.

elsif[editar]

Usada en la sentencia if-then-else.

end[editar]

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

entry[editar]

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

exception[editar]

Para declarar excepciones o definir un manejardor.

exit[editar]

Para salir de un bucle condicional o incondicionalmente.

F[editar]

for[editar]

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

function[editar]

Para definir funciones.

G[editar]

generic[editar]

Para definir unidades genéricas.

goto[editar]

Para la sentencia goto.

I[editar]

if[editar]

Usada en la sentencia if-then-else.

in[editar]

in se utiliza en:

interface[editar]

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

is[editar]

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


L[editar]

limited[editar]

La palabra reservada limited se usa en:

loop[editar]

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

M[editar]

mod[editar]

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

Modulo := X mod Y;

N[editar]

new[editar]

new se utiliza en los siguientes contextos:

not[editar]

null[editar]

O[editar]

of[editar]

En la declaración de tipos array.

or[editar]

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

out[editar]

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.

P[editar]

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.

R[editar]

raise[editar]

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

range[editar]

La palabra clave range se utiliza para:

record[editar]

Usada en declaraciones de tipos registro.

rem[editar]

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;

S[editar]

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;

T[editar]

tagged[editar]

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

task[editar]

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

terminate[editar]

Para terminar tareas.

then[editar]

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

type[editar]

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

U[editar]

until[editar]

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[editar]

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[editar]

while[editar]

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[editar]

Se utiliza en los siguientes contextos:

X[editar]

xor[editar]

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

Manual de referencia de Ada[editar]