Ada Programming/Keywords/is


The keyword is separates the name of an entity from its definition.

Ada. Time-tested, safe and secure.
Ada. Time-tested, safe and secure.

In type declarations

edit
type Day_Of_Month is new range 1 .. 31;

See Ada Programming/Types and Ada Programming/Subtypes.

In subtype declarations

edit
subtype Day_Of_February is Day_Of_Month range 1 .. 29;

See Ada Programming/Subtypes.

In package declarations

edit
package My_Package is
   ... -- declarations
end My_Package;

See Ada Programming/Packages.

In procedure and function declaration

edit
procedure My_Procedure is
   ... -- declarations    
begin
   ... -- sentences    
end My_Procedure;

See Ada Programming/Subprograms.

In generic instantiations

edit
package Day_Of_Month_IO is 
      new Ada.Text_IO.Integer_IO (Num => Day_Of_Month);

See Ada Programming/Generics.

See also

edit

Wikibook

edit

Ada Reference Manual

edit

Ada Quality and Style Guide

edit


Ada Keywords
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