spark_terminal.adb 448 B

123456789101112131415161718
  1. package body SPARK_Terminal is
  2. procedure Set_Exit_Status (Status : Exit_Status) is
  3. begin
  4. Ada.Command_Line.Set_Exit_Status (Status);
  5. end Set_Exit_Status;
  6. function Argument_Count return Natural is
  7. begin
  8. return Ada.Command_Line.Argument_Count;
  9. end Argument_Count;
  10. function Argument (Number : Positive) return String is
  11. begin
  12. return Ada.Command_Line.Argument (Number);
  13. end Argument;
  14. end SPARK_Terminal;