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