Ada Protected Kinds

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

Kind Name
Ada Protected
Ada Protected Local
Ada Protected Object
Ada Protected Object Local
Ada Protected Type
Ada Protected Type Local
Ada Protected Type Private
Ada Protected Type Limited Private

A protected kind of object is declared with a single protected unit declaration.

protected shared_data is
    ...
private
   data : integer;        -- Ada Protected
end; 

A protected object is declared as an object of a protected type.

obj : some_protected_type;  -- Ada Protected Object 

A type may be a protected type, either local or non-local.

protected type some_protected_type is  
                               -- Ada Protected Type
   ... 
private
   ...
end; 

A protected type may be declared as private.

package some_pack is
   type some_protected_type is limited private;
                    -- Ada Protected Type Limited Private
private
   protected type some_protected_type is
                   -- Ada Protected Type Private
      ...
   private
      ...
   end; 
end; 

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