Procedure Statements

A procedure identifier, followed in parentheses by a list of actual parameters (if any), is known generally as a procedure call. If the procedure possesses a value, it may be used as a primary in an expression, but whether it possesses a value or not, it may also stand alone as a statement. This causes

  1. the formal parameters in the procedure declaration to be replaced by the actuals in a manner which depends on the formal parameter specifications (see ).

  2. the procedure body to be executed before the statement dynamically following the procedure statement is obeyed.

The syntax for a procedure call is


        Procedurecall ::= 
    Id
        Id ( Actuallist ) 
      


        Actuallist ::= 
    Actual
        Actual , Actuallist
      


        Actual ::= 
    Expression
        Wordreference
        Destination
        Name
      


        Name ::= 
    Id
      

The purposes of the four types of actual parameter are defined in .