跳轉到內容

Ada 程式設計/關鍵字/is

Add links
來自華夏公益教科書，開放的書籍，開放的世界
Ada. Time-tested, safe and secure.
Ada.經久耐用，安全可靠。

在關鍵字中，is 將實體名稱與其定義區分開。

在型別宣告中

[編輯 | 編輯原始碼]
type Day_Of_Month is new range 1 .. 31;

參見 Ada 程式設計/型別 和 Ada 程式設計/子型別。

在子型別宣告中

[編輯 | 編輯原始碼]
subtype Day_Of_February is Day_Of_Month range 1 .. 29;

參見 Ada 程式設計/子型別。

在包宣告中

[編輯 | 編輯原始碼]
package My_Package is
   ... -- declarations
end My_Package;

參見 Ada 程式設計/包。

在過程和函式宣告中

[編輯 | 編輯原始碼]
procedure My_Procedure is
   ... -- declarations    
begin
   ... -- sentences    
end My_Procedure;

參見 Ada 程式設計/子程式。

在泛型例項化中

[編輯 | 編輯原始碼]
package Day_Of_Month_IO is 
      new Ada.Text_IO.Integer_IO (Num => Day_Of_Month);

參見 Ada 程式設計/泛型。

另請參閱

[編輯 | 編輯原始碼]

華夏公益教科書

[編輯 | 編輯原始碼]

Ada 語言參考手冊

[編輯 | 編輯原始碼]

Ada 質量和風格指南

[編輯 | 編輯原始碼]


Ada 關鍵字
abort else new return
abs elsif not reverse
abstract (Ada 95) end null
accept entry select
access exception of separate
aliased (Ada 95) exit or some (Ada 2012)
all others subtype
and for out synchronized (Ada 2005)
array function overriding (Ada 2005)
at tagged (Ada 95)
generic package task
begin goto parallel (Ada 2022) terminate
body pragma then
if private type
case in procedure
constant interface (Ada 2005) protected (Ada 95) until (Ada 95)
is use
declare raise
delay limited range when
delta loop record while
digits rem with
do mod renames
requeue (Ada 95) xor
檢索自 "https://wikibook.tw/w/index.php?title=Ada_Programming/Keywords/is&oldid=3377161"
華夏公益教科書