Справочник по Ada 2012

A.15 Пакет Command_Line

Пакет Command_Line позволяет программе получать значения своих аргументов и устанавливать код возвращаемого значения при нормальном завершении.

Статическая семантика

Библиотечный пакет Ada.Command_Line имеет следующее объявление:

package Ada.Command_Line is
pragma Preelaborate(Command_Line);

function Argument_Count return Natural;

function Argument (Number : in Positive) return String;

function Command_Name return String;

type Exit_Status is тип целого, определяемый реализацией;

Success : constant Exit_Status;
Failure : constant Exit_Status;

procedure Set_Exit_Status (Code : in Exit_Status);

private
... -- не задано языком
end Ada.Command_Line;

function Argument_Count return Natural;

Если внешняя среда выполнения поддерживает передачу аргументов в программу, то Argument_Count возвращает количество аргументов, переданных в программу, вызывающую функцию. В противном случае возвращается 0. Значение «количество аргументов» определяется реализацией.

function Argument (Number : in Positive) return String;

Если внешняя среда выполнения поддерживает передачу аргументов в программу, то Argument возвращает значение, определенное реализацией, соответствующее аргументу в относительной позиции Number. Если Number находится вне диапазона 1..Argument_Count, то генерируется исключение Constraint_Error.

function Command_Name return String;

Если внешняя среда выполнения поддерживает передачу аргументов в программу, то Command_Name возвращает значение, определенное реализацией, соответствующее имени команды, вызвавшей программу; в противном случае Command_Name возвращает пустую строку.

type Exit_Status is тип целого, определяемый реализацией;

Тип Exit_Status представляет диапазон значений кода завершения, поддерживаемых внешней средой выполнения. Константы Success и Failure соответствуют успешному и неуспешному завершению соответственно.

procedure Set_Exit_Status (Code : in Exit_Status);

Если внешняя среда выполнения поддерживает возврат кода завершения из программы, то Set_Exit_Status устанавливает Code в качестве статуса. Нормальное завершение программы возвращает код завершения, установленный последним вызовом Set_Exit_Status, или, если такое значение не было установлено, значение Success. Если программа завершается аномально, статус, установленный Set_Exit_Status, игнорируется, и устанавливается значение кода завершения, определенное реализацией.

Если внешняя среда выполнения не поддерживает возврат значения завершения из программы, то Set_Exit_Status ничего не делает.

Разрешения реализации

Допускается альтернативное объявление пакета Command_Line, если для внешней среды выполнения подходит другая функциональность.

ПРИМЕЧАНИЯ

40 Argument_Count, Argument и Command_Name соответствуют argc, argv[n] (для n>0) и argv[0] языка C соответственно.