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

⟦46df67235⟧ Ada Source

    Length: 9216 (0x2400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package body Quadrant_A_Update_Rule, package body Quadrant_B_Update_Rule, package body Quadrant_C_Update_Rule, package body Quadrant_D_Update_Rule, package body Quadrant_E_Update_Rule, package body Quadrant_F_Update_Rule, package body Quadrant_G_Update_Rule, package body Qualit_Update_Rule_Bundle, seg_04c812, separate Qualit_Generic_Agent

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



with Qualit_Environement;
with Qualit_Result_File_Maker;

separate (Qualit_Generic_Agent)

package body Qualit_Update_Rule_Bundle is

    use Kbs;
    use Kbs.Fact_Base.Predicate;
    use Kbs.Fact_Base.Predicate.System_Defined_Predicate;

    type Rule_Names is (Quadrant_A_Update, Quadrant_B_Update, Quadrant_C_Update,
                        Quadrant_D_Update, Quadrant_E_Update,
                        Quadrant_F_Update, Quadrant_G_Update, No_More);


    ------------------------------------------------------------------------

    package Quadrant_A_Update_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (Objects : Fact_Collection);
    end Quadrant_A_Update_Rule;

    package body Quadrant_A_Update_Rule is separate;

    ------------------------------------------------------------------------

    package Quadrant_B_Update_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (Objects : Fact_Collection);
    end Quadrant_B_Update_Rule;

    package body Quadrant_B_Update_Rule is separate;

    ------------------------------------------------------------------------

    package Quadrant_C_Update_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (Objects : Fact_Collection);
    end Quadrant_C_Update_Rule;

    package body Quadrant_C_Update_Rule is separate;

    ------------------------------------------------------------------------

    package Quadrant_D_Update_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (Objects : Fact_Collection);
    end Quadrant_D_Update_Rule;

    package body Quadrant_D_Update_Rule is separate;

    ------------------------------------------------------------------------

    package Quadrant_E_Update_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (Objects : Fact_Collection);
    end Quadrant_E_Update_Rule;

    package body Quadrant_E_Update_Rule is separate;

    ------------------------------------------------------------------------

    package Quadrant_F_Update_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (Objects : Fact_Collection);
    end Quadrant_F_Update_Rule;

    package body Quadrant_F_Update_Rule is separate;

    ------------------------------------------------------------------------

    package Quadrant_G_Update_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (Objects : Fact_Collection);
    end Quadrant_G_Update_Rule;

    package body Quadrant_G_Update_Rule is separate;

    ------------------------------------------------------------------------



    package Rule_Bundle is new Rule_Base.Generic_Rule_Bundle
                                  (The_Bundle => Update_Rule_Bundle,
                                   Rule_Names => Rule_Names,
                                   Nothing    => Rule_Names'Last,

                                  Rule_1     => Quadrant_A_Update,
                                   Premiss_1  => Quadrant_A_Update_Rule.Premiss,
                                   Action_1   => Quadrant_A_Update_Rule.Action,

                                   Rule_2     => Quadrant_B_Update,
                                   Premiss_2  => Quadrant_B_Update_Rule.Premiss,
                                   Action_2   => Quadrant_B_Update_Rule.Action,

                                   Rule_3     => Quadrant_C_Update,
                                   Premiss_3  => Quadrant_C_Update_Rule.Premiss,
                                   Action_3   => Quadrant_C_Update_Rule.Action,

                                   Rule_4     => Quadrant_D_Update,
                                   Premiss_4  => Quadrant_D_Update_Rule.Premiss,
                                   Action_4   => Quadrant_D_Update_Rule.Action,

                                   Rule_5     => Quadrant_E_Update,
                                   Premiss_5  => Quadrant_E_Update_Rule.Premiss,
                                   Action_5   => Quadrant_E_Update_Rule.Action,

                                   Rule_6     => Quadrant_F_Update,
                                   Premiss_6  => Quadrant_F_Update_Rule.Premiss,
                                   Action_6   => Quadrant_F_Update_Rule.Action,

                                   Rule_7     => Quadrant_G_Update,
                                   Premiss_7  => Quadrant_G_Update_Rule.Premiss,
                                   Action_7   => Quadrant_G_Update_Rule.Action);



    procedure Update_Do_Action (For_Rule : Rule_Id;
                                On_Facts : Fact_Collection) is
    begin  
        Rule_Bundle.Do_Action (For_Rule, On_Facts);
    end Update_Do_Action;


end Qualit_Update_Rule_Bundle;

E3 Meta Data

    nblk1=8
    nid=8
    hdr6=e
        [0x00] rec0=1f rec1=00 rec2=01 rec3=042
        [0x01] rec0=01 rec1=00 rec2=06 rec3=03e
        [0x02] rec0=1d rec1=00 rec2=05 rec3=060
        [0x03] rec0=1d rec1=00 rec2=07 rec3=00e
        [0x04] rec0=00 rec1=00 rec2=04 rec3=002
        [0x05] rec0=11 rec1=00 rec2=02 rec3=006
        [0x06] rec0=15 rec1=00 rec2=03 rec3=000
        [0x07] rec0=0d rec1=00 rec2=03 rec3=001
    tail 0x217534d0286dc422902ac 0x42a00088462063c03
Free Block Chain:
  0x8: 0000  00 00 00 05 80 02 65 3b 02 00 00 00 00 00 3f ff  ┆      e;      ? ┆