alire 無法運行 hello programm 錯誤代碼 35

[英]alire cannot run hello programm error code 35

您好，我正在嘗試在 Windows 上的 Alire 上運行 Hello 程序，但我不能得到這個錯誤，有人可以幫忙嗎？ ...

有沒有辦法在 Ada 中快速初始化一個包含一系列值的數組？

[英]Is there a way to quickly initialize an array with a sequence of values in Ada?

例如，如果我想像這樣初始化一個元素數組： 有沒有一種捷徑或某種機制可以更快地做到這一點？ Matlab 和 python 有例如linspace function 返回等間距數字序列。 Ada 是否有適用於任何長度的任何數組類型的類似功能？ 我可以制作一個通用的 function 來執行此操作 ...

關於ada中的Unchecked_Conversion

[英]Regarding Unchecked_Conversion in ada

誰能解釋一下 ada.unchecked_coversion(float, UnsignedInteger) 的操作。 這個操作會執行什么？ 誰能舉例說明這一點。 非常感謝。 ...

可以為受約束和不受約束的 arrays 聲明通用 function 嗎？

[英]Possible to declare generic function for both constrained and unconstrained arrays?

假設我有一個正式的數組類型和一個 function 來查找該數組中給定元素的索引，如下所示： 為不受約束的數組（例如字符串）實例化它可以正常工作： 但是當我有一個約束數組時，這同樣不起作用： 我可以通過將正式的數組聲明行更改為以下內容來使約束 arrays 工作： 但是我不能用這個實例化無約束的 ...

如何編寫具有不同返回類型的重載函數的明確表達式？

[英]How can i write an unambiguous expression of overloaded functions with different return types?

我正在嘗試設置一個條件斷點。 可以說條件是條件 1 temp() > 0.0 但有功能內部溫度（） 和浮動溫度（） 在同一個 package. gdb 中，然后詢問 function 的目的（多次匹配）。 不僅僅是定義條件時一次，而是每次評估條件時。 是否可以明確定義 function，例如 ...

Ada + 機器學習（Python 框架）

[英]Ada + Machine Learning (Python Framework)

我正在嘗試用 Ada 編寫一個簡單的機器學習應用程序，還試圖找到一個好的框架來使用。 我對一件事的了解極少，對另一件事的了解也很少。 那里有幾個漂亮的機器學習框架，我想利用一個與 Ada 程序一起使用，但我想我只是……不知所措。 例如，我可以使用一個用 Python 編寫的現有框架並包裝（或者我猜 ...

Ada.Containers.Formal_Indefinite_Vectors memory 泄漏

[英]Ada.Containers.Formal_Indefinite_Vectors memory leak

我正在使用 package Ada.Containers.Formal_Indefinite_Vectors 的實例來存儲兩種多態對象。 我在實例化容器的地方有以下 package： 然后我用以下主要測試它： 然后，我使用 gnatmem 檢查我是否有任何 memory 泄漏，顯示如下： 為什么會漏 ...

在 Ada 中訪問 package 內本地創建的子程序

[英]Accessing locally created subprogram inside package in Ada

誰能告訴我，如何訪問 package 中本地創建的子程序，以便使用 GNATest (Aunit) 獨立測試本地創建的子程序，而不是將本地創建的子程序集成到調用的函數/過程中。 ...

如何更新此向量中的元素？

[英]How do I update an element in a this vector?

我正在嘗試更新向量中的元素。 我有很多問題，我不知道如何解決。 當我使用 Replace_Element 時，一切正常，但我想使用正確的過程。 這是我的代碼： 這些是我遇到的錯誤，我知道是什么原因造成的，但不知道如何解決： 當我使用注釋中的代碼並刪除 function 的第二個參數時，它仍然不起作 ...

為什么 Ada 語言使用分號 `;` 來分隔子程序聲明中的參數？

[英]Why does Ada Language use Semicolon `;` to Separate Parameters in Subprogram Declarations?

碼友們.. 我只是一個新手，並嘗試在他們特定的設計環境中練習一些編程范例。 最近在Ada Language Procedural Programming中學到了很多新的小東西，學習體驗非常好。 但是，對於為什么 Ada 使用分號，我無法自己找到答案; 分隔子程序聲明中的參數。 對於任何來自任何其他 ...

我將如何在 Ada 中定義 __m256i 數據類型？

