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: ┃ T V ┃

⟦50d13ccac⟧ TextFile

    Length: 1716 (0x6b4)
    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

package Context is

    Max_Context : constant := 10;  
    Max_Rule    : constant := 30;

    subtype Reference is Natural range 0 .. Max_Context;
    subtype Rule_Id   is Natural range 0 .. Max_Rule;

    type Strategy is (Lex, Mea, Lru, First);


    Null_Reference : constant Context.Reference := 0;
    Null_Rule      : constant Context.Rule_Id   := 0;


    function Create (With_Name : String) return Context.Reference;

    function Value (Of_Name : String)                 return Context.Reference;
    function Image (Of_Reference : Context.Reference) return String;

    procedure Add (In_Context : String;
                   The_Rule   : Context.Rule_Id;
                   With_Name  : String);
    procedure Add (In_Context : Context.Reference;
                   The_Rule   : Context.Rule_Id;
                   With_Name  : String);

    function Get (In_Context : String; The_Rule : Context.Rule_Id)
                 return String;
    function Get (In_Context : Context.Reference; The_Rule : Context.Rule_Id)
                 return String;

    procedure Mask (In_Context : String; The_Rule : Context.Rule_Id);
    procedure Mask (In_Context : Context.Reference; The_Rule : Context.Rule_Id);

    procedure Unmask (In_Context : String; The_Rule : Context.Rule_Id);
    procedure Unmask (In_Context : Context.Reference;
                      The_Rule   : Context.Rule_Id);

    function Is_Masked (In_Context : String; The_Rule : Context.Rule_Id)
                       return Boolean;
    function Is_Masked
                (In_Context : Context.Reference; The_Rule : Context.Rule_Id)
                return Boolean;


    Overflow, Illegal_Access, Bad_Rule, Bad_Context : exception;

end Context;