DataMuseum.dk

top - download

    Length: 1872 (0x750)
    Types: TextFile
    Names: »V«

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─ ⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─ ⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧ 
└─⟦2f6cfab89⟧ Bits:30000547 8mm tape, Rational 1000, !projects 94-01-04
    └─ ⟦d65440be7⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Broker_Defs;
with Notice;
with Request;
with Set;
with Umps_Defs;

package Canvas is

    type Object (Class : Broker_Defs.Class := Broker_Defs.Default_Class) is
       private;

    function Create_Request return Object;

    function Create_Notice return Object;


----- accessing functions -----

    function Class_Of (The_Object : in Object) return Broker_Defs.Class;

    function Status_Of (The_Object : in Object) return Broker_Defs.Status;

    function Result_Of (The_Object : in Object) return Broker_Defs.Result;

    function Element_Of (The_Object : in Object) return Request.Element;

    function Element_Of (The_Object : in Object) return Notice.Element;


----- modifing procedures -----

    procedure Add_Status (The_Status : in Broker_Defs.Status;
                          Into_The_Object : in out Object);

    procedure Add_Result (The_Result : in Broker_Defs.Result;
                          Into_The_Object : in out Object);

    procedure Add_Element (The_Element : in Request.Element;
                           Into_The_Object : in out Object);

    procedure Add_Element (The_Element : in Notice.Element;
                           Into_The_Object : in out Object);


----- global functions -----

    function Image (The_Object : in Object) return String;

    function Value (The_String : in String) return Object;


private

    type Object (Class : Broker_Defs.Class := Broker_Defs.Default_Class) is
        record
            Status : Broker_Defs.Status := Broker_Defs.Default_Status;
            Result : Broker_Defs.Result := Broker_Defs.Default_Result;
            case Class is
                when Broker_Defs.Request =>
                    Request_Element : Request.Element;
                when Broker_Defs.Notice =>
                    Notice_Element : Notice.Element;
            end case;
        end record;

end Canvas;