Ada Programming/Libraries/Ada.Direct IO
This language feature is available from Ada 95 on.
Ada.Direct_IO is a unit of the Predefined Language Environment since Ada 95.
Specification
edit-- Standard Ada library specification -- Copyright (c) 2003-2018 Maxim Reznik <reznikmm@gmail.com> -- Copyright (c) 2004-2016 AXE Consultants -- Copyright (c) 2004, 2005, 2006 Ada-Europe -- Copyright (c) 2000 The MITRE Corporation, Inc. -- Copyright (c) 1992, 1993, 1994, 1995 Intermetrics, Inc. -- SPDX-License-Identifier: BSD-3-Clause and LicenseRef-AdaReferenceManual -- -------------------------------------------------------------------------with
Ada.IO_Exceptions;generic
type
Element_Typeis
private
;package
Ada.Direct_IOis
type
File_Typeis
limited
private
;type
File_Modeis
(In_File, Inout_File, Out_File);type
Countis
range
0 .. implementation_defined;subtype
Positive_Countis
Countrange
1 .. Count'Last; -- File managementprocedure
Create (File :in
out
File_Type; Mode :in
File_Mode := Inout_File; Name :in
String := ""; Form :in
String := "");procedure
Open (File :in
out
File_Type; Mode :in
File_Mode; Name :in
String; Form :in
String := "");procedure
Close (File :in
out
File_Type);procedure
Delete (File :in
out
File_Type);procedure
Reset (File :in
out
File_Type; Mode :in
File_Mode);procedure
Reset (File :in
out
File_Type);function
Mode (File :in
File_Type)return
File_Mode;function
Name (File :in
File_Type)return
String;function
Form (File :in
File_Type)return
String;function
Is_Open (File :in
File_Type)return
Boolean; -- Input and output operationsprocedure
Read (File :in
File_Type; Item :out
Element_Type; From :in
Positive_Count);procedure
Read (File :in
File_Type; Item :out
Element_Type);procedure
Write (File :in
File_Type; Item :in
Element_Type; To :in
Positive_Count);procedure
Write (File :in
File_Type; Item :in
Element_Type);procedure
Set_Index (File :in
File_Type; To :in
Positive_Count);function
Index (File :in
File_Type)return
Positive_Count;function
Size (File :in
File_Type)return
Count;function
End_Of_File (File :in
File_Type)return
Boolean; -- Exceptions Status_Error :exception
renames
IO_Exceptions.Status_Error; Mode_Error :exception
renames
IO_Exceptions.Mode_Error; Name_Error :exception
renames
IO_Exceptions.Name_Error; Use_Error :exception
renames
IO_Exceptions.Use_Error; Device_Error :exception
renames
IO_Exceptions.Device_Error; End_Error :exception
renames
IO_Exceptions.End_Error; Data_Error :exception
renames
IO_Exceptions.Data_Error;private
type
File_Typeis
limited
null
record
;end
Ada.Direct_IO;
See also
editWikibook
editExternal examples
edit- Search for examples of
Ada.Direct_IO
in: Rosetta Code, GitHub (gists), any Alire crate or this Wikibook. - Search for posts related to
Ada.Direct_IO
in: Stack Overflow, comp.lang.ada or any Ada related page.
Ada Reference Manual
editAda 95
editAda 2005
editAda 2012
editOpen-Source Implementations
editFSF GNAT
- Specification: a-direio.ads
- Body: a-direio.adb
drake
- Specification: streams/a-direio.ads
- Body: streams/a-direio.adb