Static Semantics
Name Resolution Rules
use_clause ::= use_package_clause | use_type_clause
use_package_clause ::= use package_name {, package_name};
use_type_clause ::= use type subtype_mark {, subtype_mark};Legality Rules
Dynamic Semantics
with Ada.Calendar; use Ada;
Example of a use type clause:
use type Rational_Numbers.Rational; -- see section Package Specifications and Declarations Two_Thirds: Rational_Numbers.Rational := 2/3;
renaming_declaration ::= object_renaming_declaration | exception_renaming_declaration | package_renaming_declaration | subprogram_renaming_declaration | generic_renaming_declarationDynamic Semantics
subtype Mode is Ada.Text_IO.File_Mode;
object_renaming_declaration ::= defining_identifier : subtype_mark renames object_name;Name Resolution Rules
declare L : Person renames Leftmost_Person; -- see section Incomplete Type Declarations begin L.Age := L.Age + 1; end;
exception_renaming_declaration ::= defining_identifier : exception renames exception_name;Legality Rules
EOF : exception renames Ada.IO_Exceptions.End_Error; -- see section Exceptions in Input-Output
package_renaming_declaration ::= package defining_program_unit_name renames package_name;Legality Rules
package TM renames Table_Manager;
subprogram_renaming_declaration ::= subprogram_specification renames callable_entity_name;Name Resolution Rules
procedure My_Write(C : in Character) renames Pool(K).Write; -- see section Selected Components
function Real_Plus(Left, Right : Real ) return Real renames "+"; function Int_Plus (Left, Right : Integer) return Integer renames "+";
function Rouge return Color renames Red; -- see section Enumeration Types function Rot return Color renames Red; function Rosso return Color renames Rouge;
function Next(X : Color) return Color renames Color'Succ; -- see section Enumeration Types
function "*" (X,Y : Vector) return Real renames Dot_Product; -- see section Subprogram Declarations
function Minimum(L : Link := Head) return Cell renames Min_Cell; -- see section Subprogram Declarations
generic_renaming_declaration ::= generic package defining_program_unit_name renames generic_package_name; | generic procedure defining_program_unit_name renames generic_procedure_name; | generic function defining_program_unit_name renames generic_function_name;Legality Rules
generic package Enum_IO renames Ada.Text_IO.Enumeration_IO; -- see section Input-Output for Enumeration Types
Go to the first, previous, next, last section, table of contents.