API Reference

function Seize

   function Seize(  
      This : in Object; 
      Id   : in Natural ) return Lock_Handle_Type; 
 
   Invalid_Lock_Handle : exception; 

Description

Seize a resource which is identified by the given natural number. The function blocks till the given resource is available.

Preconditions

Postconditions:

C.1 - Returns a so called lock identifier which has to be used

to unlock the seized resource.

Exceptions

Notes:

procedure Release

   procedure Release(  
      This : in out Object; 
      Lock : in out Lock_Handle_Type ); 
 

Description

Make the resource identified by the lock identifier available for other seizures.

Preconditions

P.1 - Lock identifier exisits.

Postconditions

C.1 - The resource is available for other seizures.

Exceptions

Notes: