6.12 EXAMPLES

6.11 THE PROCEDURE CALL

  S    call id (arglist)                  {        for every value  T  in queue generate                           Param  T  gencode                           (call id.place, arglist.count)                  } arglist   arglist,  E  {  append (queue,  E  .place)                                 arglist.count:= arglist. count + 1} arglist    E  {  initialize queue by  E  .place                     arglist.count: = 1}