diff options
Diffstat (limited to 'gcc/ada/errout.adb')
-rw-r--r-- | gcc/ada/errout.adb | 43 |
1 files changed, 43 insertions, 0 deletions
diff --git a/gcc/ada/errout.adb b/gcc/ada/errout.adb index 0fb8f9e..0703afc 100644 --- a/gcc/ada/errout.adb +++ b/gcc/ada/errout.adb @@ -1402,6 +1402,49 @@ package body Errout is return S; end First_Sloc; + ---------------------- + -- Formal_Error_Msg -- + ---------------------- + + procedure Formal_Error_Msg (Msg : String; Flag_Location : Source_Ptr) is + begin + pragma Assert (Formal_Verification_Mode); + Error_Msg ("(" & Formal_Language & ") " & Msg, Flag_Location); + end Formal_Error_Msg; + + ------------------------ + -- Formal_Error_Msg_N -- + ------------------------ + + procedure Formal_Error_Msg_N (Msg : String; N : Node_Id) is + begin + pragma Assert (Formal_Verification_Mode); + Error_Msg_N ("(" & Formal_Language & ") " & Msg, N); + end Formal_Error_Msg_N; + + ------------------------- + -- Formal_Error_Msg_NE -- + ------------------------- + + procedure Formal_Error_Msg_NE + (Msg : String; + N : Node_Or_Entity_Id; + E : Node_Or_Entity_Id) is + begin + pragma Assert (Formal_Verification_Mode); + Error_Msg_NE ("(" & Formal_Language & ") " & Msg, N, E); + end Formal_Error_Msg_NE; + + ------------------------- + -- Formal_Error_Msg_SP -- + ------------------------- + + procedure Formal_Error_Msg_SP (Msg : String) is + begin + pragma Assert (Formal_Verification_Mode); + Error_Msg_SP ("(" & Formal_Language & ") " & Msg); + end Formal_Error_Msg_SP; + ---------------- -- Initialize -- ---------------- |