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

⟦890e19588⟧ Ada Source

    Length: 5120 (0x1400)
    Types: Ada Source
    Notes: 03_class, FILE, R1k_Segment, e3_tag, package Balls_Boxes_Stickers_Conditions, seg_011830

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



with Instance;
with Tuple_Collection;

with Ball, Box, Sticker;

with Balls_Boxes_Stickers_Tests;
use Balls_Boxes_Stickers_Tests;

package Balls_Boxes_Stickers_Conditions is

    function Pack_It_Restriction_1
                (The_Reference : Instance.Reference) return Boolean;
    function Pack_It_Restriction_2
                (The_Reference : Instance.Reference) return Boolean;
    function Pack_It_Restriction_3
                (The_Reference : Instance.Reference) return Boolean;
    function Sticker_Lack_Restriction_1
                (The_Reference : Instance.Reference) return Boolean;
    function Box_Lack_Restriction_1
                (The_Reference : Instance.Reference) return Boolean;
    function Too_Big_Restriction_1
                (The_Reference : Instance.Reference) return Boolean;

    -- function Pack_It_Condition      return Tuple_Collection.Object;
    -- function Sticker_Lack_Condition return Tuple_Collection.Object;
    -- function Box_Lack_Condition     return Tuple_Collection.Object;
    -- function Too_Big_Condition      return Tuple_Collection.Object;

    function Pack_It_Condition is
       new Tuple_Collection.Join_3 (Collection_1 => Ball.Instances,
                                    Restrict_1   => Pack_It_Restriction_1,
                                    Collection_2 => Box.Instances,
                                    Restrict_2   => Pack_It_Restriction_2,
                                    Collection_3 => Sticker.Instances,
                                    Restrict_3   => Pack_It_Restriction_3,
                                    Match        => Pack_It_Test);

    function Sticker_Lack_Condition is
       new Tuple_Collection.Join_1 (Collection_1 => Ball.Instances,
                                    Restrict_1   => Sticker_Lack_Restriction_1,
                                    Match        => Sticker_Lack_Test);

    function Box_Lack_Condition is
       new Tuple_Collection.Join_1 (Collection_1 => Ball.Instances,
                                    Restrict_1   => Box_Lack_Restriction_1,
                                    Match        => Box_Lack_Test);

    function Too_Big_Condition is
       new Tuple_Collection.Join_1 (Collection_1 => Ball.Instances,
                                    Restrict_1   => Too_Big_Restriction_1,
                                    Match        => Too_Big_Test);

end Balls_Boxes_Stickers_Conditions;

E3 Meta Data

    nblk1=4
    nid=0
    hdr6=8
        [0x00] rec0=1b rec1=00 rec2=01 rec3=020
        [0x01] rec0=06 rec1=00 rec2=02 rec3=084
        [0x02] rec0=13 rec1=00 rec2=03 rec3=00e
        [0x03] rec0=03 rec1=00 rec2=04 rec3=000
    tail 0x2150d0316823d49ae7595 0x42a00088462063c03