-- Autogenerated by MSIL2Ada v. 2
-- By: Martin C. Carlisle
--     Department of Computer Science
--     US Air Force Academy
--     carlislem@acm.org
pragma Extensions_Allowed(On);
with MSSyst.Object;
with MSIL_Types;
use MSIL_Types;
with type MSSyst.TimeSpan.Valuetype is tagged;
with MSSyst.Threading.LockCookie;
with type MSSyst.Object.Ref is access;
with type MSSyst.Type_k.Ref is access;
with type MSSyst.String.Ref is access;
with MSSyst.Object;
package MSSyst.Threading.ReaderWriterLock is
   type Typ;
   type Ref is access all Typ'Class;
   type Ref_addrof is access all Ref;
   type Ref_Arr is array(Natural range <>) of Ref;
   type Ref_Array is access all Ref_Arr;
   type Ref_Array_addrof is access all Ref_Array;
   type Typ is new MSSyst.Object.Typ with record
      null;
   end record;
   function new_ReaderWriterLock(
      This : Ref := null) return Ref;
   procedure AcquireReaderLock(
      This : access Typ;
      timeout : MSSyst.TimeSpan.Valuetype);
   procedure AcquireReaderLock(
      This : access Typ;
      millisecondsTimeout : Integer);
   procedure AcquireWriterLock(
      This : access Typ;
      timeout : MSSyst.TimeSpan.Valuetype);
   procedure AcquireWriterLock(
      This : access Typ;
      millisecondsTimeout : Integer);
   function AnyWritersSince(
      This : access Typ;
      seqNum : Integer) return Standard.Boolean;
   procedure DowngradeFromWriterLock(
      This : access Typ;
      lockCookie : MSSyst.Threading.LockCookie.Valuetype_addrof);
   function get_IsReaderLockHeld(
      This : access Typ) return Standard.Boolean;
   function get_IsWriterLockHeld(
      This : access Typ) return Standard.Boolean;
   function get_WriterSeqNum(
      This : access Typ) return Integer;
   function ReleaseLock(
      This : access Typ) return MSSyst.Threading.LockCookie.Valuetype;
   procedure ReleaseReaderLock(
      This : access Typ);
   procedure ReleaseWriterLock(
      This : access Typ);
   procedure RestoreLock(
      This : access Typ;
      lockCookie : MSSyst.Threading.LockCookie.Valuetype_addrof);
   function UpgradeToWriterLock(
      This : access Typ;
      timeout : MSSyst.TimeSpan.Valuetype) return MSSyst.Threading.LockCookie.Valuetype;
   function UpgradeToWriterLock(
      This : access Typ;
      millisecondsTimeout : Integer) return MSSyst.Threading.LockCookie.Valuetype;
private
   pragma Convention(MSIL,Typ);
   pragma MSIL_Constructor(new_ReaderWriterLock);
   pragma Import(MSIL,AcquireReaderLock,"AcquireReaderLock");
   pragma Import(MSIL,AcquireWriterLock,"AcquireWriterLock");
   pragma Import(MSIL,AnyWritersSince,"AnyWritersSince");
   pragma Import(MSIL,DowngradeFromWriterLock,"DowngradeFromWriterLock");
   pragma Import(MSIL,get_IsReaderLockHeld,"get_IsReaderLockHeld");
   pragma Import(MSIL,get_IsWriterLockHeld,"get_IsWriterLockHeld");
   pragma Import(MSIL,get_WriterSeqNum,"get_WriterSeqNum");
   pragma Import(MSIL,ReleaseLock,"ReleaseLock");
   pragma Import(MSIL,ReleaseReaderLock,"ReleaseReaderLock");
   pragma Import(MSIL,ReleaseWriterLock,"ReleaseWriterLock");
   pragma Import(MSIL,RestoreLock,"RestoreLock");
   pragma Import(MSIL,UpgradeToWriterLock,"UpgradeToWriterLock");
end MSSyst.Threading.ReaderWriterLock;
pragma Extensions_Allowed(Off);
pragma Import(MSIL,MSSyst.Threading.ReaderWriterLock,
   ".ver 1.0.5000.0 .publickeytoken=( 96 9d b8 05 3d 33 22 ac )",
   "[mscorlib]System.Threading.ReaderWriterLock");
