Выражение для поиска индекса в массиве

Question

Как найти первый символ в строке, который является пробелом, и вернуть его индекс с помощью одного выражения, которое можно использовать как часть Contract_Cases?

Например, если строка:

Input : constant String := "abc def";

тогда выражение должно вернуться 4,

Answer 1

Первоначально вопрос задавался о первом непустом символе в строке, для которого вам нужно Ada.Strings.Fixed.Index_Non_Blank ( ARM A.4.3 (12) и (61)).

Как исправлено (первый пустой символ в строке), используйте Ada.Strings.Fixed.Index - см. комментарий ОП ниже.