Gibt es ein Ada-Äquivalent zum Verlassen einer Funktion Nicht implementiert?

Question

In .Net ist es in der Entwicklung üblich, eine Schnittstelle schrittweise zu implementieren, so dass nicht alle Schnittstellenfunktionen für die ersten Entwicklungsrunden implementiert werden. Ein solches Beispiel, wie dies in C# aussehen:

public string FutureGetString() 
{ 
    // Not developed yet. 
    throw new NotImplementedException(); 
} 

Allerdings habe ich nicht herausgefunden, wie das Äquivalent in Ada zu tun. Ich möchte den Körper für eine Paketspezifikation entwickeln, während ich die Tür auf ein paar Funktionen offen lasse. Gibt es eine Möglichkeit, eine Ausnahme sofort zu werfen? Im Moment habe ich folgendes, was gibt mir einen Compiler-Fehler missing "return" statement in function body

function NotImplemented (Input : Integer) return Boolean is 
begin 
    raise Program_Error; 
end; 

Answer 1

ich gesehen habe dies empfohlen (von einem leitenden Ingenieure AdaCore):

function NotImplemented (Input : Integer) return Boolean is 
begin 
    raise Program_Error; 
    return NotImplemented (Input); 
end; 

Ich frage mich, hatte ob der Compiler vor unendlicher Rekursion warnen könnte, aber nein.

Answer 2

function Not_Implemented (Input : in Integer) return Boolean is 
    pragma Unreferenced (Input); 
begin 
    pragma Compile_Time_Warning (True, "Not_Implemented has not been implemented yet."); 
    return raise Program_Error with "Not_Implemented has not been implemented yet."; 
end Not_Implemented;