Публикации по теме 'ada'
Обновлен мой Nextjs 12 для использования React 18.
Кардано Коза
Сегодня я хотел использовать динамический импорт. Самое интересное, что я делаю свой веб-сайт с помощью пряжи для следующего экспорта. Это означает, что он связывает все для меня. Поэтому добавление чего-то вроде саспенса на самом деле является экспериментальной функцией. Например:
Это ошибка, которую я получаю, но я не уверен, что это проблема. Просто ошибка для людей, пытающихся использовать SSR или рендеринг на стороне сервера. Результат на самом деле именно то,..
Вопросы по теме 'ada'
Есть ли бесплатная реализация Ады?
Я посмотрел на сайт AdaCore, а также на A# (который теперь, похоже, принадлежит AdaCore), и ни один из них не оказался бесплатным (хотя я мог что-то неправильно понять). Есть рекомендации?
2200 просмотров
schedule
21.05.2023
Ада инициализирует массив на основе пользовательского ввода
Я перехожу с Java / C ++ на Ada, и мне сложно разобраться в мелочах. Можно ли объявить массив и запросить у пользователя минимальные / максимальные значения, а затем инициализировать его? Мне не нравится определять постоянные значения для MIN и MAX,...
1742 просмотров
schedule
26.04.2022
Компиляторы Ады для Linux
Я провожу торговое исследование для разработки Ada для Linux. Есть ли у вас хорошие рекомендации по компилятору/ОС?
Пока у меня есть GNAT от AdaCore, работающий на CentOS 5.4, и у меня есть запросы на лицензию для Rational Apex и Aonix ObjectAda....
5782 просмотров
schedule
22.07.2023
Найти символ в строке в Аде
Есть ли простой способ проверить, находится ли заданный символ в строке? Я знаю, что если бы строка была просто диапазоном (скажем, 'a'..'z' ), то я мог бы использовать оператор in , но мне нужно что-то для строк char in "- _,." . Как лучше всего...
1990 просмотров
schedule
18.02.2022
Моделирование шестигранной кости в Аде-2005
Я очень определенно столкнулся с «симуляцией шестигранной кости» (которая дает случайное целое число от 1 до 6, все результаты равновероятны) в Java, Python, Ruby и Bash. Однако я еще не видел подобной программы в Аде. Кто-нибудь сталкивался с таким?
287 просмотров
schedule
09.04.2023
Создание записи Ada с одним полем
Я определил тип:
type Foo is record
bar : Positive;
end record;
Я хочу создать функцию, которая возвращает экземпляр записи:
function get_foo return Foo is
return (1);
end get_foo;
Но Ада мне не позволяет, говоря, что...
993 просмотров
schedule
22.04.2022
Как напечатать адрес, на который указывает переменная доступа ada?
Я хочу напечатать адрес переменной доступа (указателя) для целей отладки.
type Node is private;
type Node_Ptr is access Node;
procedure foo(n: in out Node_Ptr) is
package Address_Node is new System.Address_To_Access_Conversions(Node);
use...
8690 просмотров
schedule
08.12.2022
Разработка программного обеспечения с Адой: заглушки; отдельные и компиляционные единицы
У меня есть опыт работы в области машиностроения, но мне интересно научиться хорошей практике разработки программного обеспечения с Адой. У меня есть несколько вопросов.
Q1. Если я правильно понимаю, то кто-то может просто написать файл...
3024 просмотров
schedule
18.03.2023
Ada: атрибут 'last и' safe_large
в Аде очень часто создается производный тип, например новый тип Float с последним элементом Float'Last. Я еще не видел, чтобы кто-то использовал Float'Safe_Large вместо атрибута Float'Last при определении нового типа Float. На моей 32-битной машине...
641 просмотров
schedule
22.05.2022
wxWidgets для Ады?
В Lua-скриптинге я нашел библиотеку wxWidgets (wxLua) очень полезной, поэтому я хотел найти привязку для Ada и GNAT Programming Studio 2010 (4.4.1) - существует ли она вообще и, возможно, кто-то знает, как связать ее с GNAT. ?
Только один я нашел,...
934 просмотров
schedule
22.07.2023
Ада - может ли прагма Attach_Handler () прикрепить обработчик с приоритетом System.Priority'Last?
Следующие два объявления эквивалентны:
protected type prot_Type is
....
pragma Priority(System.Priority'Last);
end;
protected type prot_Type is
....
end;
Один из способов подключения обработчика прерывания:
protected type...
747 просмотров
schedule
23.04.2022
Преобразование типов в ада
У меня есть пакет, в котором я конвертирую строку в целое число следующим образом:
param: integer;
begin
param:= Integer'Value(param_string);
Мой вопрос очень простой, я хотел бы сделать то же самое, но с универсальным пакетом. Универсальный...
8078 просмотров
schedule
11.07.2023
Вывод Valgrind сбивает с толку
У меня возникли проблемы с пониманием вывода Valgrind:
1> «Недопустимая запись размера 4» появляется в автоматически сгенерированном файле adb,
return (gnat_exit_status); -- this is line 314 of b~main.adb
и gnat_exit_status определяется...
2832 просмотров
schedule
30.12.2022
Ширина целочисленного изображения () по умолчанию в Аде
Как я могу изменить ширину целочисленного изображения () по умолчанию в Аде?
Я хотел бы иметь возможность делать такие вещи, как put("this is a number: " & i'img); с i , например, 5, и чтобы Ада выводила число без лишних пробелов.
В...
5286 просмотров
schedule
25.09.2022
Ада, как упаковать код Ады в независимый exe-файл?
Я использую GNAT Programming Studio 2011.
Я хочу знать, как упаковать код в exe-файл. Например, упаковать и выпустить мой код в исполняемый файл, и он может работать на другом компьютере, на котором не установлен GPS2011.
Спасибо! Солнечно
575 просмотров
schedule
22.07.2022
Как запустить код Ада в GPS
Как запустить программу в GNAT Programming Studio? Я вижу, что он успешно скомпилирован, но я не вижу, где моя программа начала работать. Я хотел бы проверить это.
5488 просмотров
schedule
22.11.2022
Взаимодействие Ады с асинхронным интерфейсом на C++
У меня есть задача разработать новый интерфейс для распределенного приложения (несколько процессов, работающих на одном компьютере, физически еще не распределенных), которое состоит из множества модулей графической панели, написанных на C++/OpenGL, и...
570 просмотров
schedule
02.06.2022
Чтение имени пользователя для входа в Windows с помощью Ada 95
Есть ли в Ada 95 функция, которая возвращает мне строку, содержащую зарегистрированное имя пользователя в приложении Windows? Спасибо.
273 просмотров
schedule
20.05.2022
Реализация Sum в Аде
1)
Sum := 0;
for J in 1 .. N loop
Sum := Sum + J;
end loop;
2)
Sum := ((N + 1) * N) / 2;
Я читал, что первое (левое) решение является более «общим» — применимым к широкому диапазону значений — чем второе (правое) решение. Что...
1144 просмотров
schedule
16.07.2023
Окно чата с Gtk+
Я пишу что-то вроде чата в Ada , используя Gtk+ (технически GtkAda ). И у меня проблемы с некоторыми Gtk . Мое окно состоит из Entry , TextView и Button (Отправить).
Сложная часть находится в обработчике On_Button_Send_Clicked...
703 просмотров
schedule
02.02.2022