DataMuseum.dk

top - metrics - download

    Length: 3012 (0xbc4)
    Types: TextFile
    Names: »B«

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

TextFile

with Text_Io;
with Counter;
with Tiny_Talk;
with Object;
package body Statistic is

    The_File : Text_Io.File_Type;
    In_Write : Text_Io.File_Mode := Text_Io.Out_File;
    type Infrench is (Vide, Entier, Booleen, Chaine, Tortue, Stylo, Bloc, Date);

    procedure Create (Fichier_Name : String) is
    begin
        Text_Io.Create (File => The_File, Name => Fichier_Name);
    end Create;

    procedure Close is
    begin
        Text_Io.Close (The_File);
    end Close;


    procedure Write is
        To_French : Infrench := Infrench'First;
    begin  
        Create (Tiny_Talk.Get_Program & "_stat");
        Text_Io.Set_Output (The_File);
        Text_Io.Put_Line ("#Axes.");

        for I in Object.Class'Succ (Object.Class'First) ..
                    Object.Class'Last loop
            Text_Io.Put ("barre position: ");
            Text_Io.Put (Integer'Image (Object.Class'Pos (I)));
            Text_Io.Put (" hauteur: ");
            Text_Io.Put (Integer'Image (Counter.Get_Messages (I)));

            Text_Io.Put (" hauteurMax: ");
            Text_Io.Put (Integer'Image (Counter.Get_Max_Message));
            Text_Io.Put (" temps: ");
            Text_Io.Put (Integer'Image (Counter.Get_Time (I)));
            Text_Io.Put (" classe: ");
            Text_Io.Put (Ascii.Quotation);
            To_French := Infrench'Succ (To_French);
            Text_Io.Put (Infrench'Image (To_French));
            Text_Io.Put (Ascii.Quotation);
            Text_Io.Put_Line (".");
        end loop;
        Text_Io.Put ("pour duree prendre ");
        Text_Io.Put (Integer'Image (Counter.Get_Real_Time));  
        Text_Io.Put_Line (".");
        Text_Io.Put ("pour nbMessages prendre ");
        Text_Io.Put (Integer'Image (Counter.Get_Total_Messages));
        Text_Io.Put_Line (".");  
        Text_Io.Put_Line ("Stylo TonY:600 TonX:20. ");
        Text_Io.Put_Line ("pour txt prendre duree Image.");
        Text_Io.Put ("Stylo Ecris: ");
        Text_Io.Put (Ascii.Quotation);
        Text_Io.Put ("Duree reelle d'execution: ");
        Text_Io.Put (Ascii.Quotation);
        Text_Io.Put ("&(txt)&");
        Text_Io.Put (Ascii.Quotation);
        Text_Io.Put (" Seconde(s).");
        Text_Io.Put (Ascii.Quotation);
        Text_Io.Put_Line (".");
        Text_Io.Put_Line ("Stylo TonY:630. ");

        Text_Io.Put_Line ("pour txt prendre nbMessages Image. ");
        Text_Io.Put ("Stylo Ecris: ");
        Text_Io.Put (Ascii.Quotation);
        Text_Io.Put ("Nombre total de message(s):");
        Text_Io.Put (Ascii.Quotation);
        Text_Io.Put_Line ("&txt.");
        Text_Io.Put_Line ("Stylo TonY: 660.");
        Text_Io.Put_Line ("pour moyenne prendre (nbMessages/duree).");
        Text_Io.Put_Line ("pour txt prendre moyenne Image. ");
        Text_Io.Put ("    Stylo Ecris:");  
        Text_Io.Put (Ascii.Quotation);
        Text_Io.Put ("Moyenne  messages/secondes:");
        Text_Io.Put (Ascii.Quotation);
        Text_Io.Put ("&txt.");
        Close;
    end Write;
end Statistic;