ada

    1熱度

    1回答

    如果我已經定義的陣列型等 type Integer_Array is array(Natural range <>) of Integer; ,還可以使用封裝Ada.Containers.Vectors作爲 package Integer_Vectors is new Ada.Containers.Vectors( Element_Type => Integer, Index

    0熱度

    2回答

    我期待解析ADA代碼並使用Java構建AST。我的看法是,用Java編寫的解析器幾乎可以解析所有的編程語言,但經過幾天的研究,我還沒有發現任何東西。 我發現的唯一有前途的工具是Adacore的libadalang(https://github.com/AdaCore/libadalang)。但是,這隻能爲Ada和Python提供api(儘管在自述文件中提到了Java)。 你有什麼建議嗎?如果沒有使

    0熱度

    1回答

    是否可以抑制源的特定部分中的ada限制?例如,如果我已經在高層定義了「編譯指示限制(No_Dynamic_Priorities)」的使用,但是希望在我知道我所做的事情安全的地方忽略此限制,是否可以抑制此限制所以編譯器不再抱怨?

    0熱度

    1回答

    我是Ada的新手,我安裝了GPS。我希望看到OS Shell,但它是灰色的。我所能找到的只是它與文件shell.py有關,但我無法在我的GPS文件夾中的任何位置找到它。誰能幫我嗎?

    0熱度

    1回答

    我正在嘗試編寫一個課程。在規範中,任務不能有任何程序或功能。我必須使用包名稱來訪問任務。我怎麼能這樣做呢? 我可以簡單地寫一些東西沿 package hello is task sample is... end sample; end hello;

    -1熱度

    2回答

    我有程序,它正在閱讀的通用包,但我不知道該怎麼做關於上下文條款獲取數字打印和/或讀入從文件。在現在的客戶端程序中,我已經知道Element_Type應該是一個整數,但是我所有的聲明都是type元素,當沒有Ada.Element_text_IO時,我怎麼做這件事? 請讓我知道,我一直堅持了一段時間。 客戶端程序 WITH Ada.Text_IO; WITH Ada.Integer_Text_IO;

    1熱度

    2回答

    我正在使用Ada進行UDP通信。該代碼必須將一些數據發送給另一個將要處理它的主機。我試圖發送初始消息來開始通信,但它不起作用。我的客戶代碼如下: with GNAT.Sockets; use GNAT.Sockets; with Ada.Text_IO; with Ada.Exceptions; use Ada.Exceptions; procedure Client_Send is

    1熱度

    2回答

    我試着寫下面的程序: with Ada.Text_IO; procedure Main is type T is range 0 .. 18; package IO is new Ada.Text_IO.Integer_IO (T); begin IO.Put (1); end Main; 但是當我嘗試編譯,我得到以下錯誤信息: main.adb:

    0熱度

    3回答

    我想遍歷數組並檢查當前數組索引是否爲枚舉值。該陣列以及枚舉被定義如下: type Option is (None, A, B, C, D); type Votes is array(Option) of Natural; Zero_Option_Distribution: constant Votes := (others => 0); Votes_Distribution: Votes

    1熱度

    2回答

    package Bird_Package is type Bird_Type is tagged private; procedure Init(A_Bird : out Bird_Type; Name : in String); function Name(A_Bird : in Bird_Type) return String; function