DataMuseum.dk

Presents historical artifacts from the history of:

Rational R1000/400 Tapes

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 Tapes

Excavated with: AutoArchaeologist - Free & Open Source Software.


top - download
Index: ┃ B T

⟦af69dcf1b⟧ TextFile

    Length: 1247 (0x4df)
    Types: TextFile
    Names: »B«

Derivation

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 
└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦e24fb53b7⟧ 
            └─⟦this⟧ 

TextFile

with Alias;
with R_Frames;
with Output_Stream;
with Slot;
package body R_Rule_Bundle is

    use R_Kbs;
    use R_Kbs.Kbs;

    type Rule_Names is (Find_Rectangle, No_More);

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

    package Find_Rectangle_Rule is
        function  Premiss return Fact_Queries;
        procedure Action (Objects : Fact_Collection);
    end Find_Rectangle_Rule;
    package body Find_Rectangle_Rule is separate;


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

                                   Rule_1     => Find_Rectangle,
                                   Premiss_1  => Find_Rectangle_Rule.Premiss,
                                   Action_1   => Find_Rectangle_Rule.Action);


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