DataMuseum.dk

top - metrics - download

    Length: 1365 (0x555)
    Types: TextFile
    Names: »V«

└─⟦5f3412b64⟧ Bits:30000745 8mm tape, Rational 1000, ENVIRONMENT 12_6_5 TOOLS 
    └─⟦91c658230⟧ »DATA« 
        └─⟦458657fb6⟧ 
            └─⟦a5bbbb819⟧ 
                └─⟦this⟧ 
└─⟦d10a02448⟧ Bits:30000409 8mm tape, Rational 1000, ENVIRONMENT, D_12_7_3
    └─⟦fc9b38f02⟧ »DATA« 
        └─⟦9b46a407a⟧ 
            └─⟦eec0a994f⟧ 
                └─⟦this⟧ 

TextFile

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.