Ada Programming/Keywords/use

From Wikibooks, the open-content textbooks collection

---

Contents 1 Use clause 1.1 At library level 1.2 At declaration level 1.3 For types 2 Representation clause 2.1 For attributes 2.2 For records 2.3 For enumerations 3 See also 3.1 Wikibook 3.2 Ada Reference Manual 3.3 Ada Quality and Style Guide

[edit] Use clause

[edit] At library level

This use clause make the content of a package immediately visible.

with Ada.Text_IO;   use Ada.Text_IO;

procedure Hello is
begin
   Put_Line("Hello, world!");
   New_Line;
   Put_Line("I am an Ada program with package use.");
end Hello;

If readability is your main concern then you should avoid this type of use clause. However it is needed to resolve a name clash between the packages which are imported and the package currently compiled.

[edit] At declaration level

with Ada.Text_IO;

procedure Hello is
   use Ada.Text_IO;
begin
   Put_Line("Hello, world!");
   New_Line;
   Put_Line("I am an Ada program with package use.");
end Hello;

[edit] For types

with Ada.Text_IO;

procedure Hello is
   use type Ada.Text_IO.File_Type
begin
   Ada.Text_IO.Put_Line("Hello, world!");
   Ada.Text_IO.New_Line;
   Ada.Text_IO.Put_Line("I am an Ada program with package use.");
end Hello;

[edit] Representation clause

[edit] For attributes

type Day_Of_Month is range 1 .. 31;            
for  Day_Of_Month'Size use 8;

[edit] For records

[edit] For enumerations

[edit] See also

[edit] Wikibook

• Ada Programming
• Ada Programming/Keywords

[edit] Ada Reference Manual

• 2.9 Reserved Words (Annotated)
• Annex P (informative) Syntax Summary (Annotated)

• 8.3 Visibility (Annotated)
• 8.4 Use Clauses (Annotated)
• 13.3 Operational and Representation Attributes (Annotated)
• 13.4 Enumeration Representation Clauses (Annotated)
• 13.5.1 Record Representation Clauses (Annotated)

[edit] Ada Quality and Style Guide

• 3.1.3 Capitalization

Ada Keywords

abort else new return abs elsif not reverse abstract end null accept entry select access exception of separate aliased exit or subtype all others synchronized and for out array function overriding tagged at task generic package terminate begin goto pragma then body private type if procedure case in protected until constant interface use is raise declare range when delay limited record while delta loop rem with digits renames do mod requeue xor