|
|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: T V
Length: 1320 (0x528)
Types: TextFile
Names: »V«
└─⟦f64eaa120⟧ Bits:30000752 8mm tape, Rational 1000, !projects 93 02 16
└─⟦6f12a12be⟧ »DATA«
└─⟦this⟧
with Collection;
with Instance;
package Ne_Box is
Max_Size : constant Natural := 100;
subtype Object is Instance.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 Clean;
end Ne_Box;