⟦531c863c7⟧

E3 Source Code



--| @SUMMARY This package provides operations for creating, processing,
--| filtering, sorting, justifying, and displaying buffers of text. The
--| length of each buffer is defined at the point of declaration.  The
--| width of any text line is unbounded.
--|
with Unbounded_String;
package Line_Buffer_Unbounded_Width is

    type Buffer (Length : Positive) is private;

    subtype Line is String;

    procedure Reset (The_Buffer : in out Buffer);

    procedure Append (The_Buffer :        Buffer;  
                      To         : in out Buffer);

    procedure Append_Line (The_Line :        Line;  
                           To       : in out Buffer);

    procedure Prepend_Line (The_Line :        Line;  
                            To       : in out Buffer);

    procedure Overwrite (The_Line    :        Line;
                         At_Location :        Positive;
                         To          : in out Buffer);

    procedure Remove (Line_At_Location :        Positive;  
                      In_Buffer        : in out Buffer);

    function Buffer_Length (Of_Buffer : Buffer) return Natural;

    function String_Image (Of_Buffer : Buffer; Add_Line_Feeds : Boolean := True)
                          return String;

    Overflow : exception;

    procedure Append  (Text : String; To_All_Lines_In_Buffer : in out Buffer);
    procedure Prepend (Text : String; To_All_Lines_In_Buffer : in out Buffer);

    procedure Strip (The_Buffer : in out Buffer; Char : Character := ' ');
    procedure Strip_Leading (The_Buffer : in out Buffer;
                             Char       :        Character := ' ');
    procedure Strip_Trailing (The_Buffer : in out Buffer;
                              Char       :        Character := ' ');

    generic
        with function Discard (The_Line : Line) return Boolean;
    procedure Filter (The_Buffer : in out Buffer);

    generic
        with function "<" (Left Right : Line) return Boolean;
    procedure Sort (The_Buffer : in out Buffer);

    generic
        with function Break_Point (In_Line : Line) return Positive;
    procedure Left_Right_Justify (The_Buffer : in out Buffer);

    generic
        with function Process (The_Line : Line) return Line;
    procedure Modify (The_Buffer : in out Buffer);

    generic
        with procedure Put_Line (The_Line : Line);
    procedure Display (The_Buffer : Buffer);

    type Iterator is private;

    procedure Init  (Iter : in out Iterator; From_Buffer : Buffer);
    function  Done  (Iter : Iterator) return Boolean;
    function  Value (Iter : Iterator) return Line;
    procedure Next  (Iter : in out Iterator);
private

    package Unbounded is new Unbounded_String (80);

    subtype Var_String is Unbounded.Variable_String;

    type Buffer_Lines is array (Positive range <>) of Var_String;

    type Buffer (Length : Positive) is
        record
            Buf     : Buffer_Lines (1 .. Length);
            Current : Positive := 1;
            Size    : Natural  := 0;
        end record;

    type Iterator is access Buffer;
end Line_Buffer_Unbounded_Width;
DataMuseum.dk

Rational R1000/400

⟦531c863c7⟧ Ada Source

Derivation

E3 Source Code

E3 Meta Data
