|
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: 7548 (0x1d7c)
Types: TextFile
Notes: R1k Text-file segment
└─⟦8527c1e9b⟧ Bits:30000544 8mm tape, Rational 1000, Arrival backup of disks in PAM's R1000
└─ ⟦5a81ac88f⟧ »Space Info Vol 1«
└─⟦03f587ea0⟧
└─⟦this⟧
with Lex;
use Lex;
package Error4 is
use Lex.Visible;
package Visible is
type Token_To_Boolean_Array is array (Token) of Boolean;
type Syn_Error is (Closing_Bracket, Equal, Colon, Number, Id,
Wrong_Sentence, De, En, Erreur, Normal, Special,
A, Par, Vers, Alors, Fin, Si, Dans, Existe,
Vaut, Anime, Passees, Suivante, Actions, Quand,
Ordre, Substract, Facteur, Objet, Type_Base,
Type_Structure, Valeur, Chaine, Sentence,
Tests, Suite_Condition_Forte, Condition_Forte,
Change, Quoi_Afficher, Too_Many_Complements,
Identifier_Place, Jeu_Aventure);
type Sem_Error is (Identifier_Belong_List, Message,
Enumere, Subject_Exist_In_Group,
no_mother_structure,structure_exist,
Complement_Exist, Complement_Not_Exist,
Complement_Not_A_Word, Complement_Not_A_Place,
Complement_Not_An_Animate, Complement_Not_An_Entity,
Complement_Not_Entity_Or_Animate, Field_Exist,
Field_Not_Exist, Field_Not_Belong,
Field_Not_A_Number, Field_Not_A_Sentence,
Field_Not_An_Enumerate, Literal_Exist,
Literal_Not_Belong, Word_Exist, Group_Is_Complement,
Verb_Exist, Enumeration_Exist, Enumeration_Not_Exist,
Neither_An_Entity_Nor_An_Animate,
Neither_A_Subject_Nor_A_Group,
Neither_A_Place_Nor_A_Group,
Neither_A_Field_Nor_A_Group,
Number_Of_Repeat_Null, An_Exit,
Field_Belong, Expression_Not_Same_Type,
Number_Of_Actions_Null, Order_Exist);
Follow_Type_Base : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Equal | Structure .. Scenario | End_Of_Text => True,
others => False);
Follow_Type_Structure : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'(Colon => True, others => False);
Follow_Chaine : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(En .. Scenario | End_Of_Text => True, others => False);
Follow_Valeur : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(En | Structure .. Scenario | End_Of_Text => True,
others => False);
-- verifier follow precedent
Follow_Objet : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Et .. Alors | En | Scenario .. Less_Equal | End_Of_Text => True,
others => False);
Follow_Liste_Identificateurs : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Enumere .. Fin | End_Of_Text => True, others => False);
--Issues .. Itineraire supprimes dans la liste de follow precedente
Follow_Aide : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Message .. Scenario | End_Of_Text => True, others => False);
Follow_Liste_Messages_Erreur : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Message .. Scenario | End_Of_Text => True, others => False);
Follow_Liste_Enumeres : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Enumere .. Scenario | End_Of_Text => True, others => False);
Follow_Lien_Normal : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Lien .. Scenario | End_Of_Text => True, others => False);
Follow_Lien_Special : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Verbes .. Scenario | End_Of_Text => True, others => False);
Follow_Liste_Verbes : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Mots .. Scenario | End_Of_Text => True, others => False);
Follow_Attribut : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Substract | Structure .. Scenario | End_Of_Text => True,
others => False);
Follow_Liste_Structures : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Structure .. Scenario | End_Of_Text => True, others => False);
Follow_Champs : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Id | Cree .. Scenario | End_Of_Text => True, others => False);
Follow_Liste_Objets : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Cree .. Scenario | End_Of_Text => True, others => False);
Follow_Lier_Lieux : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Lie .. Scenario | End_Of_Text => True, others => False);
Follow_Mouvement : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Comma | Itineraire .. Scenario | End_Of_Text => True,
others => False);
Follow_Liste_Itineraires : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Itineraire .. Scenario | End_Of_Text => True, others => False);
Follow_Liste_Groupes : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Groupe .. Scenario | End_Of_Text => True, others => False);
Follow_Facteur : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Et .. Alors | Scenario .. Divide | End_Of_Text => True,
others => False);
Follow_Symbole_Comparaison : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Number | Id | Opening_Bracket | End_Of_Text => True,
others => False);
Follow_Suite_Condition_Forte : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Et .. Alors | End_Of_Text => True, others => False);
Follow_Condition_Forte : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Et .. Alors | End_Of_Text => True, others => False);
Follow_Instruction_Simple : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Scenario .. Substract | End_Of_Text => True, others => False);
Follow_Ordre : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'(Substract => True, others => False);
Follow_Quand_Ordre : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Si .. Va | End_Of_Text => True, others => False);
Follow_Jeu_Aventure : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Aide .. Scenario | End_Of_Text => True, others => False);
Follow_Quoi_Afficher : constant Token_To_Boolean_Array :=
Token_To_Boolean_Array'
(Scenario .. Substract | End_Of_Text => True, others => False);
end Visible;
use Visible;
procedure Syn (An_Error : in Syn_Error; Follow : Token_To_Boolean_Array);
procedure Sem (An_Error : in Sem_Error; False_Part : in String);
end Error4