Cláusula de contexto

Explicación

Una cláusula de contexto se utiliza para especificar los elementos de librería que se necesitan en una unidad de compilación.

Sintaxis

context_clause ::= {context_item}

context_item ::= with_clause | use_clause

with_clause ::= with_clause_restriction with library_unit_name {, library_unit_name};

Ejemplo

Sin cláusula use:

with Ada.Text_IO;
procedure Hola is
begin
   Ada.Text_IO.Put_Line ("Hola");
end Hola;

Con cláusula use:

with Ada.Text_IO; use Ada.Text_IO;
procedure Hola is
begin
   Put_Line ("Hola");
end Hola;

Cláusula de contexto con varias librerías:

with Ada.Text_IO, Ada.Integer_Text_IO; use Ada.Text_IO;
with Ada.Strings, Ada.Strings.Fixed;

Véase