DataMuseum.dk

top - metrics - download

    Length: 1010 (0x3f2)
    Types: TextFile
    Names: »B«

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

TextFile

with Bounded_String;
with Text_Io;

package body Log_Report is

    Tab_Space_Number : constant Natural := 3;

    Indentation_Level : Natural := 0;

    Line_Size : constant Natural := 132;


    subtype B_String is Bounded_String.Variable_String (Line_Size);


    function Indent (Level : Natural) return String is  
        A_Bs_String : B_String;
    begin
        Bounded_String.Free (A_Bs_String);
        Bounded_String.Set_Length (A_Bs_String, Level * Tab_Space_Number);
        return Bounded_String.Image (A_Bs_String);
    end Indent;


    procedure Write_Line (Line : String) is
    begin
        Text_Io.Put (Indent (Indentation_Level));
        Text_Io.Put_Line (Line);
    end Write_Line;


    procedure New_Line is
    begin  
        Text_Io.New_Line;
    end New_Line;


    procedure Tab is
    begin
        Indentation_Level := Indentation_Level + 1;
    end Tab;


    procedure Untab is
    begin
        Indentation_Level := Indentation_Level - 1;
    end Untab;

end Log_Report;