|
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: 1400 (0x578)
Types: TextFile
Names: »V«
└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
└─⟦5cb1d1d7f⟧ »DATA«
└─⟦3b1ee7bd8⟧
└─⟦this⟧
with Semaphore;
generic
type Domain is (<>);
type Ranges is private;
package Map_Discrete_Noncached_Guarded_Bounded_Managed_Noniterator is
type Map is limited private;
procedure Seize (The_Map : in Map);
procedure Release (The_Map : in Map);
procedure Copy (From_The_Map : in Map; To_The_Map : in out Map);
procedure Clear (The_Map : in out Map);
procedure Bind (The_Domain : in Domain;
And_The_Range : in Ranges;
In_The_Map : in out Map);
procedure Unbind (The_Domain : in Domain; In_The_Map : in out Map);
function Is_Equal (Left : in Map; Right : in Map) return Boolean;
function Extent_Of (The_Map : in Map) return Natural;
function Is_Empty (The_Map : in Map) return Boolean;
function Is_Bound
(The_Domain : in Domain; In_The_Map : in Map) return Boolean;
function Range_Of
(The_Domain : in Domain; In_The_Map : in Map) return Ranges;
Domain_Is_Not_Bound : exception;
Multiple_Binding : exception;
private
type Node is
record
Is_Bound : Boolean := False;
The_Range : Ranges;
end record;
type Items is array (Domain) of Node;
type Map is
record
Guard : Semaphore.Kind;
The_Items : Items;
end record;
end Map_Discrete_Noncached_Guarded_Bounded_Managed_Noniterator;