Ada Programming/Keywords/is - eMyTextBooks

Ada Programming/Keywords/is

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.

In subtype declarations

subtype Day_Of_Febuary is Day_Of_Month range 1 .. 29;

See Ada Programming/Subtypes.

In package declarations

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

See Ada Programming/Packages.

In procedure and function declaration

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

See Ada Programming/Subprograms.

In generic instantiations

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

See Ada Programming/Generics.

See also

Wikibook

• Ada Programming
• Ada Programming/Keywords

Ada Reference Manual

• 2.9 Reserved Words (http://www.adaic.com/standards/95lrm/html/RM-2-9.html) (Annotated (http://www.adaic.com/standards/95aarm/html/AA-2-9.html))
• Annex P (informative) Syntax Summary (http://www.adaic.com/standards/95lrm/html/RM-P.html) (Annotated (http://www.adaic.com/standards/95aarm/html/AA-P.html))

Ada Quality and Style Guide

• 3.1.3 Capitalization (http://www.adaic.org/docs/95style/html/sec_3/3-1-3.html)