跳转到内容

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://wikibooks.cn/w/index.php?title=Ada_Programming/Keywords/is&oldid=3377161"
华夏公益教科书