Ada Component Kinds

Use “ada component” to match all Ada component kinds.

Kind Name
Ada Component
Ada Component Local
Ada Component Variant
Ada Component Variant Local
Ada Component Discriminant
Ada Component Discriminant Local

A component is a record component. It may be local or non-local. For example:

type rec_type is record
    component : integer;   -- Ada Component
end record; 

A record component may be declared in a variant part. For example:

type rec_type(d : integer) is record 
   case d is 
      when 1 => 
         component : integer;   -- a 'variant component'  
      when others => 
         null; 
   end case; 
end record; 

A discriminant component. For example:

type rec_type(d : integer) is record 
           -- d is an Ada Component Discriminant 
   ... 
end record; 

Scientific Toolworks, Inc.
http://www.scitools.com