DataMuseum.dk

top - download

    Length: 2420 (0x974)
    Types: TextFile
    Names: »V«

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

TextFile

with Low_Level_Action;
with Machine;

package Action is

    package Lla renames Low_Level_Action;

    subtype Id is Lla.Id;
    Null_Id : constant Id := Lla.Null_Id;

    function "=" (A, B : Id) return Boolean renames Lla."=";

    function Hash (The_Action : Id) return Integer renames Lla.Hash;

    subtype Mode is Lla.Mode;

    None      : constant Mode := Lla.None;
    Read      : constant Mode := Lla.Read;
    Update    : constant Mode := Lla.Update;
    Overwrite : constant Mode := Lla.Overwrite;

    function "=" (A, B : Mode) return Boolean renames Lla."=";

    pragma Consume_Offset;
    function Is_In_Progress (Of_Action : Id) return Boolean
        renames Lla.Is_In_Progress;



    -- methods of starting an action
    -- action_parameter  = null_id (if present) ==> returns a new action
    -- mode parameter(s) = none    (if present) ==> returns Bogus action

    pragma Consume_Offset;

    function Start (Task_Id : Machine.Task_Id := Machine.Get_Task_Id) return Id
        renames Lla.Get_Id;

    function Start (Action_Parameter : Action.Id;
                    Task_Id : Machine.Task_Id := Machine.Get_Task_Id) return Id;

    function Start (Action_Parameter : Id;
                    Access_Mode : Mode;
                    Task_Id : Machine.Task_Id := Machine.Get_Task_Id) return Id;

    function Start (Action_Parameter : Id;
                    Access_Mode_1 : Mode;
                    Access_Mode_2 : Mode;
                    Task_Id : Machine.Task_Id := Machine.Get_Task_Id) return Id;


    -- methods of finishing an action
    -- do_commit controls whether the action is committed or abandoned
    -- do_inform controls whether object managers are automatically informed
    -- the second form finishes if and only if Action_Parameter /= Null_Id
    procedure Finish (The_Action : in out Action.Id;
                      Do_Commit  :        Boolean;
                      Do_Inform  :        Boolean := True);

    procedure Finish (Action_Parameter :        Action.Id;
                      Action_Local     : in out Action.Id;
                      Do_Commit        :        Boolean;
                      Do_Inform        :        Boolean := True);

    procedure Prevent_Commit (The_Action : Id) renames Lla.Prevent_Commit;
    Commit_Prevented : exception renames Lla.Commit_Prevented;

    pragma Subsystem (Om_Mechanisms);
    pragma Module_Name (4, 902);

end Action;