Drucken der Ausnahmebedingungsnachricht in einem Ada Last_Chance_Handler

Question

Ich lerne gerade Ada mit dem GNAT-Compiler unter Verwendung der AdaCore GPS (GPL) IDE, gerichtet auf ARM "bare board" Hardware (STM32F4 mit einer Ravenscar SFP Runtime).

Für meine ARM-basierte eingebettete Arbeit komme ich aus einem C/C++ - Hintergrund.

Auf jeden Fall habe ich eine "letzte Chance Handler" implementiert, die wie folgt definiert ist,

procedure Last_Chance_Handler (Msg : System.Address; Line : Integer); 
pragma Export (C, Last_Chance_Handler, "__gnat_last_chance_handler"); 

Hier ist das eigentliche Verfahren (ein Ausschnitt aus der .adb-Datei),

procedure Last_Chance_Handler (Msg : System.Address; Line : Integer) is 
begin 
    LEDs_All_On; 
    -- Put_Line("Detail :" & Address_To_String(Msg)); 
    Put_Line("Line :" & Line'Image); 

    loop 
     null; 
    end loop; 
end Last_Chance_Handler; 

Die Msg Das Argument wird wie folgt dokumentiert:

Der Parameter Msg ist eine C-Null-terminierte Zeichenfolge Darstellung des Quellorts der Raise-Anweisung, wie vom Compiler generiert, oder einer Nulllänge, wenn pragma Suppress_Exception_Locations verwendet wird.

Ich habe versucht, herauszufinden, wie man das null beenden Msg Bytes zu einem Ada-String zu konvertieren, so dass ich es anzeigen kann einen Put_Line() Anruf mit (beim Debuggen ich diese Art von Ausgabe über das semihosting zugreifen Mechanismus).

Ich habe zuvor Ada-Datensätze (die Geräteregister usw. darstellen) physikalischen Speicheradressen zugeordnet, indem Sie ihr 'Address-Attribut auf einen konstanten Wert setzen. Dies ist jedoch das erste Mal, dass ich über einen System.Address Wert, der in einer Variablen gespeichert ist, auf den Arbeitsspeicher zugegriffen habe.

Kann jemand vorschlagen, wie ich über die Implementierung der Address_To_String() Prozedur gehen könnte?

Ich habe mit Ada-Byte-Arrays und ungeprüften Konvertierungen zwischen ihnen und System.Address, auch mit Ada-Zeigern, experimentiert, aber bisher hatte ich keinen Erfolg.

Jede Hilfe oder Vorschläge würden sehr geschätzt werden!

Vielen Dank,

... Max

Answer 1

Wenn Sie zu einem last_chance_handler kommen, ist wahrscheinlich etwas kaputt und Sie sollten sich nicht zu sehr auf Ihre Umgebung verlassen. Ada.Text_IO ist ein sehr schweres Paket. Sie sollten versuchen, es generell und besonders hier zu vermeiden.

Man könnte so etwas wie dies versuchen:

with GNAT.IO; 
with System.Storage_Elements; 
procedure Last_Chance_Handler 
    (Msg : System.Address; Line : Integer) 
is 
    use System.Storage_Elements; -- make "+" visible for System.Address 

    function Peek (Addr : System.Address) return Character 
    is 
     C : Character with Address => Addr; 
    begin 
     return C; 
    end Peek; 
    A : System.Address := Msg; 
begin 
    GNAT.IO.Put ("line :"); 
    GNAT.IO.Put (line); -- avoid the secondary stack for Line'Image 
    GNAT.IO.New_Line; 
    while Peek(A) /= ASCII.NUL loop 
     GNAT.IO.Put (Peek(A)); 
     A := A + 1; 
    end loop; 
    GNAT.IO.New_Line; 
end; 

Answer 2

Der Betrieb Sie suchen, ist wahrscheinlich Interfaces.C.Strings.Value. Es benötigt ein Argument des Typs Interfaces.C.Strings.chars_ptr (entspricht char * in C) und gibt eine String zurück.

Answer 3

Gerade falls es nicht klar von Jacob’s answer war, bist du vollkommen frei

with Interfaces.C.Strings; 
procedure Last_Chance_Handler 
    (Msg : Interfaces.C.Strings.chars_ptr; Line : Integer); 

unter Berücksichtigung der dokumentierten Beschreibung von Msg zu erklären.