Описание тега gnat
None Компилятор GNU Ada, который входит в состав GCC (Коллекция компиляторов GNU, включая компилятор GNU C). Этот тег включает в себя различные версии GNAT (GPL, выпущенная AdaCore, FSF, доступная в дистрибутивах gcc, или Pro)
0
ответов
GNATprove: "проверка переполнения может завершиться ошибкой" в функции возведения в степень
Я не могу решить эту проблему с SPARK 2018, думаю, мне нужен какой-то инвариант, чтобы решить проблему переполнения, но я уже все перепробовал и не могу его найти. Если бы кто-то мог пролить свет на мою проблему. Я попробую Экспонирование в простом …
24 окт '18 в 12:59
3
ответа
Ада программа для Linux: SIGSEGV из-за отсутствия файла?
Я скомпилировал программу Ada для Linux в Ubuntu 5.4 (GNAT 3.4), используя следующую команду: gnatmake -O3 myprogram -bargs -static Когда я запускаю программу на машине с Ubuntu, она работает нормально. Но на другой машине (веб-сервер Linux) я получ…
12 апр '12 в 00:07
0
ответов
Инструментарий кода Ада как часть компиляции GNAT?
Я ищу лучший способ интеграции компилятора GNAT с нашими инструментами анализа и модификации кода. Мы используем пользовательские инструменты для выполнения различных метрик кода (таких как время выполнения, покрытие тестами и т. Д.) И даже делаем н…
01 мар '14 в 07:21
1
ответ
GNAT Ada gprbuild данные о выполнении
Захват и отображение даты / времени компиляции GPS GNAT Aada Запуск сборок GNAT Ada/GPS, и я хочу записать и отобразить дату / время сборки компиляции в моем пользовательском интерфейсе. Должен ли я читать исполняемый файл каждый раз, или gpsbuild г…
10 янв '19 в 00:45
4
ответа
Как сделать исполняемые файлы, сделанные с GNAT меньше?
Так что я некоторое время играл с Ada, это потрясающий язык, но я не могу понять, как сделать исполняемые файлы меньше (я использую GNAT 5.3 для Windows). В настоящее время размер файла hello world составляет около 800 кб. Когда я раздеваю отладочну…
08 янв '16 в 19:55
1
ответ
Как отправить, а затем получить пакет с клиента-сервера в Аде
Я хочу создать соединение сервер-клиент, где клиент отправляет пакет запроса на сервер, а затем возвращает значение обратно пользователю. Я могу заставить сервер читать входящий пакет от клиента, но когда он пишет обратно клиенту, клиент не получает…
05 июн '18 в 11:34
1
ответ
Изменить размер шрифта и цвет метки кнопки в GTKAda
Кто-нибудь знает, как изменить характеристики метки кнопки в GTKAda. Я пробовал с пакетом Pango и пакетом Style с пакетом Widget, и они не меняют свойства. Код выглядит примерно так: Gtk_New (Button_Select, "Select"); Modify_Font (Button_Select, Fro…
19 сен '12 в 16:12
2
ответа
Как установить Gnat Programming Studio (GPS) на Mac?
Мне удалось установить компилятор gnat из libre.adacore.com на OSx 10.6.8. Я хотел бы также установить среду Gnat Programming Studio (GPS). Я пробовал разные вещи, но ни одна из них не работала, и я не нашел исчерпывающего объяснения. Может кто-нибу…
05 ноя '14 в 22:53
1
ответ
Префикс gprinstall в файле проекта
gprinstall Программная часть набора инструментов GNAT, похоже, игнорирует префиксный атрибут в файле проекта. Он использует --prefix когда указано в командной строке. Есть ли способ заставить его использовать префикс в файле проекта?
18 фев '17 в 01:47
1
ответ
Предупреждение об ошибке ограничения с использованием Enum в ADA
Я хотел бы знать, почему предупреждения об ошибках ограничения появляются в Ada, когда используются перечисления, как в примере ниже. Поскольку я использую Enums, я могу заменить их для лучшей реализации. type Uart_Instance_Type is (COM1, COM2, COM3…
12 май '15 в 09:29
2
ответа
Использование libgc с GNAT?
Я слышал несколько упоминаний о том, что Ada поддерживает сборку мусора - и, глядя на языковой дизайн, он явно разработан с учетом этого. У меня есть приложение не в реальном времени, для которого сборка мусора была бы действительно очень полезна. О…
19 май '14 в 21:54
2
ответа
Инициализировать строку в Ada с нулевыми символами
Я новичок в Ada, мне нужно сделать инициализацию строки с нулевыми символами, как я могу это сделать? Пока что я могу инициализировать строку с пробелами следующим образом: user_str : String(1..50) := (others => ' ');
30 окт '14 в 17:32
2
ответа
Установка списка элементов по умолчанию в project_attribute в плагине GNAT GPS
Я работаю над пользовательским плагином GNAT GPS (для GPS 6.1.2). Мой плагин XML создает атрибут проекта "example_list_of_files". Это список строк, которые соответствуют именам файлов Ada в проекте. Я хочу по умолчанию записи в этом списке "a.adb", …
09 окт '15 в 09:42
0
ответов
GnatBench Runtime
Я пытаюсь заставить Eclipse компилировать проекты Ada. Я установил CDT и GNATBench 2014 (кажется, последний) под Eclipse Neon 2, и родной компилятор, кажется, работает нормально. Тем не менее, когда я пытаюсь кросс-компилировать другой проект, котор…
20 янв '17 в 17:15
1
ответ
Что послужило причиной этой ошибки компиляции Ada "литерал неоднозначных символов"?
У меня есть этот код Ады. with Ada.Text_IO; use Ada.Text_IO; procedure for_Loop is begin for Counter in 'A'..'Z' loop Put(Counter); end loop; New_Line; end for_Loop; Компилятор Ada (gnatmake) выводит эти сообщения об ошибках. gcc -c for_loop.adb for…
29 апр '15 в 04:26
1
ответ
Доступ к энергозависимому регистру в Аде
Я хочу написать очень простой драйвер для инициализации, записи / чтения с некоторых периферийных устройств на микроконтроллере, точно так же, как я делал это в C. Я использую в качестве примера периферийное устройство GPIO для инициализации, записи…
10 фев '15 в 15:49
1
ответ
Как установить отступ на вкладке с помощью GNAT GPS
Я установил GNAT GPS 2017, и я хотел бы, чтобы он вставлял в код код со вкладками шириной 4 символа пробела. Я вошел в Edit->Preferences->Editor->Ada и перепробовал всевозможные варианты (Use tabulations, default indentation 4и т. д.), но, …
23 ноя '17 в 15:05
1
ответ
Это ошибка в GNAT, о которой я должен сообщить
Когда я определяю свой собственный тип с диапазоном, оканчивающимся на 127, компилятор не выполняет проверку верхних границ, что позволяет переменной обернуться и стать отрицательным ниже определенного предела. Если я определяю диапазон как 126, тог…
07 май '14 в 22:53
2
ответа
Ada - отправка HTTP-ответа с помощью GNAT.Sockets
У меня проблема с отправкой заголовков через сокет в ADA. Вот код: Address.Addr := Addresses(Get_Host_By_Name(Host_Name), 1); Address.Port := 80; Create_Socket(Server); Set_Socket_Option(Server, Socket_Level, (Reuse_Address, True)); Bind_Socket(Serv…
11 янв '15 в 02:25
1
ответ
Ада Компиляция Распечатать полный путь
Простой вопрос Я собираю программу Ада с Gnat. Команда gcc выглядит как gcc -c -Ia -Ibunch -Iof -Iincludes -I- -o /some/object/file.o /some/source/file.adb Однако формат ошибки состоит только из file.adb:line:offset: problem, Есть ли способ заставит…
12 окт '16 в 20:27