|
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 - download
Length: 6144 (0x1800)
Types: Ada Source
Notes: 03_class, FILE, R1k_Segment, e3_tag, package Sub_Contrat, seg_055eb1
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
with Message;
with List_Generic;
with Bounded_String;
with String_Utilities;
with Identification;
package Sub_Contrat is
subtype Tnom_Contrat is Bounded_String.Variable_String (246);
type Tcontrat is
record
Nom_Contrat : Tnom_Contrat;
-- nom ou type de contrat ex: date, math, ...
Id : Identification.Tclient_Id;
-- id de l'orb satisfaisant le type de contrat
end record;
package Contrat_List is new List_Generic (Element => Tcontrat);
function Is_Publication (Mess : in Message.Tmessage) return Boolean;
-- le message est un Publication ?
function Is_Unpublication (Mess : in Message.Tmessage) return Boolean;
-- le message est un unPublication ?
procedure Fill_Contrat (Mess : in Message.Tmessage; Contrat : out Tcontrat);
-- remplit un contrat a partir d'un message
procedure Add_Contrat (List_Of_Contrats : in out Contrat_List.List;
Contrat : in Tcontrat);
-- ajoute un contrat a la liste des contrats
procedure Remove_Contrat (List_Of_Contrats : in out Contrat_List.List;
Nom : in Tnom_Contrat);
-- retire un contrat de la liste
function Contrat_Exists
(List_Of_Contrats : Contrat_List.List; Nom : in Tnom_Contrat)
return Boolean;
-- un contrat de ce nom(type) existe deja ?
function Contrat_Provider
(List_Of_Contrats : Contrat_List.List; Nom : in Tnom_Contrat)
return Identification.Tclient_Id;
-- retourne l'id de l'orb satisfaisant un contrat de type nom
type Tsubscription is
record
Who : Identification.Tclient_Id;
To : Identification.Tclient_Id;
end record;
package Sub_List is new List_Generic (Element => Tsubscription);
function Is_Subscription (Mess : in Message.Tmessage) return Boolean;
-- le message est un subscription ?
function Is_Unsubscription (Mess : in Message.Tmessage) return Boolean;
-- le message est un unsubscription ?
procedure Fill_Sub (L : in Contrat_List.List;
Mess : in Message.Tmessage;
Sub : out Tsubscription);
-- remplit une sub a partir d'un message
procedure Add_Sub (List_Of_Sub : in out Sub_List.List;
Sub : in Tsubscription);
-- ajoute une sub a la liste des subs
procedure Remove_Sub (List_Of_Sub : in out Sub_List.List;
Who : in Identification.Tclient_Id);
-- retire une sub de la liste
function Subscription_Exists
(List_Of_Sub : Sub_List.List; To : in Identification.Tclient_Id)
return Boolean;
-- il existe un abonne aux messages partant de l'objet to
function Subscripter (List_Of_Sub : Sub_List.List;
To : in Identification.Tclient_Id)
return Identification.Tclient_Id;
-- et voila cet abonne
end Sub_Contrat;
nblk1=5
nid=3
hdr6=8
[0x00] rec0=21 rec1=00 rec2=01 rec3=08e
[0x01] rec0=1a rec1=00 rec2=04 rec3=084
[0x02] rec0=19 rec1=00 rec2=05 rec3=036
[0x03] rec0=06 rec1=00 rec2=02 rec3=000
[0x04] rec0=c0 rec1=00 rec2=00 rec3=100
tail 0x2176161ca87c09afa3a10 0x42a00088462060003
Free Block Chain:
0x3: 0000 00 00 00 07 80 01 3b 01 00 00 00 70 74 69 6f 6e ┆ ; ption┆