在阿達，我有以下規格文件： 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_
所以，我是能夠通過使用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
如果我想聲明一個積極的只有整數類型，我需要做的是這樣的： subtype Positive is Integer range 0..Integer'Last;
我想我可以套用同樣的邏輯來聲明一個被動型是這樣的： subtype Negative is Integer range Integer'First..1;
然而，在編譯時我得到這個錯誤： attribute "First" ma
好的，Ada的任務對我來說是相當新穎和令人困惑的。我有一個保存對象的經典問題，它通過ID將關鍵事件存儲起來。這個想法是生產者任務用傳入事件填充它，並且一個或多個消費者任務需要等待，直到給定ID的事件到達，即它們應該阻塞，直到它被存儲在地圖中，然後返回該事件。 這裏是迄今爲止結構： package Reply_Storage is new Ada.Containers.Indefinite_Orde
正如我一直在努力通過「與阿達95交會」的字符，我碰到什麼似乎像一個普通的Ada83/Ada95的不兼容性：可怕的ambiguous character literal錯誤行： Put (Disk < Screen and 'P' < 'B');
我是新來的Ada，但不是強類型語言，我理解這個問題：無法確定文字是Character還是Wide_Character，並且歧義導致編譯時錯誤。 我的問
我正在玩ADA，試圖抓住它。儘管如此，我仍然很難弄清楚判別部分。我有一個判別式的任務，我試圖給它一個持續時間。但是它告訴我： package Procedures is
task type WhatchDog(dur : Duration := 1.0) is
entry Reset(start : in Time);
entry Sync(timedOut :
在此先感謝您的幫助。我目前正在做一些關於ada編程的初學者工作，我已經安裝了GNAT編程工作室（GPS），從http://libre.adacore.com/download/configurations# 我有Windows 10 64位。我得到了下面的代碼在學校： pragma Task_Dispatching_Policy(FIFO_Within_Priorities);
with Ad