ada

3熱度

1回答

GNAT GPL 2017 gnatcoll.xref消失了嗎？

我想升級到GNAT GPL 2017（從2016年開始）。我在Windows 8.1上運行。一個應用程序使用gnatcoll.xref。在2016年，在已經找到：蚊蚋/包括/ gnatcoll/gnatcoll_sqlite.static/gnatcoll-xref.ads 然而，該文件未在2017年安裝找到。請注意，2017年的'gnat -...- bin.exe'安裝程序包含gnatc

2熱度

1回答

Ada：公開部分和私人部分規格是分開的嗎？

我瞭解到，在Ada規範文件（* .ads）中存在公共部分和私有部分，只有公共部分應該被視爲編譯單元（通常是包）的用戶。實際上通常不同的文件中將規範的公共部分和私有部分分開？因此，最終，這樣的包的用戶知道規範層上的包的內部但不能使用它。我在這裏嗎？感謝和歡呼聲，沃爾夫岡

0熱度

1回答

Ada庫初始化/細化和GPR指令：找不到細化符號

我正在嘗試爲iOS生成Ada庫。但是，需要手動執行Ada詳細說明。我知道編譯器可以產生一個init符號，可以在以後導入和使用。但是，通過以下GPR定義，不會生成（nm命令不會列出它）。命名應該是對應於GPR指令Library_Name 的探地雷達在以下方式定義中定義的值<libname>init與<libname>（這個是windows /風格 - 見DLL提述─，但存在的問題也適用於當在Ma

1熱度

2回答

在SPARK Ada中實例化非庫級軟件包

如何在SPARK Ada中實例化非庫級軟件包？說我有這樣的： subtype Die is Integer range 1..6; package Random_Die is new Ada.Numerics.Discrete_Random(Die); 這給了我的錯誤： instantiation error at a-nudira.ads.45 incorrect plac

2熱度

1回答

如何在Raspberry PI 3（Raspbian）上運行GNAT編程工作室？

我無法在Raspberry PI 3（Raspbian）上運行GNAT編程工作室。我使用2017-06-21-raspbian-jessie.img和gnat-gpl-2016-raspberrypi-linux-linux-bin.tar.gz 它安裝在/usr/gnat解壓，然後輸入端子sudo ./doinstall後。然後我收到一條消息，說 GNAT GPL is now install

1熱度

1回答

Ada中的=和=>有什麼區別？

據我所知，:=似乎通過複製進行分配。運算符=>似乎執行了類似的分配，但在將參數分配給對象的成員變量時使用。所以...... receivesTheCopy := isBeingCopied memberVariable => passedParameter 我正在別人的舊代碼，我有一個變量達到一個值，我從來沒有看到明確分配給它:=。我認爲也許是當它被分配到memberVariable與=>它通過

1熱度

2回答

Ada，引發CONSTRAINT_ERROR：「Value：」輸入錯誤。「

我無法獲得以下腳本來返回我的輸入值;我查閱了ARM以及John Barnes的書，但無濟於事。理論上它應該起作用。任何人都知道爲什麼？我是一個新手，所以巴恩斯的書和ARM可能對我來說太高級了。 with Ada.Text_IO; use Ada.Text_IO; procedure ron is A : Character; begin Put_Line ("Hi Ron,

0熱度

2回答

在Ada中，我如何遞歸映射和內存管理自己的類型

我一直在努力解決這個小問題一段時間。我試圖創建我自己的內部JSON結構的實現。面臨的挑戰是，對於Ada，我必須使用訪問類型來遞歸，如果我沒有嚴格控制，訪問類型有泄漏的風險。爲了控制它，我將所有真正的活動保留爲私有，我爲節點類型提供了Get (Source:...)和Set (Target:...; Value:...)函數/過程，它們將嘗試驗證和處理任何現有的Vector（json-array）或

0熱度

1回答

Ada軟件的文檔工具

簡介：我正在尋找某種工具來根據現有軟件源代碼中的註釋生成軟件描述。詳細信息：我已經有用Ada編寫的現有源代碼。需要對源代碼進行更改，並且還需要生成一個文檔，其中包含整個軟件及其所有軟件包，例程等的描述（如果可能，則爲PDF）。對於現有的例程，這些源代碼註釋已經存在並且包含足夠的細節以滿足我的需求。該說明應包括至少整體軟件設計的軟件包，例行程序，變量，常量等通話和來電圖對於基於項目的文字

0熱度

2回答

Ada：將訪問轉換爲常量以訪問變量

將訪問轉換爲常量以訪問變量的正確方法是什麼？（是的，我知道那麼我需要小心不要修改這個「變量」。）也許Unchecked_Conversion？但是：是Unchecked_Conversion的標準保證在這種情況下，很好地工作？有沒有比Unchecked_Conversion更簡單的方法？