ada

    2熱度

    3回答

    我正在玩ADA,試圖抓住它。儘管如此,我仍然很難弄清楚判別部分。我有一個判別式的任務,我試圖給它一個持續時間。但是它告訴我: package Procedures is task type WhatchDog(dur : Duration := 1.0) is entry Reset(start : in Time); entry Sync(timedOut :

    1熱度

    1回答

    我M : array (1..3, 1.. 3) of Integer := ((0, 0, 0), (0, 0, 0), (0, 0, 0)); 我期待的大小轉換的這是用戶確定的,即新的陣列看起來像M : array (1 .. user_size, 1 .. user_size) of ... 這個問題我現在是零陣列的情況。我對Ada不是很熟悉,但是學習。 有沒有辦法做到這一點?

    4熱度

    2回答

    在此先感謝您的幫助。我目前正在做一些關於ada編程的初學者工作,我已經安裝了GNAT編程工作室(GPS),從http://libre.adacore.com/download/configurations# 我有Windows 10 64位。我得到了下面的代碼在學校: pragma Task_Dispatching_Policy(FIFO_Within_Priorities); with Ad

    1熱度

    1回答

    是否有某種實現的函數可以將整數轉換爲浮點數,反之亦然? 我設法寫一個簡短的功能,它可將整數浮動: function Transform(First: Integer) return Float is A: Integer := First; B: Float := 0.0; begin For_Loop: for I in Integer range 1

    -1熱度

    3回答

    在阿達,我有以下規格文件: GENERIC TYPE Item IS PRIVATE; --type of array size : integer; --size of array PACKAGE gwar IS function get_size return integer; END gwar; 和身體文件: with Ada.Text_

    1熱度

    2回答

    所以,我是能夠通過使用Ada_function'Address到C_function的阿達功能。這裏是C函數: void Create_Process(int * status, void * function) { pthread_t new_thread; //creating function with the given function and no argumen

    1熱度

    1回答

    我對Ada非常陌生,對於在Ada規範文件中隱私保護我感到非常困惑。我有幾個私有函數需要保持私有,但我想在一些非私有過程中將它們用作前/後條件的一部分。當我嘗試給我們他們說它的功能是不確定的? 我認爲使一個私人函數意味着它只能在該包內調用?即.ads和.adb文件? 以下是我的代碼到目前爲止。因此,我的Lift_Nozzle過程的前/後條件使用私有函數Get_Active_Pump和Get_Pump

    0熱度

    1回答

    如果我想聲明一個積極的只有整數類型,我需要做的是這樣的: subtype Positive is Integer range 0..Integer'Last; 我想我可以套用同樣的邏輯來聲明一個被動型是這樣的: subtype Negative is Integer range Integer'First..1; 然而,在編譯時我得到這個錯誤: attribute "First" ma

    1熱度

    1回答

    好的,Ada的任務對我來說是相當新穎和令人困惑的。我有一個保存對象的經典問題,它通過ID將關鍵事件存儲起來。這個想法是生產者任務用傳入事件填充它,並且一個或多個消費者任務需要等待,直到給定ID的事件到達,即它們應該阻塞,直到它被存儲在地圖中,然後返回該事件。 這裏是迄今爲止結構: package Reply_Storage is new Ada.Containers.Indefinite_Orde

    3熱度

    1回答

    正如我一直在努力通過「與阿達95交會」的字符,我碰到什麼似乎像一個普通的Ada83/Ada95的不兼容性:可怕的ambiguous character literal錯誤行: Put (Disk < Screen and 'P' < 'B'); 我是新來的Ada,但不是強類型語言,我理解這個問題:無法確定文字是Character還是Wide_Character,並且歧義導致編譯時錯誤。 我的問