ada

    0熱度

    1回答

    我們正在實時開發使用ADA語言(ADA95)。我們面臨着與地址綁定機制 問題。在此之前我們使用了ADA83,其中直接機制是 x在16#12345678#處使用; 將地址16#12345678#分配給變量x;但在ADA95中,不支持此語法。其他分配方式是聲明變量的記錄。然後創建一些系統的對象 包然後傳遞address.Which非常繁瑣,而要處理一個單一的變量。此方法僅適用於具有連續內存位置的許多變

    0熱度

    1回答

    是否可以在運行時確定Ada陣列的維數?例如,給定陣列類型 type int_int_array is array (1 .. 3, 1 .. 4) of integer; 我正在尋找一些屬性或屬性組合我可以用來確定該數組有2個維度。最終目標是真正遍歷整個數組,但所有這樣做的方式我知道只有在您知道維數計數時纔會工作。在一些當前的開發過程中,數組的定義(包括維數)將會發生很大的變化,我希望我不必每

    1熱度

    3回答

    我需要將Windows C++程序連接到傳統的GNAT Ada程序。 Windows程序將遺留的Ada程序作爲一個獨立的進程產生,然後等待它返回。 我可以將Ada主程序寫成一個返回整數的函數。我可以看到,在Window中,我可以等待過程完成,然後調用WaitForSingleObject(),我可以調用GetExitCodeProcess() - 但這兩個人似乎都沒有告訴我Ada程序返回了什麼 -

    0熱度

    1回答

    我剛剛回到Ada,因爲這很可能是一個初學者問題。基本上我試圖打印一維數組的長度。這個數組在記錄中。如果我創建了一個記錄實例,我可以打印這個類型,但是我覺得必須有一種方法來打印只是單獨類型的長度。這裏的一些代碼,我想到了一個非常牽強的例子將工作: with Ada.Text_Io; procedure TestApp is type int_array is array (intege

    4熱度

    3回答

    我剛剛從last year's 32C3上觀看了關於security considerations for railway systems的討論。 在第25分鐘,演講者簡要地談論了Ada。具體而言,他說: 典型的Ada實現有一個叫做「(tramp/trunk/ ?)lines」的機制。這意味着它會執行代碼堆棧,這對C程序來說不是很好。如果您想將Ada代碼與C 庫鏈接,則其中一種安全機制將無法工作。

    0熱度

    1回答

    我正在嘗試使用Ada進行mergesort算法。 我必須創建一個通用的過程並實現使用任務並行執行mergesort。 mergesortproc.adb:92:17: "put_Line" is not visible mergesortproc.adb:92:17: non-visible declaration at a-textio.ads:264 mergesortproc.adb:9

    0熱度

    2回答

    我剛剛開始學習Ada 95,並且在比較字符串時遇到了一些問題。 下面的代碼: with Ada.Text_IO; use Ada.Text_IO; with Ada.Integer_Text_IO; use Ada.Integer_Text_IO; with Ada.Command_Line; with Ada.Strings.Unbounded; procedure Test1 is

    0熱度

    1回答

    我正在嘗試在Gtkada中創建一個簡單的測試程序,以便在離開特定文本框時調出對話框。我已經管理了這部分,但在按下對話框的「確定」按鈕時,將焦點重置回原始文本框時出現問題。 一般的想法是用戶在文本框中輸入內容,當他們點擊/選項卡(焦點輸出事件)時,會進行一些簡單的字母數字驗證。如果驗證失敗,則用戶使用對話框發出警告,並將焦點返回到他們輸入錯誤數據的文本框中。 我之後的所有內容都是一個簡單的示例,說明

    1熱度

    2回答

    我簡直不明白爲什麼以下不起作用。有人可以幫我解決它嗎?它抱怨(在運行時): 提出生成Constraint_Error:variant2.adb:21判別檢查失敗 procedure Variant2 is type POWER is (NONE,GAS, STEAM); type VEHICLE (Engine : POWER := NONE) is record

    2熱度

    1回答

    我重新寫一個加密/壓縮庫,現在看來似乎越來越成爲每個處理的字節進行大量的處理。我寧願選擇加密可以去哪幾種有限的方式(正確的方法)時使用枚舉類型,但是當這些路徑成爲週期性的,我必須添加額外的代碼來測試type'last和type'first。我總是可以爲這個類型寫一個這樣的條件,或者給函數的類型賦一個加法/減法運算符來包裝結果,但這是更多的代碼和處理,當它必須每八字節以及其他一切。有沒有一種方法,使