Semihosting

Entities

Simple Types

Subtypes

Constants

Subprograms

Description

---------------------------------------------------------------------------- -- Copyright (C) 2016, AdaCore -- -- Redistribution and use in source and binary forms, with or without -- modification, are permitted provided that the following conditions are -- met: -- 1. Redistributions of source code must retain the above copyright -- notice, this list of conditions and the following disclaimer. -- 2. Redistributions in binary form must reproduce the above copyright -- notice, this list of conditions and the following disclaimer in -- the documentation and/or other materials provided with the -- distribution. -- 3. Neither the name of the copyright holder nor the names of its -- contributors may be used to endorse or promote products derived -- from this software without specific prior written permission. -- -- THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS -- "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT -- LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR -- A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT -- HOLDER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, -- SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT -- LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, -- DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY -- THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT -- (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE -- OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. -- -- ----------------------------------------------------------------------------

Close

function Close (File_Handle : SH_Word) return SH_Word
Parameters
File_Handle
Return Value

Errno

function Errno return SH_Word
Return Value

Flag

subtype Flag is SH_Word;

Log

procedure Log (C : Character)
Parameters
C

Log

procedure Log (Str : String)
Parameters
Str

Log_Line

procedure Log_Line (Str : String)
Parameters
Str

Log_New_Line

procedure Log_New_Line

Open

function Open (Filename : String; Mode : Flag) return SH_Word
Parameters
Filename
Mode
Return Value

OPEN_FLAG_A

OPEN_FLAG_A         : constant Flag := 8;

OPEN_FLAG_A_PLUS

OPEN_FLAG_A_PLUS    : constant Flag := 10;

OPEN_FLAG_A_PLUS_B

OPEN_FLAG_A_PLUS_B  : constant Flag := 11;

OPEN_FLAG_AB

OPEN_FLAG_AB        : constant Flag := 9;

OPEN_FLAG_R

OPEN_FLAG_R         : constant Flag := 0;

OPEN_FLAG_R_PLUS

OPEN_FLAG_R_PLUS    : constant Flag := 2;

OPEN_FLAG_R_PLUS_B

OPEN_FLAG_R_PLUS_B  : constant Flag := 3;

OPEN_FLAG_RB

OPEN_FLAG_RB        : constant Flag := 1;

OPEN_FLAG_W

OPEN_FLAG_W         : constant Flag := 4;

OPEN_FLAG_W_PLUS

OPEN_FLAG_W_PLUS    : constant Flag := 6;

OPEN_FLAG_W_PLUS_B

OPEN_FLAG_W_PLUS_B  : constant Flag := 7;

OPEN_FLAG_WB

OPEN_FLAG_WB        : constant Flag := 5;

Read

function Read (File_Handle     : SH_Word;
               Buffer_Address  : System.Address;
               Buffer_Size     : SH_Word) return SH_Word
Parameters
File_Handle
Buffer_Address
Buffer_Size
Return Value

Remove

function Remove (Filename : String) return SH_Word
Parameters
Filename
Return Value

Seek

function Seek (File_Handle : SH_Word;
               Absolute_Position : SH_Word) return SH_Word
Parameters
File_Handle
Absolute_Position
Return Value

SH_Word

type SH_Word is new HAL.UInt32;

Write

function Write (File_Handle     : SH_Word;
                Buffer_Address  : System.Address;
                Buffer_Size     : SH_Word) return SH_Word
Parameters
File_Handle
Buffer_Address
Buffer_Size
Return Value

Write_0

procedure Write_0 (Str : String)
Parameters
Str

Write_C

procedure Write_C (C : Character)
Parameters
C