я должен погрузиться в Float со строкой, и сумма должна быть целым числом.
процедура Kvoten_Av(Flyt: in Float;
Str: в строке;
Kvot: out Integer) is
начинать
Kvot:= Integer(Flyt / Float(Str));
конец Квотен_Ав;
Это явно не работает, но это было мое первое предположение
Справочное руководство по Ada 2012, раздел K.2, содержит следующее описание
Атрибут Value: S'Value Для каждого скалярного подтипа S: S'Value обозначает функцию со следующей спецификацией: функция S'Value (Arg: String) возвращает S'Base
Эта функция возвращает значение, учитывая изображение значения в виде строки, игнорируя любые начальные или конечные пробелы.
Если строка с именем str содержит строковое представление числа, ее можно преобразовать в значение с плавающей запятой с помощью следующего синтаксиса:
My_Float_Number : float;
...
My_Float_Number := float'Value(str);
Скалярные подтипы включают типы с плавающей запятой, целочисленные типы со знаком или без знака, модульные типы и типы перечисления.
Связанные примеры с использованием
Ada.Integer_Text_IO.Get
рассматриваются здесь.