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

⟦a8d42c367⟧ Ada Source

    Length: 15360 (0x3c00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, generic, package Engine_First, seg_011fcd

Derivation

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

with Context;
with Tuple;
with Tuple_Collection;

generic

    Context_Name : in String           := "NO_NAME";
    Resolution   : in Context.Strategy := Context.First;
    Debugger_On  : in Boolean          := False;

    Name_1 : in String := "Rule number  01";
    with function  Condition_1 return Tuple_Collection.Object;
    with procedure Action_1 (T : Tuple.Object);

    Name_2 : in String := "Rule number  02";
    with function  Condition_2 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_2 (T : Tuple.Object) is Tuple.Null_Action;

    Name_3 : in String := "Rule number  03";
    with function  Condition_3 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_3 (T : Tuple.Object) is Tuple.Null_Action;

    Name_4 : in String := "Rule number  04";
    with function  Condition_4 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_4 (T : Tuple.Object) is Tuple.Null_Action;

    Name_5 : in String := "Rule number  05";
    with function  Condition_5 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_5 (T : Tuple.Object) is Tuple.Null_Action;

    Name_6 : in String := "Rule number  06";
    with function  Condition_6 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_6 (T : Tuple.Object) is Tuple.Null_Action;

    Name_7 : in String := "Rule number  07";
    with function  Condition_7 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_7 (T : Tuple.Object) is Tuple.Null_Action;

    Name_8 : in String := "Rule number  08";
    with function  Condition_8 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_8 (T : Tuple.Object) is Tuple.Null_Action;

    Name_9 : in String := "Rule number  09";
    with function  Condition_9 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_9 (T : Tuple.Object) is Tuple.Null_Action;

    Name_10 : in String := "Rule number  10";
    with function  Condition_10 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_10 (T : Tuple.Object) is Tuple.Null_Action;

    Name_11 : in String := "Rule number  11";
    with function  Condition_11 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_11 (T : Tuple.Object) is Tuple.Null_Action;

    Name_12 : in String := "Rule number  12";
    with function  Condition_12 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_12 (T : Tuple.Object) is Tuple.Null_Action;

    Name_13 : in String := "Rule number  13";
    with function  Condition_13 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_13 (T : Tuple.Object) is Tuple.Null_Action;

    Name_14 : in String := "Rule number  14";
    with function  Condition_14 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_14 (T : Tuple.Object) is Tuple.Null_Action;

    Name_15 : in String := "Rule number  15";
    with function  Condition_15 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_15 (T : Tuple.Object) is Tuple.Null_Action;

    Name_16 : in String := "Rule number  16";
    with function  Condition_16 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_16 (T : Tuple.Object) is Tuple.Null_Action;

    Name_17 : in String := "Rule number  17";
    with function  Condition_17 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_17 (T : Tuple.Object) is Tuple.Null_Action;

    Name_18 : in String := "Rule number  18";
    with function  Condition_18 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_18 (T : Tuple.Object) is Tuple.Null_Action;

    Name_19 : in String := "Rule number  19";
    with function  Condition_19 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_19 (T : Tuple.Object) is Tuple.Null_Action;

    Name_20 : in String := "Rule number  20";
    with function  Condition_20 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_20 (T : Tuple.Object) is Tuple.Null_Action;


    Name_21 : in String := "Rule number  21";
    with function  Condition_21 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_21 (T : Tuple.Object) is Tuple.Null_Action;

    Name_22 : in String := "Rule number  22";
    with function  Condition_22 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_22 (T : Tuple.Object) is Tuple.Null_Action;

    Name_23 : in String := "Rule number  23";
    with function  Condition_23 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_23 (T : Tuple.Object) is Tuple.Null_Action;

    Name_24 : in String := "Rule number  24";
    with function  Condition_24 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_24 (T : Tuple.Object) is Tuple.Null_Action;

    Name_25 : in String := "Rule number  25";
    with function  Condition_25 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_25 (T : Tuple.Object) is Tuple.Null_Action;

    Name_26 : in String := "Rule number  26";
    with function  Condition_26 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_26 (T : Tuple.Object) is Tuple.Null_Action;

    Name_27 : in String := "Rule number  27";
    with function  Condition_27 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_27 (T : Tuple.Object) is Tuple.Null_Action;

    Name_28 : in String := "Rule number  28";
    with function  Condition_28 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_28 (T : Tuple.Object) is Tuple.Null_Action;

    Name_29 : in String := "Rule number  29";
    with function  Condition_29 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_29 (T : Tuple.Object) is Tuple.Null_Action;

    Name_30 : in String := "Rule number  30";
    with function  Condition_30 return Tuple_Collection.Object is
       Tuple_Collection.Null_Object;
    with procedure Action_30 (T : Tuple.Object) is Tuple.Null_Action;

    Used_Rules : Positive := 30;


package Engine_First is

    function Inference (Step : Natural := 1) return Boolean;

    Illegal_Strategy : exception;

end Engine_First;

    nblk1=e
    nid=0
    hdr6=1c
        [0x00] rec0=1d rec1=00 rec2=01 rec3=006
        [0x01] rec0=00 rec1=00 rec2=06 rec3=034
        [0x02] rec0=17 rec1=00 rec2=0a rec3=022
        [0x03] rec0=00 rec1=00 rec2=09 rec3=00a
        [0x04] rec0=16 rec1=00 rec2=0d rec3=01c
        [0x05] rec0=00 rec1=00 rec2=05 rec3=008
        [0x06] rec0=16 rec1=00 rec2=07 rec3=050
        [0x07] rec0=00 rec1=00 rec2=0e rec3=008
        [0x08] rec0=17 rec1=00 rec2=0c rec3=02c
        [0x09] rec0=00 rec1=00 rec2=02 rec3=00a
        [0x0a] rec0=17 rec1=00 rec2=04 rec3=014
        [0x0b] rec0=00 rec1=00 rec2=08 rec3=008
        [0x0c] rec0=19 rec1=00 rec2=0b rec3=052
        [0x0d] rec0=06 rec1=00 rec2=03 rec3=000
    tail 0x2150d457a824851e2d69e 0x42a00088462063c03