Procedure call statement

The procedure call statement causes the execution of a procedure.

formal-part : simple-name | name(function) "(" simple-name ")"
actual : expression | name | OPEN
actual-part : actual | name(function) "(" actual ")"
association-element : [ formal-part "=>" ] actual-part
association-list : association-element {"," association-element }
actual-parameter-list : association-list
procedure-call : name ["(" actual-parameter-list ")" ] ";"

The name designates the name of the procedure to be executed. The actual parameter list associates values or data objects with the inputs and outputs of the procedure. The inputs and outputs of the procedure are called formals. The value or data objects that are associated with a formal are called actuals. Both the actuals and formals can contain a function call to a conversion function. The conversion function mechanism can be used to convert actuals to the input type of the procedure and to convert outputs of the procedure to the type of the actual.

The formal part of an association names the formal that the actual should be associated with. If the formal part does not appear, then the actual is associated with the formal in the corresponding position in the formal list of the subprogram specification. For example, given the procedure specification

procedure proc(a : in integer; b : in integer);

then proc(x,y) and proc (b=>y,a=>x) would associate x with a and y with b.