跳转到内容

Ada 编程/库/系统

Add links
来自维基教科书，开放世界中的开放书籍
Ada. Time-tested, safe and secure.
Ada。经久耐用，安全可靠。

描述

[编辑 | 编辑源代码]

System 包是一个标准库包，每个 Ada 实现都提供它。它包含实现和系统配置相关的定义。System 包包含一组标准的语言定义的（但实现相关的）类型和命名数字。

类型

[编辑 | 编辑源代码]
  • 名称
  • 地址
  • 优先级（自 Ada 95 起，也称为 Interrupt_Priority 和 Any_Priority）
  • Bit_Order（自 Ada 95 起）

常量

[编辑 | 编辑源代码]

以下命名数字可以通过编译指示设置。这些编译指示只能在编译开始时使用

  • System_Name
  • Storage_Unit
  • Memory_Size

以下命名数字由实现设置

  • Null_Address（自 Ada 95 起）
  • Default_Priority（自 Ada 95 起）
  • Default_Bit_Order（自 Ada 95 起）
  • MIN_INT - 所有预定义整型类型（负数）的最小值。
  • MAX_INT - 所有预定义整型类型（正数）的最大值。
  • MAX_BINARY_MODULUS - 允许作为模类型模数的最大幂。
  • MAX_NONBINARY_MODULUS - 允许作为模类型模数的最大值。
  • MAX_BASE_DIGITS - 浮点声明中允许的最大有效十进制位数。
  • MAX_DIGITS - 在没有范围说明符的情况下浮点声明中允许的最大有效十进制位数。该值最大不超过前一个值。
  • MAX_MANTISSA - 定点值中允许的最大尾数二进制位数。
  • FINE_DELTA - 定点值中允许的最小增量（给定 -1.0 到 1.0 的范围约束）。
  • TICK - 时钟周期（以秒为单位）。

子包

[编辑 | 编辑源代码]

标准系统包

[编辑 | 编辑源代码]

六个无标记的 System 包来自 ISO/IEC 8652:1995(E) 标准。

(Ada 2012)
此包自 Ada 2012 起可用。
(Ada 2022)
此包自 Ada 2022 起可用。

GNAT 系统包

[编辑 | 编辑源代码]

以下 200 个左右的包构成了 GNAT 运行时环境。这里提到它们是为了供高级用户参考。普通 GNAT 用户应该忽略它们，因为它们是运行时系统的内部单元。

参见

[编辑 | 编辑源代码]

维基教科书

[编辑 | 编辑源代码]

Ada 83 参考手册

[编辑 | 编辑源代码]

Ada 95 参考手册

[编辑 | 编辑源代码]

Ada 2005 参考手册

[编辑 | 编辑源代码]
取自“https://wikibooks.cn/w/index.php?title=Ada_Programming/Libraries/System&oldid=4402706”
华夏公益教科书