当前分类:ada

precision - Ada 定点类型的限制

generics - 包含对基于该记录的通用包实例化的访问的记录

Ada GPS IDE 编译器错误未定义架构 x86_64 的符号

gcc - 创建一个用 Ada 编写的 DLL

ada - 如何在字符中存储 ASCII 值(仅限 Ada 83)

scheduled-tasks - EDF 中的 Ada 调度

字符串输出奇怪

static - 动态链接libgnat

delay - Ada - 带延迟语句的异步控制传输不会中止(使用 GNAT)

Ada Text_IO 在 Get 之后打印

integer - 为什么 Dynamic_Predicate 不起作用?

string - 将字符串传递给 C 函数

shell - 为什么我的 GNAT 的杰出文件描述符不起作用?

gdb - 在 GDB 中调试使用 MinGW32 编译的 Ada 应用程序

arrays - Ada 中无约束可变类型的数组

enumeration - 如何检查输入是否为枚举类型

ios - native 链接错误无法为 XXX 创建紧凑展开,不使用标准框架 (MT5209)

executable - Ada 查找可执行文件位置

windows-10 - 如何运行Ada编写的程序?

ada - 如何证明嵌入在双循环中的函数的 Ada/SPARK 前提条件

热门标签: