DataMuseum.dk

top - download

    Length: 792 (0x318)
    Types: TextFile
    Names: »B«

└─⟦a7d1ea751⟧ Bits:30000550 8mm tape, Rational 1000, !users!projects 94_04_11
    └─ ⟦129cab021⟧ »DATA« 
        └─⟦this⟧ 

TextFile

with Text_Io;
with Lexical;

package body Erreurs is

    Nom_Logique : Text_Io.File_Type;
    Erreurs : Boolean := False;


    procedure Ouvrir (Nom : String) is
    begin
        Text_Io.Create
           (File => Nom_Logique, Mode => Text_Io.Out_File, Name => Nom);
    end Ouvrir;


    procedure Fermer is
    begin
        Text_Io.Close (File => Nom_Logique);
    end Fermer;


    procedure Ajouter (La_Chaine : String) is
    begin  
        Erreurs := True;
        Text_Io.Put_Line (File => Nom_Logique,
                          Item => "Ligne " & Integer'Image (Lexical.Get_Line) &
                                     " : " & La_Chaine);
    end Ajouter;


    function Erreurs_Generees return Boolean is
    begin
        return Erreurs;
    end Erreurs_Generees;

end Erreurs;