DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download

⟦7b27c5cd9⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, procedure Donate_Tokens, seg_028674

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─ ⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧ 

E3 Source Code



procedure Donate_Tokens (Product                : String       := ">>PRODUCT<<";
                         Donation               : Positive     := 0;
                         Resulting_Remote_Count : Positive     := 0;
                         Remote_Machine_Id      : Long_Integer := 0;
                         Remote_Site            : String       := ">>SITE ID<<";
                         Response               : String       := "<PROFILE>");

-- Give up Donation authorized tokens to the machine with whose ID is
-- Remote_Machine_Id.  For verification, the number of authorized
-- tokens that will result from the corresponding Accept_Tokens on the
-- remote machine must be provided as Resulting_Remote_Count.
--
-- Transfers are only valid within a single Site, as defined by Rational
-- constracts.  The corresponding Accept_Tokens will fail if the Sites are
-- different.  It is not possible to either Donate or Accept Tokens from a
-- machine without a valid Site ID.  See Set_Site for details.
--
-- Operation fails if the number of active tokens on the local machine
-- exceeds the newly computed limit.
--
-- Prints the corresponding Accept_Tokens call and records the donation
-- and resulting authorization change in the machine error log.
--
-- Requires Operator privileges.
--
-- A machine may not both Donate and Accept Tokens in the same day.


E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=11 rec1=00 rec2=01 rec3=04e
        [0x01] rec0=0c rec1=00 rec2=02 rec3=000
    tail 0x2152107be83c18842d447 0x42a00088462063203