Ada Programming/Keywords/is

Ada Lovelace 1838.jpg


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

In type declarations

type Day_Of_Month is new range 1 .. 31;

See Ada Programming/Types and Ada Programming/Subtypes.

↑Jump back a section

In subtype declarations

subtype Day_Of_Febuary is Day_Of_Month range 1 .. 29;

See Ada Programming/Subtypes.

↑Jump back a section

In package declarations

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

See Ada Programming/Packages.

↑Jump back a section

In procedure and function declaration

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

See Ada Programming/Subprograms.

↑Jump back a section

In generic instantiations

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

See Ada Programming/Generics.

↑Jump back a section

See also

Wikibook

Ada Reference Manual

Ada Quality and Style Guide



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 pragma terminate
body private then
if procedure type
case in protected (Ada 95)
constant interface (Ada 2005) until (Ada 95)
is raise use
declare range
delay limited record when
delta loop rem while
digits renames with
do mod requeue (Ada 95) xor
↑Jump back a section
Last modified on 5 January 2009, at 23:33