 DocAda(tm) is a productivity tool of KSCE
DocAda(tm) is a productivity tool of KSCE
 |
 |  |
 |  |
 |  |
 | 
 
About DocAda Light:
  Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
  Complete RM95
/ Updates
/ News
Static Semantics
The following library_unit_renaming_declarations exist:
   
       with Ada.Unchecked_Conversion;
       generic function Unchecked_Conversion renames Ada.Unchecked_Conversion;
       with Ada.Unchecked_Deallocation;
       generic procedure Unchecked_Deallocation renames Ada.Unchecked_Deallocation;
       with Ada.Sequential_IO;
       generic package Sequential_IO renames Ada.Sequential_IO;
       with Ada.Direct_IO;
       generic package Direct_IO renames Ada.Direct_IO;
       with Ada.Text_IO;
       package Text_IO renames Ada.Text_IO;
       with Ada.IO_Exceptions;
       package IO_Exceptions renames Ada.IO_Exceptions;
       with Ada.Calendar;
       package Calendar renames Ada.Calendar;
       with System.Machine_Code;
       package Machine_Code renames System.Machine_Code; -- If supported.
Implementation Requirements
The implementation shall allow the user to replace these renamings.
 
About DocAda Light:
  Preface / Preliminary
/ Help
/ TOC
/ Copyright
DocAda Online at the Ada Home:
  Complete RM95
/ Updates
/ News
 |
 |  |
 |  |
 |  |
 | 