API Reference

function Fresh_Transaction_ID, function Image, function "<" , function ">"

   function Fresh_Transaction_ID return Transaction_ID;  
 
   function Image(  
      Value : in Transaction_ID ) return String; 
 
   function "<" (  
      Left, Right : in Transaction_ID ) return Boolean; 
   function ">" (  
      Left, Right : in Transaction_ID ) return Boolean; 
 
   Invalid_Transaction_ID    : exception; 
   To_Many_Open_Transactions : exception; 
   Not_Member_Of_Transaction : exception; 
   Transaction_ID_Allocated  : exception;    
   Types_Dont_Match          : exception; 
   Wrong_Transaction_State   : exception;