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

⟦40019d5bc⟧ Ada Source

    Length: 3072 (0xc00)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Object_Sets_Renames, seg_0045b4

Derivation

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

E3 Source Code



--| @SUMMARY This package, if made directly visible via a "use" clause,
--| allows the operations in "Object_Sets" to be used in infix expressions
--| without renaming.
--|
with Object_Sets;
package Object_Sets_Renames is

    subtype Element is Object_Sets.Element;

    subtype Set is Object_Sets.Set;

    function "+" (This_Set : in Set; That_Set : in Set) return Set
        renames Object_Sets.Union;

    function "*" (This_Set : in Set; That_Set : in Set) return Set
        renames Object_Sets.Intersection;

    function "xor" (This_Set : in Set; That_Set : in Set) return Set
        renames Object_Sets.Exclusive_Or;

    function "-" (This_Set : in Set; Except_For : in Set) return Set
        renames Object_Sets.Subtraction;

    function ">=" (This_Set : in Set; Contains : in Set) return Boolean
        renames Object_Sets.Subset;

    function ">" (This_Set : in Set; Contains : in Set) return Boolean
        renames Object_Sets.Proper_Subset;

end Object_Sets_Renames;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=1d rec1=00 rec2=01 rec3=04e
        [0x01] rec0=03 rec1=00 rec2=02 rec3=000
    tail 0x215003eee815c6555d747 0x42a00088462061e03