|
|
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: 5120 (0x1400)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Remote_Object, seg_00e664
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
with ACTION;
with CALENDAR;
with HIERARCHY;
with REQUIREMENTS;
pragma PRIVATE_EYES_ONLY;
with CMVC_IMPLEMENTATION;
with STATE_OPERATIONS;
package Remote_Object is
type CMVC_CONTROL_KIND is (NOT_CONTROLLED,
CONTROLLED_CHECKED_IN,
CONTROLLED_CHECKED_OUT);
function CMVC_CONTROL (GATEWAY_NAME : in STRING) return CMVC_CONTROL_KIND;
type STATE is private;
procedure INITIALIZE (THE_STATE : out STATE;
ACTION_ID : in ACTION.ID;
WORK_ORDER : in STRING);
procedure FINALIZE (THE_STATE : in out STATE);
procedure AUGMENT (FOR_MODULE : in HIERARCHY.MODULE;
IN_LIBRARY : in STRING;
HOST : in STRING;
MODEL : in STRING;
UPDATE_TIME : in CALENDAR.TIME;
COMMENTS : in STRING;
THE_STATE : in out STATE);
procedure CREATE (FOR_MODULE : in HIERARCHY.MODULE;
IN_LIBRARY : in STRING;
HOST : in STRING;
MODEL : in STRING;
UPDATE_TIME : in CALENDAR.TIME;
COMMENTS : in STRING;
THE_STATE : in out STATE);
procedure CREATE (IN_GATEWAY : in STRING;
REQUIREMENT_NAME : in STRING;
REQUIREMENT_KIND : in REQUIREMENTS.NON_FUNCTIONAL;
REQUIREMENT_TEXT : in STRING;
COMMENTS : in STRING;
THE_STATE : in out STATE);
procedure DESTROY (GATEWAY_NAME : in STRING;
COMMENTS : in STRING;
THE_STATE : in out STATE);
procedure REDUCE (GATEWAY_NAME : in STRING;
CANDIDATE_MODULES : in out HIERARCHY.MODULE_ITERATOR;
COMMENTS : in STRING;
THE_STATE : in out STATE);
private
type STATE is
record
CMVC : STATE_OPERATIONS.STATE;
CONFIGURATION : CMVC_IMPLEMENTATION.CONFIGURATION;
end record;
end GATEWAYS;
end Remote_Object;
nblk1=4
nid=4
hdr6=6
[0x00] rec0=20 rec1=00 rec2=01 rec3=054
[0x01] rec0=17 rec1=00 rec2=03 rec3=052
[0x02] rec0=0e rec1=00 rec2=02 rec3=001
[0x03] rec0=74 rec1=7e rec2=c2 rec3=000
tail 0x2150a3440822165bf7788 0x42a00088462060003
Free Block Chain:
0x4: 0000 00 00 00 98 80 04 45 29 3b 20 04 00 16 20 20 20 ┆ E); ┆