|
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 body Verif_Actions, seg_0382e0, seg_03902f, seg_039087, seg_0391fe, separate Semantique
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦this⟧
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─⟦cfc2e13cd⟧ »Space Info Vol 2«
└─⟦this⟧
separate (Semantique)
package body Verif_Actions is
function Donne_Indice_Tableau_Actions
(Un_Type, Une_Action : Standard_String.Object) return Integer is
begin
for I in 1 .. (Nombre_Actions) loop
if (Standard_String.Equal
(Tableau_Actions (I).Le_Type, Un_Type)) and then
(Standard_String.Equal
(Tableau_Actions (I).L_Action, Une_Action)) then
return I;
end if;
end loop;
end Donne_Indice_Tableau_Actions;
function Donne_Indice_Tableau_Acteurs
(Un_Type, Un_Acteur : Standard_String.Object) return Integer is
begin
for I in 1 .. (Nombre_Actions) loop
if (Standard_String.Equal
(Tableau_Acteurs (I).Le_Type, Un_Type)) and then
(Standard_String.Equal
(Tableau_Acteurs (I).L_Acteur, Un_Acteur)) then
return I;
end if;
end loop;
end Donne_Indice_Tableau_Acteurs;
function Action_Possible
(Une_Action : Standard_String.Object;
Un_Acteur : Standard_String.Object;
De, Vers, En : Lexical.Token := L_Unk) return Boolean is
Indice_Courant : Integer := 0;
Le_Type : Standard_String.Object;
begin
if Acteurs.Acteur_Existe (Un_Acteur) then
Standard_String.Copy
(From => Acteurs.Donne_Type_Acteur (Un_Acteur), To => Le_Type);
if Materiels.Action_Existe (Un_Type => Le_Type,
Une_Action => Une_Action) then
Indice_Courant := Donne_Indice_Tableau_Actions
(Le_Type, Une_Action);
if En = L_Ok then
return Tableau_Actions (Indice_Courant).En = L_Ok;
elsif Vers = L_Ok then
return Tableau_Actions (Indice_Courant).Vers = L_Ok;
elsif De = L_Ok then
return Tableau_Actions (Indice_Courant).De = L_Ok;
else
return True;
end if;
else
Erreurs.Ajouter
("L'action '" & Standard_String.Get_Contents (Une_Action) &
"' n'existe pas pour l'acteur '" &
Standard_String.Get_Contents (Un_Acteur) & "'.");
end if;
else
Erreurs.Ajouter ("L' acteur '" &
Standard_String.Get_Contents (Un_Acteur) &
"' n'existe pas...");
end if;
return False;
end Action_Possible;
end Verif_Actions;
nblk1=4
nid=0
hdr6=8
[0x00] rec0=1c rec1=00 rec2=01 rec3=024
[0x01] rec0=0f rec1=00 rec2=04 rec3=04a
[0x02] rec0=14 rec1=00 rec2=03 rec3=006
[0x03] rec0=0c rec1=00 rec2=02 rec3=000
tail 0x21735cb9884e68ce8ad2b 0x42a00088462060003