|
|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - download
Length: 3072 (0xc00)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Box, seg_011848
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
with Class;
with Collection;
with Date;
with Instance;
package Box is
Max_Size : constant Natural := 100;
Class_Name : constant String := "BOXES";
Is_Dated : constant Boolean := True;
Date_Mode : constant Date.Overflow_Mode := Date.Error_Mode;
Class_Reference : constant Class.Reference :=
Class.Create (With_Name => Class_Name, Is_Dated => Is_Dated);
subtype Object is Instance.Reference (Kind => Class_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 Instances 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 Mask (O : Object);
procedure Unmask (O : Object);
procedure Clean;
procedure Mask_All;
procedure Unmask_All;
end Box;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=22 rec1=00 rec2=01 rec3=034
[0x01] rec0=17 rec1=00 rec2=02 rec3=000
tail 0x2150d0376823d49c3cde9 0x42a00088462063c03