Package: LSC.IO

Dependencies

with LSC.Types;
use type LSC.Types.Index;
 inherit LSC.Types;

Description

Input/Output operations

Header

package LSC.IO is
 

Other Items:

procedure Put (T : String);
Output string T
 derives null from T;

procedure Put_Line (T : String);
Output string T followed by a line terminator
 derives null from T;

procedure New_Line;
Start a new line
 derives ;

function Read_Byte return Types.Byte;
Read one byte from input

function End_Of_Stream return Boolean;
True if End_Of_Stream is reached

procedure Print_Byte (Item : in Types.Byte);
Output byte Item
 derives null from Item;

procedure Print_Word32 (Item : in Types.Word32);
Output 32-bit word Item
 derives null from Item;

procedure Print_Word64 (Item : in Types.Word64);
Output 64-bit word Item
 derives null from Item;

procedure Print_Index (I : in Types.Index);
Output index I
 derives null from I;

procedure Print_Natural (I : in Natural);
Output natural number I
 derives null from I;

procedure Print_Word32_Array (Block : in Types.Word32_Array_Type;
                              Space : in Natural;
                              Break : in Types.Index;
                              Newln : in Boolean);
Output Block, an array of 32-bit words

Space - Number of spaces to separate Word32 values
Break - Insert a line terminator after Break Word32 values
Newln - Insert a line terminator after printing all Word32 values

 derives null from Block, Space, Break, Newln;
 pre
    Break > 0;

procedure Print_Word64_Array (Block : in Types.Word64_Array_Type;
                              Space : in Natural;
                              Break : in Types.Index;
                              Newln : in Boolean);
Output Block, an array of 64-bit words

Space - Number of spaces to separate Word64 values
Break - Insert a line terminator after Break Word64 values
Newln - Insert a line terminator after printing all Word64 values

 derives null from Block, Space, Break, Newln;
 pre
    Break > 0;
end LSC.IO;