wolfssl-sys 4.0.0

System bindings for WolfSSL
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18

package body SPARK_Terminal is

   procedure Set_Exit_Status (Status : Exit_Status) is
   begin
      Ada.Command_Line.Set_Exit_Status (Status);
   end Set_Exit_Status;

   function Argument_Count return Natural is
   begin
      return Ada.Command_Line.Argument_Count;
   end Argument_Count;

   function Argument (Number : Positive) return String is
   begin
      return Ada.Command_Line.Argument (Number);
   end Argument;

end SPARK_Terminal;