12345678910111213141516171819202122232425262728293031323334353637383940414243 |
- with Ada.Command_Line;
- package SPARK_Terminal with SPARK_Mode is
- subtype Exit_Status is Ada.Command_Line.Exit_Status;
- Exit_Status_Success : Exit_Status renames Ada.Command_Line.Success;
- Exit_Status_Failure : Exit_Status renames Ada.Command_Line.Failure;
- procedure Set_Exit_Status (Status : Exit_Status) with
- Global => null;
- function Argument_Count return Natural;
- function Argument (Number : Positive) return String with
- Pre => Number <= Argument_Count;
- end SPARK_Terminal;
|