< Ada Programming < Libraries

Ada. Time-tested, safe and secure.
This language feature is available from Ada 95 on. Ada.Direct_IO is a unit of the Predefined Language Environment since Ada 95.
Specification
-- 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
Wikibook
External examples
- Search for examples of
Ada.Direct_IO
in: Rosetta Code, GitHub or this Wikibook. - Search for any post related to
Ada.Direct_IO
in: Stack Overflow, comp.lang.ada or any Ada related page.
Ada Reference Manual
Ada 95
Ada 2005
Ada 2012
Open-Source Implementations
FSF GNAT
- Specification: a-direio.ads
- Body: a-direio.adb
drake
- Specification: streams/a-direio.ads
- Body: streams/a-direio.adb
This article is issued from Wikibooks. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.