ada

    2热度

    2回答

    我试图编译三个级封装的名字,如包ABC宣布withs规格的阿达单位,但编译失败抱怨是没有单位AB 这就是它似乎只搜索名为AB.ads的文件而不搜索ABC.ads。 如何让gcc查找正确的文件? 感谢您的帮助。

    1热度

    1回答

    我有Windows 10 64位,我安装了刚安装的GNAT编程工作室(没有设置就像java jdk)。我想在GPS GNAT编程工作室制作我的第一个Ada程序。 在此基础上example,以下是Arrayproject.adb: with Ada.Text_IO; with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; use Ada.Text_

    3热度

    4回答

    我正在Ada中做Z80仿真器。 我实现JR(相对跳转)的家庭,但我不满意我的代码: with Ada.Text_IO; procedure main is type UInt16 is mod 2 ** 16; type UInt8 is mod 2 ** 8; type Int8 is range -128 .. 127; package UInt1

    0热度

    2回答

    我是Ada的绝对初学者,有一件事我找不到具体的定义 - 这就是语句entry。 我理解一个带有障碍的条目 - 如果障碍为真,语句可以执行,如果为假,任务会排队直到评估为真。 例如: entry Get(Item : out Data_Item) when Number_In_Buffer /= 0 is begin ... end Get; 但是这是什么意思的声明entry出现没有随后w

    0热度

    1回答

    最近,我遇到的是只使用阿达安全关键系统来了。该系统提供约3个包装,每个包装中包含约200-300个功能作为源。 我需要访问几乎所有这些功能的其他软件系统(非常漂亮整洁的),它完全用C/C++。 目标:我需要公开这些阿达功能C/C++。 我明白我可以使用pragma Export()结构导出的功能和interfaces.C包到C和Ada之间的参数转换。 但是,我在想,如果有一个更容易或更可扩展的方式

    2热度

    1回答

    此代码有什么问题?编译器说有两件事情,即没有运行条目,并且运行接受不匹配条目(两者似乎都是错误的),并且单独指出在声明之前不能使用Train(但它已被声明)。请向我解释发生了什么事。 我很犹豫要显示整个代码,但可以这样做。 type ItineraryType is array (0..255) of Integer; type Train is record Label : Inte

    0热度

    1回答

    我尝试在Windows上通过命令行编译一个非常简单的GtkAda应用程序。下面是应用程序的代码: `WITH Gtk.Main ; USE Gtk.Main ; WITH Gtk.Window ; USE Gtk.Window ; PROCEDURE Test01 IS win : Gtk_window ; BEGIN Init ; Gtk_New(Win)

    2热度

    2回答

    ,所以我散列和定义这些类型/功能: subtype string2 is String(1..2); function cString2 is new Ada.Unchecked_Conversion(string2, long_integer); function cChar is new Ada.Unchecked_Conversion(character, long_integer);

    4热度

    3回答

    我一直在试图围绕阿达,我一直在阅读关于dependent types阿格达和伊德里斯。 难道Ada中的subtypes等价于依赖类型吗?

    1热度

    1回答

    我正在研究Xamarin并尝试在我的iPad上安装iOS应用程序。 我想链接一个Ada静态库。 所以我有一个libMyLibrary.a + libgnat.a文件和一个C头代码(MyLibrary.h)。 在Xamarin中,我创建了一个绑定库项目并添加了我的库。 在Xamarin中,我将上述项目添加为我的iPad应用程序的参考。 首先,我使用P磁带库通信/有DllImport(“__Inter