Download src/errors.ads from Snapkitty/sovereign-ada-rtx: direct link, hf CLI and curl.
- Browser
- Download file 759 Bytes
-
https://huggingface.co/Snapkitty/sovereign-ada-rtx/resolve/main/src/errors.ads
- Command line
-
hf download hf://Snapkitty/sovereign-ada-rtx/src/errors.ads
-
curl -L -o errors.ads https://huggingface.co/Snapkitty/sovereign-ada-rtx/resolve/main/src/errors.ads
759 Bytes
| with Core_Types; use Core_Types; | |
| package Errors is | |
| type Error_Log is limited private; | |
| procedure Clear_Error (Log : in out Error_Log); | |
| procedure Set_Error (Log : in out Error_Log; Code : Status_Code; Hint : Medium_Natural := 0; Message : String := ""); | |
| function Get_Code (Log : Error_Log) return Status_Code; | |
| function Get_Hint (Log : Error_Log) return Medium_Natural; | |
| function Has_Error (Log : Error_Log) return Boolean; | |
| function Get_Message (Log : Error_Log) return String; | |
| procedure Report_Error (Log : Error_Log); | |
| function Error_Is (Log : Error_Log; Code : Status_Code) return Boolean; | |
| private | |
| type Error_Log is record | |
| Context : Error_Context; | |
| Active : Boolean := False; | |
| end record; | |
| end Errors; | |