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
|
|
|
|