 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| v |
The
actual parameters must fulfill these requirements
|
|
known
as the formal/actual correspondence rules
|
|
|
|
o |
There
must be the same number of actual parameters in the
|
|
|
call,
as there are formal parameters in the proc declaration
|
|
|
|
o |
The
order of the parameters matters --
|
|
|
|
; |
The
1st actual parameter corresponds to the 1st
formal
|
|
|
|
; |
The
2nd actual parameter corresponds to the 2nd
formal
|
|
|
|
o |
The
types of the actuals must match the types of the formals
|
|
|
|
o |
Any
formal used as a procedure output must have a variable
|
|
|
as
an actual
|
|