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 - download

⟦f454531c8⟧ Ada Source

    Length: 14336 (0x3800)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Qualit_Frames, seg_04cb08, separate Qualit_Generic_Agent_3

Derivation

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

E3 Source Code



separate (Qualit_Generic_Agent_3)

package body Qualit_Frames is


    procedure Put (The_Fact : Fact_Name; Where : Output_Stream.Object) is

        -- ........................................................................
        function Prediction_Image
                    (For_Slot : Prediction_Slots; Value : Slot.Object)
                    return String is
            use Prediction_Name_Facilities;
        begin  
            case For_Slot is  
                when Prediction_Name =>
                    return Prediction_Names'Image (Get (Value));
                when Quadrant_Number =>
                    return Integer'Image (Get (Value));
            end case;
        end Prediction_Image;


        function Epsilon_Variation_Image
                    (For_Slots : Epsilon_Variation_Slots; Value : Slot.Object)
                    return String is
        begin  
            return Integer'Image (Get (Value));
        end Epsilon_Variation_Image;


        function Variation_Of_Epsilon_Variation_Image
                    (For_Slots : Variation_Of_Epsilon_Variation_Slots;
                     Value     : Slot.Object) return String is
        begin
            return Integer'Image (Get (Value));
        end Variation_Of_Epsilon_Variation_Image;


        function Delta_Y_Image (For_Slots : Delta_Y_Slots; Value : Slot.Object)
                               return String is
        begin  
            return Integer'Image (Get (Value));
        end Delta_Y_Image;


        function Up_Value_Image
                    (For_Slots : Up_Value_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Up_Value_Image;


        function Down_Value_Image
                    (For_Slots : Down_Value_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Down_Value_Image;


        function Down_Dec_Image
                    (For_Slots : Down_Decrement_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Down_Dec_Image;


        function Down_Inc_Image
                    (For_Slots : Down_Increment_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Down_Inc_Image;


        function Up_Dec_Image
                    (For_Slots : Up_Decrement_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Up_Dec_Image;


        function Up_Inc_Image
                    (For_Slots : Up_Increment_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Up_Inc_Image;


        function Current_Pos_Image
                    (For_Slots : Current_Position_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Current_Pos_Image;


        function Pos_To_Reach_Image
                    (For_Slots : Position_To_Reach_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Pos_To_Reach_Image;


        function Update_Image (For_Slots : Update_Slots; Value : Slot.Object)
                              return String is
            use Boolean_Facilities;
        begin
            return Boolean'Image (Get (Value));
        end Update_Image;


        function Epsilon_Image (For_Slots : Epsilon_Slots; Value : Slot.Object)
                               return String is
        begin
            return Integer'Image (Get (Value));
        end Epsilon_Image;


        function Plus_Delta_Y_Max_Image
                    (For_Slots : Plus_Delta_Y_Max_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Plus_Delta_Y_Max_Image;


        function Minus_Delta_Y_Max_Image
                    (For_Slots : Minus_Delta_Y_Max_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Minus_Delta_Y_Max_Image;


        function Plus_Near_Delta_Y_Max_Image
                    (For_Slots : Plus_Near_Delta_Y_Max_Slots;
                     Value     : Slot.Object) return String is
        begin
            return Integer'Image (Get (Value));
        end Plus_Near_Delta_Y_Max_Image;


        function Minus_Near_Delta_Y_Max_Image
                    (For_Slots : Minus_Near_Delta_Y_Max_Slots;
                     Value     : Slot.Object) return String is
        begin
            return Integer'Image (Get (Value));
        end Minus_Near_Delta_Y_Max_Image;


        function Epsilon_Near_Zero_Image
                    (For_Slots : Epsilon_Near_Zero_Slots; Value : Slot.Object)
                    return String is
        begin
            return Integer'Image (Get (Value));
        end Epsilon_Near_Zero_Image;


        function Delta_Y_Max_Reached_In_B_Image
                    (For_Slots : Delta_Y_Max_Reached_In_B_Slots;
                     Value     : Slot.Object) return String is
        begin
            return Integer'Image (Get (Value));
        end Delta_Y_Max_Reached_In_B_Image;

        -- ....................................................................
        procedure Put_Prediction is new Predictions.Generic_Put
                                           (Image => Prediction_Image);  
        procedure Put_Epsilon is new Epsilons.Generic_Put
                                        (Image => Epsilon_Image);
        procedure Put_Epsilon_Variation is
           new Epsilon_Variations.Generic_Put
                  (Image => Epsilon_Variation_Image);
        procedure Put_Variation_Of_Epsilon_Variation is
           new Variation_Of_Epsilon_Variations.Generic_Put
                  (Image => Variation_Of_Epsilon_Variation_Image);
        procedure Put_Up_Value is new Up_Values.Generic_Put
                                         (Image => Up_Value_Image);
        procedure Put_Down_Value is new Down_Values.Generic_Put
                                           (Image => Down_Value_Image);
        procedure Put_Up_Inc is new Up_Increments.Generic_Put
                                       (Image => Up_Inc_Image);
        procedure Put_Down_Inc is new Down_Increments.Generic_Put
                                         (Image => Down_Inc_Image);
        procedure Put_Up_Dec is new Up_Decrements.Generic_Put
                                       (Image => Up_Dec_Image);
        procedure Put_Down_Dec is new Down_Decrements.Generic_Put
                                         (Image => Down_Dec_Image);
        procedure Put_Current_Pos is new Current_Positions.Generic_Put
                                            (Image => Current_Pos_Image);
        procedure Put_Pos_To_Reach is new Positions_To_Reach.Generic_Put
                                             (Image => Pos_To_Reach_Image);
        procedure Put_Update is new Updates.Generic_Put (Image => Update_Image);  
        procedure Put_Delta_Y is new Delta_Ys.Generic_Put
                                        (Image => Delta_Y_Image);
        procedure Put_Plus_Delta_Y_Max is
           new Plus_Delta_Y_Maxs.Generic_Put (Image => Plus_Delta_Y_Max_Image);
        procedure Put_Minus_Delta_Y_Max is
           new Minus_Delta_Y_Maxs.Generic_Put
                  (Image => Minus_Delta_Y_Max_Image);
        procedure Put_Plus_Near_Delta_Y_Max is
           new Plus_Near_Delta_Y_Maxs.Generic_Put
                  (Image => Plus_Near_Delta_Y_Max_Image);
        procedure Put_Minus_Near_Delta_Y_Max is
           new Minus_Near_Delta_Y_Maxs.Generic_Put
                  (Image => Minus_Near_Delta_Y_Max_Image);
        procedure Put_Epsilon_Near_Zero is
           new Epsilon_Near_Zeros.Generic_Put
                  (Image => Epsilon_Near_Zero_Image);
        procedure Put_Delta_Y_Max_Reached_In_B is
           new Delta_Y_Max_Reached_In_Bs.Generic_Put
                  (Image => Delta_Y_Max_Reached_In_B_Image);

    begin
        case Fact_Base.Class.Class_Name_Of (The_Fact) is
            when Prediction =>
                Put_Prediction (The_Fact, Where);
            when Epsilon =>
                Put_Epsilon (The_Fact, Where);
            when Epsilon_Variation =>
                Put_Epsilon_Variation (The_Fact, Where);
            when Variation_Of_Epsilon_Variation =>
                Put_Variation_Of_Epsilon_Variation (The_Fact, Where);
            when Up_Value =>
                Put_Up_Value (The_Fact, Where);
            when Up_Increment =>  
                Put_Up_Inc (The_Fact, Where);
            when Down_Increment =>
                Put_Down_Inc (The_Fact, Where);
            when Up_Decrement =>
                Put_Up_Dec (The_Fact, Where);
            when Down_Decrement =>
                Put_Down_Dec (The_Fact, Where);
            when Down_Value =>
                Put_Down_Value (The_Fact, Where);
            when Current_Position =>
                Put_Current_Pos (The_Fact, Where);
            when Position_To_Reach =>
                Put_Pos_To_Reach (The_Fact, Where);
            when Update =>
                Put_Update (The_Fact, Where);
            when Delta_Y =>
                Put_Delta_Y (The_Fact, Where);
            when Plus_Delta_Y_Max =>
                Put_Plus_Delta_Y_Max (The_Fact, Where);
            when Minus_Delta_Y_Max =>
                Put_Minus_Delta_Y_Max (The_Fact, Where);
            when Plus_Near_Delta_Y_Max =>
                Put_Plus_Near_Delta_Y_Max (The_Fact, Where);
            when Minus_Near_Delta_Y_Max =>
                Put_Minus_Near_Delta_Y_Max (The_Fact, Where);
            when Epsilon_Near_Zero =>
                Put_Epsilon_Near_Zero (The_Fact, Where);
            when Delta_Y_Max_Reached_In_B =>
                Put_Delta_Y_Max_Reached_In_B (The_Fact, Where);
            when Nothing =>
                null;
        end case;
    end Put;


end Qualit_Frames;

E3 Meta Data

    nblk1=d
    nid=8
    hdr6=18
        [0x00] rec0=1d rec1=00 rec2=01 rec3=032
        [0x01] rec0=00 rec1=00 rec2=09 rec3=004
        [0x02] rec0=1e rec1=00 rec2=03 rec3=044
        [0x03] rec0=20 rec1=00 rec2=0b rec3=05e
        [0x04] rec0=1f rec1=00 rec2=04 rec3=056
        [0x05] rec0=1e rec1=00 rec2=0a rec3=034
        [0x06] rec0=17 rec1=00 rec2=0d rec3=034
        [0x07] rec0=10 rec1=00 rec2=02 rec3=040
        [0x08] rec0=0f rec1=00 rec2=07 rec3=032
        [0x09] rec0=16 rec1=00 rec2=06 rec3=020
        [0x0a] rec0=16 rec1=00 rec2=05 rec3=05c
        [0x0b] rec0=14 rec1=00 rec2=0c rec3=000
        [0x0c] rec0=24 rec1=00 rec2=15 rec3=1cb
    tail 0x21753c1c487166c227a0d 0x42a00088462063c03
Free Block Chain:
  0x8: 0000  00 00 01 a7 80 19 6d 69 6e 75 73 5f 4e 65 61 72  ┆      minus_Near┆