Python
Java
PHP
IOS
Android
Nodejs
JavaScript
Html5
Windows
Ubuntu
Linux
单元测试期间 Ada 中的异常处理
我正在尝试为我最近编写的一些 Ada 代码编写一些单元测试 我有一个特殊的情况 我希望得到一个异常 如果代码工作正常 我不会 但在这种情况下我所做的只是测试 而不是编写代码 如果我在测试例程中处理异常 那么我不知道如何继续在该过程中进行测试
unittesting
Exception
ada
从 Ada 访问 c 常量
我有一个带有这样类型定义的头文件 ifndef SETSIZE define SETSIZE 32 endif typedef struct set unsigned array SETSIZE set t 要使用相应的 C 函数 我需要在
c
ada
浮点到字符串:字符串长度问题
我想将浮点值转换为字符串并创建以下简短示例 with Ada Text IO procedure Example is A constant Float 1 234 B constant Float 123 456 789 C consta
ada
Ada 通用平均函数
我有一个函数可以对记录数组中的某个数值进行平均 该值可以是自然类型增量 也可以是枚举类型增量 我让它正确地总结了这些值 但我的问题是 如何将数组的长度转换为通用类型 以便它可以除以整数和增量类型数字 在记录数组上使用 长度 属性 这样做的优
ada
Ada:Windows 上的 cmake 和 PLplot 安装
这是该帖子的后续内容Ada 绘制二维图 https stackoverflow com questions 3210207 ada plotting 2d graphs 我决定创建一个新帖子 因为这是一个单独的问题 Windows 版 PL
Graph
CMake
ada
failedinstallation
Ada.Containers.Functional_Maps 在 Ada2012 中可用吗?
有关的信息Ada Containers Functional Maps https docs adacore com gnat rm docs html gnat rm gnat rm the gnat library html ada c
ada
gnat
如何在 Mac OS X 上获取内存泄漏的行编号堆栈跟踪?
我已经成功获得了 Xcodeleaks报告我的命令行 GCC Ada 程序中的泄漏的工具 通过添加delay 11 0 最后让leaks进行检查 然后 export MallocStackLogging 1 foobar leaks foo
xcode
memoryleaks
ada
从大端数据中提取记录
我有以下用于网络协议实现的代码 由于协议是大端 我想使用位顺序属性和高阶优先值 但看来我犯了一个错误 With Ada Unchecked Conversion with Ada Text IO use Ada Text IO with S
ada
endianness
gnat
Ada:操作员不直接可见
我正在使用 GNAT GPS studio IDE 来对 Ada 进行一些训练 我遇到了包可见性问题 首先 我在名为 DScale ads 的文件中指定一个包 其中包含以下类型 package DScale is type DMajor i
package
operatorkeyword
ada
VISIBLE
使用一个字段创建 Ada 记录
我定义了一个类型 type Foo is record bar Positive end record 我想创建一个返回记录实例的函数 function get foo return Foo is return 1 end get foo
ada
将分隔的字段合并为一个
我在 Ada 工作 我有一个非常丑陋的类型 我无法修改 我想做一些易于使用的事情 类型是这样的 for T Ugly Type Alignment use 4 for T Ugly Type Size use 48 for T Ugly T
types
ada
从 Ada 程序启动可执行文件并读取结果
I found this https stackoverflow com questions 32663224 why isnt my gnats standout file descriptor working问题和第一个答案包含一些示例
ada
gnat
ADA 文件名与包名称
我继承了一个 ADA 程序 其中源文件名和包文件名不遵循默认命名约定 ADA 对我来说是新的 所以我可能会错过一些简单的东西 但我在 GNAT Pro 用户指南中看不到它 这个类似的问题 https stackoverflow com qu
ada
如何使用“单独”关键字
我无法找出关键字separateAda 及其深度概念 请举个小例子帮助我理解 假设我有一个嵌套过程 with ada text io use ada text io procedure main is procedure proc is b
ada
Ada GPS IDE 似乎找不到 GtkAda
我已经安装了 GNAT 编程工作室 GPS 和 GtkAda 它们似乎都工作正常 但是当我尝试在 从模板新建项目 下构建简单窗口项目时 我收到一堆错误 提示 文件 gtk ads 未找到 这似乎是一个目录 依赖性问题 GPS 不知道在哪里寻
IDE
path
dependencies
ada
gnat
是否可以强制指定虚拟地址范围?
我有一个为特定 嵌入式 多处理器 32 位 架构编写的 Ada 程序 我尝试在 64 位 RHEL 上的模拟中使用相同的代码作为共享对象 因为有多个版本 并且我需要在运行时选择一个版本 我遇到的问题是代码中的几个地方编写代码的人 不是我 使
Linux
memory
Linker
sharedlibraries
ada
可以从 C++ 调用 Ada 函数吗?
我是一个完全的 Ada 新手 尽管我在高中期间已经使用 Pascal 2 3 年了 IIRC 可以从 C C 调用 Pascal 编译函数 是否可以从 C 调用用 Ada 编写的过程和函数 根据这个旧教程 http www ghs com
c
ada
crosslanguage
SPARK 整数溢出检查
我有以下程序 procedure Main with SPARK Mode is F array 0 10 of Integer 0 1 others gt 0 begin for I in 2 F Last loop F I F I 1
ada
ada2012
spark2014
Ada 中的字符串数组
我在 Ada95 中有一个程序 我必须在其中创建一个字符串数组 该数组可以包含可变长度的字符串 例子 我已经声明了一个数组 其中所有索引都可以存储大小为 50 的字符串 当我为上面的数组分配一个较小的字符串时 我收到 约束错误 Code p
Arrays
string
ada
dynamicallocation
在Android中使用Ada代码
Android 中是否有可能使用旧的 Ada 代码 我有一个用 Ada 编写的旧脚本 如果我可以直接在 Android 中使用该代码 通过 NDK 或 JNI 等 那就太好了 这可能吗 或者我应该移植代码 以下是我找到的一些链接 但我不太明
Java
Android
compilerconstruction
codereuse
ada
«
1
2
3
4
»