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 - metrics - download
Index: T V

⟦d082a8584⟧ TextFile

    Length: 6910 (0x1afe)
    Types: TextFile
    Names: »V«

Derivation

└─⟦149519bd4⟧ Bits:30000546 8mm tape, Rational 1000, !projects 93-07-13
    └─⟦124ff5788⟧ »DATA« 
        └─⟦this⟧ 
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
    └─⟦6f12a12be⟧ »DATA« 
        └─⟦this⟧

TextFile

with Context;
with Tuple;
with Tuple_Collection;

generic

    Context_Name : in String           := "NO_NAME";
    Resolution   : in Context.Strategy := Context.Lex;
    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_Lex_Mea is

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

    Illegal_Strategy : exception;

end Engine_Lex_Mea;