Ada Implicit Kinds

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

Kind Name
Ada Implicit

An implicit function may be referenced by a rename.

package some_pack is 
   type t is new integer; 
end; 
 
with some_pack; 
package other_pack is 
   function "=" (a, b : integer) return boolean renames 
some_pack."="; 
end; 

In this example, an "ada implicit" entity is created for some_pack."=". Normally no entity is created for these implicit functions. They are only created if they are renamed.


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