PDF de programación - Guía de referencia Ada 2005 v2

GUIA DE REFERENCIA BASICA

Ada 2005



C treats you like a consenting adult,
Pascal treats you like a naughty child,

Ada treats you like a criminal

Bárbara Álvarez Torres
Diego Alonso Cáceres





Edita: Universidad Politécnica de Cartagena
Primera Edición, Enero 2008

ISBN : 978-84-95781-92-5


TABLA DE CONTENIDOS DEL CURSO



Introducción a Ada 2005 .................................................................................. 1
1.
2. Elementos Léxicos Básicos .............................................................................. 5
2.1. Elementos léxicos, separadores y delimitadores ......................................... 5
2.2. Comentarios ............................................................................................... 5
2.3.
Identificadores ........................................................................................... 5
2.4. Palabras reservadas .................................................................................... 6
2.5. Literales ..................................................................................................... 6
3. Estructura de un Programa. Unidades ............................................................... 9
3.1. Unidades de programa, compilación y librería ............................................ 9
3.2. Bloques .................................................................................................... 11
3.3. Variables y constantes .............................................................................. 12
3.4. Declaraciones. Reglas de ámbito y visibilidad .......................................... 12
4. Tipos de Datos: Clasificación ......................................................................... 15
4.1. Tipos enumerados .................................................................................... 16
4.1.1. Tipo carácter ..................................................................................... 17
4.1.2. Tipo boolean ..................................................................................... 17
4.2. Tipos enteros............................................................................................ 18
4.3. Tipos reales .............................................................................................. 20
4.4. Algunos atributos aplicables a los tipos escalares ..................................... 21
4.5. Tipos derivados y subtipos ....................................................................... 24
4.6. Compatibilidad y conversión de tipos ....................................................... 25
5. Expresiones y Operadores .............................................................................. 27
5.1. Operadores lógicos ................................................................................... 27
5.1.1. Operadores lógicos sobre tipos modulares ......................................... 28
5.1.2. Operadores relacionales .................................................................... 28
5.2. Operadores aritméticos ............................................................................. 29
5.3. Sobrecarga de operadores ......................................................................... 30
6. Sentencias de Control ..................................................................................... 31
6.1. Selección entre alternativas lógicas .......................................................... 31
6.2. Múltiples alternativas en tipos enumerados .............................................. 32
6.3. Repetición controlada por contador .......................................................... 33
6.4. Repetición controlada por condición lógica .............................................. 34
7. Tipos Estructurados ........................................................................................ 37
7.1. Estructuras homogéneas. Arrays............................................................... 37
7.1.1. Literales array ................................................................................... 38
7.1.2.
“Trozos” de array .............................................................................. 39
7.1.3. Atributos aplicables a los arrays ........................................................ 39
7.1.4. Arrays no restringidos ....................................................................... 39
7.1.5. El tipo predefinido String .................................................................. 40
7.2. Estructuras heterogéneas. Records........................................................... 40
7.2.1. Literales record ................................................................................. 41
7.2.2. Record variante ................................................................................. 42

Guía de referencia Ada 2005 - i -

10.1.
10.2.
10.3.
10.4.

8. Subprogramas ................................................................................................. 43
8.1. Definición, declaración y uso .................................................................... 43
8.1.1. Declaración de un subprograma ......................................................... 46
8.1.2. Definición separada (separate) ........................................................... 46
8.2. Parámetros de los subprogramas ............................................................... 47
8.2.1. Clases de parámetros ......................................................................... 47
8.2.2. Correspondencia entre parámetros reales y formales .......................... 47
8.2.3. Parámetros por omisión ..................................................................... 48
9. Paquetes .......................................................................................................... 49
9.1. Tipos privados y limitados ........................................................................ 49
9.2. Definición y uso ....................................................................................... 49
9.2.1. Especificación ................................................................................... 50
9.2.2. Cuerpo ............................................................................................... 51
9.3. Herencia de paquetes ................................................................................ 53
10. Unidades Genéricas ...................................................................................... 55
Parámetros formales genéricos .............................................................. 55
Instanciación de unidades genéricas ...................................................... 56
Subprogramas genéricos........................................................................ 56
Paquetes genéricos ................................................................................ 58
Excepciones ................................................................................................. 63
11.1. Declaración ........................................................................................... 63
11.2.
Lanzamiento ......................................................................................... 64
11.3. Manejo .................................................................................................. 64
12. Concurrencia en Ada .................................................................................... 67
Tiempo real y tareas periódicas ............................................................. 70
Terminación de tareas ........................................................................... 72
13. Comunicación entre Tareas .......................................................................... 75
13.1. Comunicación síncrona: cita extendida.................................................. 75
Espera selectiva en el lado del servidor .......................................... 77
13.1.1.
Espera selectiva en el lado del cliente ............................................. 79
13.1.2.
13.1.3.
Familia de entrys ............................................................................ 80
13.1.4. Atributos de las tareas .................................................................... 81
13.2. Comunicación asíncrona: tipos protegidos ............................................. 81
Entradas protegidas y sincronización condicional ........................... 82
13.3. Acceso atómico a variables ................................................................... 83

13.2.1.

11.

12.1.
12.2.

Área de Lenguajes y Sistemas Informáticos - ii -




1. INTRODUCCIÓN A ADA 2005

Durante los años 1960 y 1970, el Departamento de Defensa de los Estados Unidos
(DoD) estaba usando más de 450 lenguajes de programación en sus sistemas. Muchos de
éstos eran lenguajes que habían sido diseñados específicamente para un proyecto en
concreto. Pronto se encontraron con cientos de líneas de código escritas en lenguajes
que ya casi nadie sabía o que se habían olvidado. A mediados de 1970 el DoD decidió
poner fin a esta “crisis del software”. Sacaron un concurso para adoptar el diseño de un
lenguaje que pudieran usar para todo: tanto para el desarrollo algorítmico como para
sistemas con requisitos de tiempo-real. Así nació el lenguaje Ada, que debe su nombre a
Lady Ada Lovelace, hija del poeta Lord Byron y ayudante del matemático Charles
Babbage, que inventó la máquina analítica.

Hasta el momento existen tres versiones de Ada: Ada 83 (ISO 8652:1987), Ada 95 (ISO
8652:1995) y Ada 2005 (ISO/IEC 8526:AMD1:2007). Estas normas definen un núcleo
común para todas las implementaciones y unos anexos especializados (obligatorios u
optativos) para programación d