⟦68c3fcf2e⟧

E3 Source Code



with System;
with Ada_Krn_Defs;
with Ada_Krn_I;
package body V_I_Sema is
    function Init_Sema (S : A_Semaphore;
                        Init_State : Semaphore_State_T := Semaphore_Empty)
                       return Boolean is
    begin
        return Ada_Krn_I.Semaphore_Init
                  (Ada_Krn_Defs.A_Semaphore_T (S),
                   Ada_Krn_Defs.Semaphore_State_T (Init_State),
                   Ada_Krn_Defs.Default_Semaphore_Attr);
    end Init_Sema;

    procedure Enter (S : A_Semaphore) is
    begin
        Ada_Krn_I.Semaphore_Wait (Ada_Krn_Defs.A_Semaphore_T (S));
    end Enter;
    function Conditional_Enter (S : A_Semaphore) return Boolean is
    begin
        return Ada_Krn_I.Semaphore_Trywait (Ada_Krn_Defs.A_Semaphore_T (S));
    end Conditional_Enter;
    function Timed_Enter (S : A_Semaphore; Timeout : Duration) return Boolean is
    begin
        return Ada_Krn_I.Semaphore_Timed_Wait
                  (Ada_Krn_Defs.A_Semaphore_T (S), Timeout);
    end Timed_Enter;

    procedure Leave (S : A_Semaphore) is
    begin
        Ada_Krn_I.Semaphore_Signal (Ada_Krn_Defs.A_Semaphore_T (S));
    end Leave;

    procedure Suspend (S : A_Semaphore) is
    begin
        raise V_I_Sema_Not_Supported;
    end Suspend;
    function Timed_Suspend
                (S : A_Semaphore; Timeout : Duration) return Boolean is
    begin
        raise V_I_Sema_Not_Supported;
        return False;
    end Timed_Suspend;

    procedure Resume (S : A_Semaphore) is
    begin
        raise V_I_Sema_Not_Supported;
    end Resume;
end V_I_Sema;
DataMuseum.dk

Rational R1000/400

⟦68c3fcf2e⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
