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

⟦ba0e18181⟧ Ada Source

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

Derivation

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

E3 Source Code



with Expertsystem;
use Expertsystem;

package Box is

    Max_Size : constant Natural := 100;

    subtype Object is Reference;

    type States     is (Is_Empty, Is_Full);  
    type Existences is (Empty_Boxes, All_Boxes);

    Default_Size  : constant Natural := 10;
    Default_State : constant States  := Is_Empty;


    function Size  (O : Object) return Natural;
    function State (O : Object) return States;

    function Instances (Kind : Existences := Empty_Boxes)
                       return Collection.Object;

    function Exist (Greater_Than : Natural; In_Kind_Of_Collection : Existences)
                   return Boolean;
    function Exist (Between               : Natural;
                    And_Size              : Natural;
                    In_Kind_Of_Collection : Existences) return Boolean;
    function Exist (With_State : States; In_Kind_Of_Collection : Existences)
                   return Boolean;

    function Add (With_Size  : Natural := Default_Size;
                  With_State : States  := Default_State) return Object;

    procedure Change (O : Object; With_Size : Natural; With_State : States);
    procedure Change (O : Object; With_State : States);

    procedure Delete (O : Object);

    procedure Clean;

end Box;

E3 Meta Data

    nblk1=2
    nid=0
    hdr6=4
        [0x00] rec0=20 rec1=00 rec2=01 rec3=02e
        [0x01] rec0=0b rec1=00 rec2=02 rec3=000
    tail 0x2170afee4821d7d5d784e 0x42a00088462063c03