tupplespacepackage.ads

package tuppleSpacePackage is
    type Tupple is abstract tagged null record;
    procedure Copy_Into (A: Tupple'Class; B: out Tupple) is abstract;
    type TuppleSpace is synchronized interface;
    procedure Out_Operation (Object : in out TuppleSpace; T : Tupple'Class) is abstract;
    procedure In_Operation   (Object : in out TuppleSpace; Result : out Tupple'Class)  is abstract with Synchronization => By_Entry;
    procedure RD_Operation   (Object : in out TuppleSpace; Result : out Tupple'Class)  is abstract with Synchronization => By_Entry;
    procedure Inp_Operation (Object : in out TuppleSpace; Result : out Tupple'Class) is abstract;
    procedure RDP_Operation (Object : in out TuppleSpace; Result : out Tupple'Class) is abstract;
    No_Immediate_Message: exception;
end tuppleSpacePackage;