跳轉到內容

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://wikibook.tw/w/index.php?title=Ada_Programming/Libraries/System&oldid=4402706”
華夏公益教科書