Описание тега ada2012
Ada 2012 - это текущий стандарт языка программирования Ada.
1
ответ
Испытание Floor_Log2 в Искре
Новичок в Spark и новичок в Ada, поэтому этот вопрос может быть слишком широким. Тем не менее, это спрашивается добросовестно, как часть попытки понять Spark. Помимо прямых ответов на вопросы ниже, я приветствую критику стиля, рабочего процесса и т.…
12 дек '18 в 23:02
2
ответа
Как остановить выполнение в моей программе
Не вставляя сюда мой код, как я могу помешать моей программе ADA больше выполнять строки кода во время выполнения, если она вычисляет определенное значение в "X"? что-то вроде: variable_name := variable_name +4; if variable_name >1 then // END pr…
12 фев '15 в 20:29
2
ответа
Как перебрать несколько наборов данных из стандартного ввода
Я читаю из стандартного ввода (текстовый файл и делаю расчеты с данными, которые выстроены так: 2 --This states the amount of following sets of info 150 -- this is the first set of data 250 -- this is the second set of data 0 -- this is supposed to …
12 фев '15 в 22:18
2
ответа
SPARK Целочисленная проверка переполнения
У меня есть следующая программа: procedure Main with SPARK_Mode is F : array (0 .. 10) of Integer := (0, 1, others => 0); begin for I in 2 .. F'Last loop F (I) := F (I - 1) + F (I - 2); end loop; end Main; Если я бегу gnatprove, Я получаю следующ…
10 ноя '17 в 17:08
0
ответов
Только в стандартном стандарте ISO Ada, как пункт "Представление записи" + любая другая языковая функция (и) может быть переносима на процессоры с прямым и прямым порядком байтов?
Без использования нестандартного предложения ‡ Scalar_Storage_Order в последних выпусках GNAT, как, скажем, заголовок IPv4 можно переносимо представлять с помощью предложений представления записи вместе с любой комбинацией любых других языковых функ…
16 май '18 в 03:56
1
ответ
Безымянные записи в Аде
В Java вы могли бы сделать что-то вроде этого: ArrayList.add(new Object(int arg1, int arg2); создание объекта без имени и добавление его в список, что упрощает его использование в цикле. Как бы я сделал подобное в Аде, используя записи? У меня есть …
05 мар '15 в 21:54
2
ответа
В Аде, Как мне рекурсивно отобразить и память управлять типом внутри себя
Я боролся с этой маленькой проблемой некоторое время. Я пытаюсь создать свою собственную реализацию внутренней структуры JSON. Проблема в том, что с Ada я должен использовать тип доступа, чтобы сделать его рекурсивным, а у типов доступа есть риск ут…
22 июл '17 в 19:21
2
ответа
Как зациклить, чтобы получить int из stdinput, игнорируя пробелы
Поэтому я могу легко получить искомое значение int из моего файла.txt через стандартный ввод, но когда перед ним есть пробел (или несколько пробелов), он не работает и возникает ошибка данных, так как его хотя integer мой код ниже, который работает …
01 мар '15 в 22:03
1
ответ
Определение, почему утверждение Ада не удалось
Если утверждение не выполняется, я получаю следующий вывод: поднял SYSTEM.ASSERTIONS.ASSERT_FAILURE: Ошибка динамического предиката в файле file.adb:36 Могу ли я получить более подробную информацию? Например, что это был за ввод, или, возможно, трас…
06 ноя '17 в 05:54
1
ответ
Ада Tasking и Безопасность
Я не люблю кодирование, но мне очень понравилась Ада, и я очень новичок в этом. Не могли бы вы разъяснить мне эти моменты? Если у вас есть компьютер с одним непотоковым процессором, задача по- прежнему будет однопроцессорной. То же самое относится и…
22 июн '15 в 11:03
1
ответ
Выражение для поиска индекса в массиве
Как найти первый символ в строке, который является пробелом, и вернуть его индекс с помощью одного выражения, которое можно использовать как часть Contract_Cases? Например, если строка: Input : constant String := "abc def"; тогда выражение должно ве…
10 ноя '17 в 07:13
1
ответ
Описание типа String в Ada
У меня есть тип, похожий на: type ID is new String (1 .. 7); -- Example: 123-456 Как я могу указать этот формат в коде, либо с Ada или SPARK? Я думал о Static_Predicate, но условие, что строка должна начинаться с 3 положительных целых чисел, за кото…
05 ноя '17 в 15:04
1
ответ
Обходной путь "Динамическое преобразование интерфейса не поддерживается конфигурацией"
У меня есть объектно-ориентированный дизайн следующим образом (Ада 2012). Вопрос не в самом дизайне, а в его последствиях с конкретным профилем времени выполнения. -- several packages ommitted here, ads/adb mixed together type Interface_A is interfa…
12 июн '18 в 13:25
1
ответ
Ада для цикла не делает правильное сравнение
Простая программа состоит в том, чтобы сопоставить лучшего кандидата для избирателя с несколькими кандидатами. Есть 10 воображаемых тем, на которые ответил воображаемый избиратель; "-1" означает несогласие, "0" означает, что все равно, "1" означает …
06 мар '15 в 01:49
1
ответ
Как вы реализуете Generic_Sorting в Ada для вектора?
Я пытаюсь сделать некоторые базовые переводы старого кода C++ от многих лун назад, чтобы выучить Аду, и я был совершенно ошеломлен тем, как сортировать вектор с помощью встроенного Generic_Sorting. Я не смог найти никаких конкретных примеров этого в…
05 дек '18 в 04:28
0
ответов
Универсальная подпрограмма, получающая тип из пакета, реализующего Ada.Iterator_Interfaces, чтобы воспользоваться преимуществами Ada 2012 для.. in/of синтаксиса цикла
Как я понимаю, все, что реализует Ada.Iterator_Interfaces, может использовать Ada 2012 для синтаксиса цикла. "for ... [in|of] .. loop .. end loop; Как мне создать общую подпрограмму, которую я могу создать с типом в пакете, который реализует Ada.Ite…
27 янв '15 в 12:52
1
ответ
Понимание границ объединенных массивов в Аде 2012
Я читаю Программирование в Аде 2012 Джоном Барнсом. В разделе 8.6 он обсуждает конкатенацию массивов и правила для границ массивов, в частности: Нижняя граница результата зависит от того, ограничен ли базовый тип массива или нет. Если оно не огранич…
09 мар '15 в 21:28
1
ответ
Ada 2012 и отладчик GNAT GPS IDE не могут найти исходный файл
В Ada 2012 я работаю с простой программой.adb для файла hello world с использованием IDE GPS под Windows 7/64. Если я храню все объектные и исходные файлы вместе, все работает. Мне действительно нужно было перейти на вкладку "Свойства" проекта, выбр…
06 мар '15 в 02:11
3
ответа
Как добавить различные значения типа в массив в Ada?
Моя цель состоит в том, чтобы получить из стандартного ввода уравнение, сохранить его в массиве для последующего использования / повторной печати, а затем вывести строку, печатающую все уравнение И ответ после, примерно так: Вход: 2+3= Выход: 2 + 3 …
28 фев '15 в 21:10
2
ответа
Рекурсивная видимость символов в пакетах Ada
Допустим, у меня есть общая библиотека векторов. Чтобы упростить использование, я хочу создать различные распространенные формы векторной библиотеки и сделать их видимыми в одном пакете. Я пытаюсь это: with GenericVector; package Vectors is package …
17 май '14 в 21:09