gnat

0熱度

1回答

美好的一天大家，我目前正在嘗試用於ADA程序的ASIS工具。我想知道是否可以直接修改編譯期間生成的抽象語法樹（.adt）。如果是這樣，有人能指出我正確的方向，我怎麼能做到這一點？非常感謝您的時間。

0熱度

1回答

我在Mac上，並使用「gnatpp -rnb * .ads * adb」格式化文件，並拒絕格式化某些文件。當我創建一個新文件時，它會起作用，並且過了一段時間，文件增長/年齡（我無法找到模式）時，它停止工作。當我嘗試使用-pipe時，它會將輸入文件與事件相同。發生了什麼事？有什麼限制我會到達某個地方？我在幫助中找不到任何相關內容，並且沒有與錯誤相關的錯誤消息。這些文件全部少於200行。沒有錯誤消

4熱度

1回答

有什麼Adacore蚋版本和「標準」之間的區別一個

我想了解，與Adacore自由報版本交付蚋編譯器和標配的海灣合作委員會說，在一之間的根本區別Linux發行版或MinGw。我承擔的主要區別可能是Adacore版本始終是最新的一個，而你有一個Linux發行版得到可能是什麼，這就是一個可在分佈包裝日期。但有一個功能上的差異呢？ Adacore版本中有沒有改進的功能，它們不會發布到Gnu提供的通用開源版本中？我不是一個非常有經驗的Linux用戶，

1熱度

2回答

在Ada中初始化空字符的字符串

我是Ada的新手，我需要初始化一個空字符的字符串，我該怎麼做？到目前爲止，我可以按如下初始化帶有空格的字符串： user_str : String(1..50) := (others => ' ');

0熱度

1回答

在哪裏下載AUnit 3（用於Ada）？

哪裏可以下載Ada（特別是GNAT-4.9）的AUnit（AFAIK，最新版本是3）？我不在乎這個AUnit是否被授權GPL或其他，因爲它只用於我的測試程序和測試程序的許可證無關緊要。我有一個Debian系統gnat-4.9。包裝libaunit2-dev不與該版本的GNAT一起安裝。看起來libaunit2-dev是AUnit 1而不是AUnit 3.我更喜歡最新版本。

0熱度

2回答

gcc編譯器的lib文件未找到錯誤

請幫我在gcc編譯器命令 GCC -c -ID：\ pjtName \ LIB -c -fprofile弧-ftest覆蓋d：\ pjtName \源\ tmp目錄.ada 我想編譯與覆蓋tmp.ada。 adb和廣告文件位於D：\ pjtName \ source文件夾中。我的lib文件位於D：\ pjtName \ lib文件夾中。問題是gcc沒有在d：\ pjtName \ lib文件夾中

3熱度

1回答

Ada在Mac OS上編譯GNAT

我想在我的mac上編譯使用終端的ada，但我總是得到這個錯誤「錯誤：'-x ada'中的無效值'ada'」任何人都知道我該如何修復這個？

0熱度

1回答

「無界」是不是在阿達

可見我只是在阿達一個初學者，我的代碼看起來像這樣， with Ada.Strings.Unbounded; use Ada.Strings.Unbounded; procedure final is Input : Unbounded.String; begin null; end final; 當我編譯這段代碼gnatmake，編譯器會發出錯誤"Unbounded" i

1熱度

3回答

c宏__LINE__，__FILE__，__func__相當於蚊蚋ADA

是否有gnatada爲c macros__LINE__，__FILE__，__func__等效？這些在錯誤消息中很有用，可以快速找到代碼中的錯誤。也許還有另一個概念來歸檔相同的目標。

2熱度

1回答

動態鏈接libgnat

我試圖編譯一個非常簡單的ADA代碼。一切工作就像一個魅力，但在一臺計算機上我的可執行文件是動態鏈接到libgnat而在另一臺計算機上它靜態鏈接。在這兩種情況下，我使用gnatmake工具。任何想法爲什麼會發生？你知道一種強制GNAT動態鏈接庫的方法嗎？