|
|
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 Attribute, seg_045930
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Objet, Detail, Identifier;
package Attribute is
type Object is private;
--procedure put(item : out object;an_objet : in objet.object;field_name : in string);
--procedure put(item : out object;an_objet : in objet.object;field_index : in natural);
procedure Put (Item : out Object;
An_Objet : in Objet.Object;
A_Detail : in Detail.Object);
procedure Affect (Item : in Object; Number : Integer; Ok : out Boolean);
procedure Affect (Item : in Object;
Enumeration, Literal : in Positive;
Ok : out Boolean);
procedure Show (Item : in Object);
function Is_A_Number (Item : in Object) return Boolean;
function Is_A_Sentence (Item : in Object) return Boolean;
function Is_An_Enumerate (Item : in Object) return Boolean;
function Exist (Item : in Object) return Boolean;
function Image (Item : in Object) return String;
function Number (Item : in Object) return Integer;
function Sentence (Item : in Object) return String;
function Enumeration (Item : in Object) return Natural;
function Literal (Item : in Object) return Natural;
Null_Object : constant Object;
private
type Object is
record
The_Objet : Objet.Object := Objet.Null_Object;
The_Detail : Detail.Object := Detail.Null_Object;
--field_index : natural := 0;
--field_name : identifier.object := identifier.null_object;
end record;
--null_object (the_objet => objet.null_object,field_name=> identifier.null_object);
Null_Object : constant Object := (The_Objet => Objet.Null_Object,
The_Detail => Detail.Null_Object);
end Attribute;
nblk1=2
nid=0
hdr6=4
[0x00] rec0=16 rec1=00 rec2=01 rec3=046
[0x01] rec0=15 rec1=00 rec2=02 rec3=001
tail 0x21747825e864b75d23919 0x42a00088462060003