Ada CallParamFormal and CallParamFormalfor Kinds

Kind Name
Entity Performing Reference
Entity Being Referenced
Ada CallParamFormal
obj
param
Ada CallParamFormalfor
param
obj

Ada CallParamFormal and Ada CallParamFormalfor indicate an object is used as an actual parameter for the indicated formal parameter.

package p1 is 
   procedure some_proc(param : integer); 
end; 
 
with p1; 
procedure p2 is 
   obj : integer := 5; 
begin 
   p1.some_proc(obj); 
end; 

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