From 2912e22000bff5b83b77daeb2b5ed111c47268b8 Mon Sep 17 00:00:00 2001 From: Jed Barber Date: Tue, 8 Jan 2019 16:29:30 +1100 Subject: Packrat.Errors specification and tests --- src/packrat-errors.adb | 105 +++++++++++++++++++++++++++++++++++++++++++++++++ 1 file changed, 105 insertions(+) create mode 100644 src/packrat-errors.adb (limited to 'src/packrat-errors.adb') diff --git a/src/packrat-errors.adb b/src/packrat-errors.adb new file mode 100644 index 0000000..44b9202 --- /dev/null +++ b/src/packrat-errors.adb @@ -0,0 +1,105 @@ + + +separate (Packrat) +package body Errors is + + + package SU renames Ada.Strings.Unbounded; + + + + + + function Valid_Identifier + (Check : in String) + return Boolean is + begin + return True; + end Valid_Identifier; + + + function Valid_Identifier + (Check : in SU.Unbounded_String) + return Boolean is + begin + return True; + end Valid_Identifier; + + + function Valid_Identifier_Array + (Check : in Error_Info_Array) + return Boolean is + begin + return True; + end Valid_Identifier_Array; + + + function Valid_Message + (Check : in String) + return Boolean is + begin + return True; + end Valid_Message; + + + + + + function Join + (Left, Right : in Error_Message) + return Error_Message is + begin + return ""; + end Join; + + + + + + function Encode + (Name : in String; + Pos : in Natural) + return Error_Message is + begin + return ""; + end Encode; + + + function Encode + (Name : in SU.Unbounded_String; + Pos : in Natural) + return Error_Message is + begin + return ""; + end Encode; + + + function Encode + (Info : in Error_Info) + return Error_Message is + begin + return ""; + end Encode; + + + function Encode_Array + (Info : in Error_Info_Array) + return Error_Message is + begin + return ""; + end Encode_Array; + + + function Decode + (Msg : in Error_Message) + return Error_Info_Array + is + Result : Error_Info_Array (1 .. 0); + begin + return Result; + end Decode; + + +end Errors; + + -- cgit