DataMuseum.dk

top - download

    Length: 1261 (0x4ed)
    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

package Broker_Defs is

    type Class is (Request,     -- request          needs a response
                   Notice       -- notice           doesn't need a response
                   );

    Default_Class : Class := Request;

    function Class_Image (The_Class : in Class)  return String;
    function Class_Value (The_Image : in String) return Class;


    type Status is (Send,       -- request/notice   to be executed
                    Register,   -- request          able to execute
                    Observed,   -- request/notice   wanted to be observed
                    Query,      -- request          to the database
                    Done,       -- request          done
                    Failed,     -- request          has failed
                    Handled     -- request          being handled
                    );

    Default_Status : Status := Send;

    function Status_Image (The_Status : in Status) return String;
    function Status_Value (The_Image : in String)  return Status;


    type Result is new Integer; -- ids used by the users

    Default_Result : Result := 0;

    function Result_Image (The_Result : in Result) return String;
    function Result_Value (The_Image : in String)  return Result;

end Broker_Defs;