------------------------------------------------------------------
--  NAME: BUFFERED_IO - SPEC
--  DISCREPANCY REPORTS:
------------------------------------------------------------------
-- FILE : BUFIO.ADA
-- LEVEL : ALL LEVELS

with TEXT_IO;

package BUFFERED_IO is

type OUTPUT_BUFFER_TYPE is limited private;
type OUTPUT_BUFFER_TYPE_PTR is access OUTPUT_BUFFER_TYPE;

procedure CLOSE   (MY_BUF   : in out OUTPUT_BUFFER_TYPE_PTR);

procedure FLUSH   (MY_BUF   : in out OUTPUT_BUFFER_TYPE_PTR);

procedure PARTIAL_FLUSH   (MY_BUF   : in out OUTPUT_BUFFER_TYPE_PTR);

procedure PUT     (MY_BUF   : in out OUTPUT_BUFFER_TYPE_PTR;
		   A_CHAR   : in CHARACTER);

procedure PUT     (MY_BUF   : in out OUTPUT_BUFFER_TYPE_PTR;
		   A_STRING : in STRING);

procedure SET_BUF (MY_BUF       : in out OUTPUT_BUFFER_TYPE_PTR;
                   CONNECT      : in STRING);

private                           

   MAXSIZE  : constant NATURAL := 512; 

   type OUTPUT_BUFFER_TYPE is record
        SIZE : NATURAL := 0;
        TEXT : STRING(1 .. MAXSIZE);
        FILE : TEXT_IO.FILE_TYPE;  
   end record;


end BUFFERED_IO;