File : posix-file_locking.ads
------------------------------------------------------------------------------
-- --
-- FLORIST (FSU Implementation of POSIX.5) COMPONENTS --
-- --
-- P O S I X . F I L E _ L O C K I N G --
-- --
-- S p e c --
-- --
-- --
-- This file is a component of FLORIST, an implementation of the POSIX --
-- Ada bindings for use with the GNAT Ada compiler and the FSU Gnu Ada --
-- Runtime Library (GNARL). --
-- --
-- This package specification contains some text extracted from IEEE STD --
-- 1003.5: 1990, Information Technology -- POSIX Ada Language Interfaces --
-- Part 1: Binding for System Application Program Interface, as amended --
-- by IEEE STD 1003.5b: 1996, Amendment 1: Realtime Extensions, copyright --
-- 1996 by the Institute of Electrical and Electronics Engineers, Inc. --
-- --
-- The package specifications in the IEEE standards cited above represent --
-- only a portion of the documents and are not to be interpreteted --
-- outside the context of the documents. The standards must be used in --
-- conjunction with the package specifications in order to claim --
-- conformance. The IEEE takes no responsibility for and will assume no --
-- liability for damages resulting from the reader's misinterpretation of --
-- said information resulting from its out-of-context nature. To order --
-- copies of the IEEE standards, please contact the IEEE Service Center --
-- at 445 Hoes Lane, PO Box 1331, Piscataway, NJ 08855-1331; via phone at --
-- 1-800-678-IEEE, 908-981-1393; or via fax at 908-981-9667. --
-- --
-- These package specifications are distributed in the hope that they --
-- will be useful, but WITHOUT ANY WARRANTY; without even the implied --
-- warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. --
-- --
------------------------------------------------------------------------------
-- [$Revision: 1.1]
with POSIX,
POSIX.IO,
POSIX.Process_Identification;
package POSIX.File_Locking is
type Lock_Kind is (Read_Lock, Write_Lock, Unlock);
type File_Lock (Whole_File : Boolean := True) is
record
Lock : Lock_Kind;
case Whole_File is
when True => null;
when False =>
Starting_Point : POSIX.IO.Position;
Start : POSIX.IO.IO_Offset;
Length : POSIX.IO_Count;
end case;
end record;
procedure Get_Lock
(File : in POSIX.IO.File_Descriptor;
Lock : in File_Lock;
Result : out File_Lock;
Process : out POSIX.Process_Identification.Process_ID);
procedure Set_Lock
(File : in POSIX.IO.File_Descriptor;
Lock : in File_Lock);
procedure Wait_To_Set_Lock
(File : in POSIX.IO.File_Descriptor;
Lock : in File_Lock;
Masked_Signals : in POSIX.Signal_Masking := POSIX.RTS_Signals);
end POSIX.File_Locking;