跳至内容

Ada 编程/库/SAL

来自维基教科书,开放的书籍,开放的世界

Ada. Time-tested, safe and secure.
Ada. 经久考验,安全可靠。

SAL 是作者在其项目中发现有用的一组东西。

SAL 的很大一部分提供了连贯的一组泛型抽象数据类型,旨在成为“标准 Ada 库”讨论中的另一个条目。SAL 这部分的目标是提供充分利用 Ada 泛型灵活性和强大功能的 Ada 包,同时让非专业用户也能比较容易地使用。这在 Ada 95 和 2005 容器库出现之前就写好了,现在基本上被该库取代了。

SAL 的另一大部分提供了三维空间中质量的运动学和动力学的数学运算。笛卡尔向量、四元数、正交旋转矩阵、惯性矩、力、加速度、速度都得到了支持,具有 3 个和 6 个自由度(平移和旋转)。作者将此库用于机器人和卫星模拟。

此外还包括对 AUnit 测试框架的扩展、配置文件包以及其他有用的东西。

作者
Stephen Leake
主页
http://stephe-leake.org/ada/sal.html
华夏公益教科书