DataMuseum.dk

top - download

    Length: 4675 (0x1243)
    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 Machine;
with Simple_Status;

package Program is

    subtype Job_Id is Machine.Job_Id;
    subtype Condition is Simple_Status.Condition;

    procedure Run (S : String := "<SELECTION>";
                   Context : String := "$";
                   Response : String := "<PROFILE>");
    -- sets root of job_garbage_unit, dangerous to run concurrently in one job

    procedure Run_Job (S : String := "<SELECTION>";
                       Debug : Boolean := False;
                       Context : String := "$";
                       After : Duration := 0.0;
                       Options : String := "";
                       Response : String := "<PROFILE>");

    procedure Create_Job (S : String := "<SELECTION>";
                          Job : out Job_Id;
                          Status : in out Condition;
                          Debug : Boolean := False;
                          Context : String := "$";
                          After : Duration := 0.0;
                          Options : String := "";
                          Response : String := "<PROFILE>");

    -- Run_Job and Create_Job are identical except that Create_Job
    -- returns the job number of the job just started and a status indicating
    -- success or failure.
    --
    -- Debug => True starts the debugger on the newly started job
    --
    -- The following options are defined:
    --
    --      Output        Specifies the name of the new job's output file.
    --      Input         New job's standard input file.
    --      Error         New job's error file.
    --                    File names given are resolved in the directory
    --                    context of the caller, NOT the Context parameter.
    --
    --      User          Causes the new job to run with the identity
    --                    of this user.  Password must be valid unless
    --                    running job is privileged.  If not specified
    --                    new job runs with same identity as parent.
    --
    --      Password      Password used in conjunction with User.
    --
    --      Session       Session used in conjunction with User.


    function Started_Successfully (Status : Condition) return Boolean;
    -- True => Job has been started successfully

    procedure Wait_For (Job : Job_Id);
    -- Wait until the job specified has terminated.

    procedure Change_Identity (To_User : String := "";
                               Password : String := "";
                               Options : String := "";
                               Status : in out Condition);

    -- Change the identity of the calling job to the specified
    -- user.  Password must be supplied and correct unless the
    -- caller is privileged.  Options specifies additional
    -- characteristics to be changed.  If To_User is null,
    -- the options are processed.

    -- Note that only the access control identity is changed.
    -- The actual username and session of the job are NOT changed.
    -- This operation should never be used to change identity and
    -- execute untrusted code.  The identity can always be changed
    -- back to the original job identity.

    -- Options presently defined are:
    --      Privileged          -- enable privileged mode.  The specified user
    --                          -- must be a member of group PRIVILEGED
    --      Privileged => False -- disable privileged.  No effect if caller
    --                          -- was not already privileged.
    --      Restore_Identity    -- Change the identity back to the original
    --                          -- identity of the job.  Password is not
    --                          -- required to do this.

    function Current (Subsystem : String := ">>SUBSYSTEM NAME<<";
                      Unit : String := ">>PROCEDURE NAME<<";
                      Parameters : String := "";
                      Activity : String := "<ACTIVITY>") return String;
    -- Constructs a procedure call suitable for Run or Run_Job that references
    -- the appropriate view, has the appropriate quotes, etc.  Unit name is
    -- the Ada name to be called; it will be found anywhere in the
    -- view.  If the procedure being called has parameter they may be
    -- provided.  If the current view of !Subsystem is Rev8_4_0 and package
    -- View is in the Commands directory, then:
    --
    -- Current ("!Subsystem", "View.Initial",
    --          "(P1 => ""!New_Tool"", P2 =>1)") returns:
    --
    -- "!Subsystem.Rev8_4_0.Units.Commands".View.Initial
    --      (P1 => "!New_Tool", P2 => 1);

    pragma Subsystem (Commands);
    pragma Module_Name (4, 3930);

end Program;