Una cláusula de contexto se utiliza para especificar los elementos de librería que se necesitan en una unidad de compilación.
context_clause ::= {context_item} context_item ::= with_clause | use_clause with_clause ::= with_clause_restriction with library_unit_name {, library_unit_name};
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;