| Define |
Should have formal parameter arguments as attribute names, with their types
as the attribute values; return values generated inside the procedure use the
usual mechanism (adding return values to the tasks) can be explicitly handled
as return values of the procedure itself, in which case the assignment is
only to the procedure frame, allow the caller to determine which of these
should actually be exported to the calling context; again, these should map
the formal return value name to a type (for type checking). |