DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400

This is an automatic "excavation" of a thematic subset of
artifacts from Datamuseum.dk's BitArchive.

See our Wiki for more about Rational R1000/400

Excavated with: AutoArchaeologist - Free & Open Source Software. 

top - metrics - download

⟦b2d26a6ff⟧ Ada Source

    Length: 4096 (0x1000)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Screen, seg_00ff09

Derivation

└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
    └─⟦5a81ac88f⟧ »Space Info Vol 1« 
        └─⟦this⟧

E3 Source Code



package Screen is

    type Panel is limited private;

    type State is (Off, On);


    type Display_Item is (Weather, Flight_Info, Reservations, Stock_Market,
                          Call, Redial, Modem, Light_On, Light_Off,
                          Service_Call, Audio_Channel, Game, Movie,
                          Smoking_Permitted, Seat_Belt_Required, Seat_Number);

    subtype Display_Item_With_Label is Display_Item range Weather .. Movie;
    subtype Display_Item_With_Value is
       Display_Item range Light_On .. Seat_Number;

    subtype Display_Item_With_Passenger_Choices is
       Display_Item range Audio_Channel .. Movie;

    subtype Passenger_Choice_List is String;
    -- Choices in a list are separated by commas.
    subtype Passenger_Choice is String;

    procedure Create (The_Panel : in out Panel);

    function Get_Selection (The_Panel : Panel) return Display_Item_With_Label;

    procedure Set_Light (To_State : State; On_The_Panel : Panel);

    procedure Set_Service_Call (To_State : State; On_The_Panel : Panel);


    function Get_Choice (For_Item : Display_Item_With_Passenger_Choices;
                         From_List : Passenger_Choice_List;
                         On_The_Panel : Panel) return Passenger_Choice;

    procedure Close (The_Panel : in out Panel);

private
    type Key is new Natural range 0 .. 1023;  -- Keyboard key

    task type Panel_Manager is

        entry Start;

        entry Get (User_Input : out Key);

        entry Get_Current_Highlighted (Item : out Display_Item_With_Label);

        entry Highlight (Item : Display_Item_With_Label);

        entry Set_Light (To_State : State);

        entry Set_Service_Call (To_State : State);

        entry Get_Choice (For_Item : Display_Item_With_Passenger_Choices;
                          From_List : Passenger_Choice_List;
                          Choice_Number : out Positive);

        entry Kill;

    end Panel_Manager;

    type Panel is
        record
            Manager : Panel_Manager;
        end record;
end Screen;

E3 Meta Data

    nblk1=3
    nid=0
    hdr6=6
        [0x00] rec0=1d rec1=00 rec2=01 rec3=05e
        [0x01] rec0=20 rec1=00 rec2=02 rec3=012
        [0x02] rec0=0a rec1=00 rec2=03 rec3=000
    tail 0x2150bbb2a822f641d2c2c 0x42a00088462060003