[英]How would I define the __m256i data type in Ada?

我正在嘗試使用 GNAT GCC 編譯器在 Ada 2012 中為 AVX2 編寫一個庫。 我目前定義了一個數據類型 Vec_256_Integer_32 ，如下所示： 請注意，我已根據immintrin.h的_mm256_load_si256內在函數的英特爾文檔中指示的 32 字節邊界對齊數組。 ...

寫入 Ada 中可能存在或不存在的寄存器

[英]Writing to a register which may or may not exist in Ada

我有一個驅動程序，其代碼庫是為多個目標構建的，每個目標都有自己的 Registers.ads，它定義了該目標的寄存器集。 驅動程序需要寫入寄存器，該寄存器可能存在也可能不存在於 Registers.ads 中（取決於配置）。 在 C 中，我會做這樣的事情： 但是在 Ada 中，沒有預處理器，我不能用 ...

在不知道其確切內容的情況下初始化記錄

[英]Initializing a record without knowing its exact contents

我的項目中有一個來自外部團隊的源文件，我無法修改它。 它包含定義寄存器內容的記錄： 我正在編寫一個驅動程序，它將針對許多不同的目標構建，每個目標都有自己的寄存器文件。 對於寄存器文件的某些變體，My_Register 記錄將沒有 U 字段。 我正在嘗試以將所有字段設置為 0 的方式在我的代碼中初始化 ...

將變量轉換為與 Ada 中的另一個變量相同的類型

[英]Casting a Variable to the same type as another variable in Ada

我有一個為幾個不同的目標構建的代碼庫，每個目標都有自己的一組寄存器定義。 對於給定的目標，有一個寄存器定義文件，它將像這樣定義寄存器內容： U7和U8類型只是 Unsigned 類型，定義如下： 在我的驅動程序中，我有一個 Register_Write function，它將 Register1 ...

如何修復以下程序，使參數充當 out 模式參數？

[英]How to fix the following procedures so that the parameters act as in out mode parameters?

請在 ADA 中解決這個問題： 我相信我的上述程序是正確的。 我一直收到以下錯誤：assgn.adb:7:15: not fully conformant with declaration at assgn.ads:7 assgn.adb:7:15：“Arr”模式不匹配 assgn.adb:19 ...

如何在運行時定位輸入文件？

[英]How to locate input file on Run?

使用 GNAT Studio 我有一個帶有主文件和輸入文件的項目。 后者在項目文件旁邊。 我想將輸入文件的路徑作為參數傳遞給主運行。 怎么做？ （在 Visual Studio 中，我將其添加到項目並設置“復制到 output 目錄”，然后將其定位到相對於 output 目錄。） ...

如何將證明方面合並到規范中，以便每個 function 和過程都有一個后方面，如果需要，還有一個前方面

[英]How to incorporate proof aspects into the specification so that every function and procedure has a Post aspect and, if required, a Pre aspect

如何將證明方面合並到規范中，以便每個 function 和過程都有一個 Post 方面，如果需要，還有一個 Pre 方面，它概述了以下代碼的正確行為： ...

如何從 CPP 釋放 Ada Record

[英]How to deallocate Ada Record from CPP

我正在嘗試從 cpp 中釋放分配給堆的 Ada 標記記錄。 我使用代碼AdacoreU作為起點。 運行下面的代碼時，我收到以下錯誤。 我是不是想多了？ 我需要一個基於 Ada 的釋放機制嗎？ 我真正的最終目標是什么？ 我想使用動態庫創建一個插件基礎結構，其中每個庫都是給定類型的自己的工廠。 與bo ...

Alire 要求使用 GitHub 帳戶？

[英]Alire mandates use of GitHub account?

那天晚上我去試用了 Ada 的 Alire package 經理，並在文檔中找到了這個： 發出 alr init --bin myproj（你可以將 --lib 用於庫項目） 第一次運行此命令時，alr 會詢問幾個問題以自動填寫有關 crate 的信息： GitHub login：用於在貢獻社區 ...

如何在 Ada 中獲取進程 ID？

[英]How to get process id in Ada?

我想制作一個返回調用進程 ID 的方法，但似乎無法找到如何在 Ada 中執行此操作。 一定是看錯地方了。 如何在 windows 和 POSIX 平台上獲取進程 ID？ ...