⟦8bb6d7309⟧

E3 Source Code



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;
DataMuseum.dk

Rational R1000/400

⟦8bb6d7309⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
