API Reference

procedure Initialize

   procedure Initialize(  
      Size : in Natural ); 
 
   Invalid_Transaction : exception; 
   Invalid_Usage       : exception; 

Description

Initialize the transaction manager package to handle the given number of transactions.

Preconditions

P.1 - Transaction Manager not initialized.

Postconditions

C.1 - The object value is the same as at the time of the invokation

of the start method.

C.2 - Transaction is still active.

Exceptions

P.1 - Unvalid_Use

procedure Finalize;

   procedure Finalize;  
 

Description

Shuttdown the transaction management

Preconditions

P.1 - Transaction manager is Initialized.

Postconditions

C.1 - All tranaction data is lost. C.2 - Transaction Monitoring is stoped.

Exceptions

Notes:

procedure Start

   procedure Start(  
      This     : in out Object; 
      Instance : in Persistent.Reference ); 
 

Description

Start a transaction. This procedure blocks if other processes do have an active transaction. The transaction is closed either by the Commit of the Cancel method.

Preconditions

P.1 - The transaction package has been initialized by means of the

initialize procedure.

Postconditions

C.1 - A copy of the given persistent object is created. C.2 - The object is locked for other transactions. The method will

block until the instance has been aquiered by the process.

Exceptions

Notes:

procedure Commit

   procedure Commit(  
      This : in out Object ); 
 

Description

Close the transaction.

Preconditions

P.1 - Transaction has been Started

Postconditions

C.1 - The backup copy of the object is deleted and the object is

available for other processes to aquiere the object by means of a start operation.

Exceptions

Notes:

procedure Cancel

   procedure Cancel(  
      This : in out Object ); 
 

Description

Cancel the current transaction.

Preconditions

P.1 - Transction has been started

Postconditions

C.1 - The Original value of the object is restored C.2 - object is available for other transactions.

Exceptions

Notes:

procedure Rollback

   procedure Rollback(  
      This : in out Object ); 
 

Description

Restore the contents of the object to the original value

Preconditions

P.1 - Transaction is active

Postconditions

C.1 - The object value is the same as at the time of the invokation

of the start method.

C.2 - Transaction is still active.

Exceptions

Notes: