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 End_Of_Stream return Boolean;
|
True if End_Of_Stream is reached
|
|
|
|
|
|
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;
|
|