ada

2熱度

1回答

我已經在Windows 10上安裝了gnat gpl 2016並嘗試使用gnatmake編譯下面的（小）程序。問題是由於從libc導入了一個函數，這個任務似乎比簡單的gnatmake.exe gsh_repl.adb複雜得多[gnatmake會在linux上編譯這個很好 - 在最壞的情況下添加-lglibc就足夠了]。我的問題是，我不知道應該添加哪個選項才能使鏈接階段成功完成。下面是程序： wit

1熱度

1回答

將無界字符串轉換爲整數Ada

我的問題很簡單，就像谷歌讓我失望一樣。如何將無界的字符串轉換爲整數？如果字符串是有界的，我可以這樣做：I : Integer := Integer'Value("613"); 然而，我的字符串是無界的，和Ada引發此錯誤： expected type "Standard.String" found private type "Ada.Strings.Unbounded.Unbounded_Str

1熱度

1回答

Ada類型聲明語義

我正在大學攻讀Ada。今天，我的教授向我們提出了一個問題。在下面的代碼中有三個類型聲明。第三個不會編譯錯誤「缺少新的」。我假設的「類型」關鍵字讓編譯器知道我們即將定義的存儲類，所以我的問題是：哪些聲明之間的語義差別？如果省略關鍵字Integer，那麼Ada在指定範圍時是否採用通用整數類型？這似乎是一個明顯而合乎邏輯的結果。此外，當「範圍」之前的關鍵字「整數」是新的，那麼是否需要？我希望這不

1熱度

1回答

轉換Standard.Natural到Ada.Containers.Count_Type

我實例化的Ada.Containers.Vectors通用包這樣的： package My_Vectors is new Ada.Containers.Vectors( Element_Type => My_Type, Index_Type => Natural); 說，我有一個載體和Standard.Natural值聲明： Foo_Vector: My_vectors.Ve

3熱度

3回答

阿達通用包擴展

我有一個通用的包裝Containers.Stacks看起來大致是 generic type Value_Type is private; package Containers.Stacks with Preelaborate is --Node stuff type Stack is new Container with private; --Oth

0熱度

2回答

Ada：從文件讀取問題

所以我不得不從文本文件中讀取關係來對它們執行拓撲排序。問題在於關係中的數據是異構的。有大約3種不同的枚舉數據類型，並且還有整數和浮點數。當從文件中讀取這些數據時，根據我的理解，它會被讀取並存儲爲字符串，直到執行Unchecked_Conversion。最終，我的問題是，如果我要用任意組合的這些類型讀取任何文本文件，是否需要掃描每一個我遇到的類型，然後再轉換它？像，我必須掃描每個元素檢查一段時間，「

2熱度

2回答

GCC更新後出現意外的CONSTRAINT_ERROR

我們最近更新了GCC版本（4.8.2至5.3.0），並在某些Ada應用程序中開始接收意外的約束錯誤。我已經將它歸納爲以下： -- moo.adb with text_io; procedure moo is type thing_type is (something1,something2,something3,something4,something5,something6);

0熱度

1回答

阿達無效索引約束

我在ADA定義的矩陣型是這樣的： type Matrix_Type is array(Natural range <>, Natural range <>) of Item_Type; 爲了一些轉換應用到輸入矩陣，我需要一個函數來定義一個矩陣切片。我想，通過這樣做以下方式 procedure Do_Stuff(M: Matrix_Type) is -- c needs to be h

0熱度

2回答

阿達：瞭解variable'Size VS type'Size VS value_size VS object_size

讓下面的Ada類型定義： type Type_Huge is array (1 .. Integer'Last) of Float; type Type_B is (foo, bar, blop, bloub); type Type_A (disc : Type_B := foo) is record case disc is when foo =>

0熱度

2回答

如何鏈接Ada中的自定義dll？

因此，這是一個簡單的項目，我之前將它們放在一起進行測試，然後再做一些很酷的事情。最終的目標是讓程序能夠通過真棒dll功夫來處理模塊化。但是，寶貝的步驟。現在我只想製作鏈接。這裏我有Adder.ads： package Adder is function Add(A : Integer; B : Integer) return Integer; end Adder; 和各自A