Skip to content

Commit

Permalink
Clarify note about calling convention
Browse files Browse the repository at this point in the history
For greater clarity, this commit moves the comment about the calling
convention for directionless parameters of extern object type out of
an itemized list. Instead, it is a standalone sentence below the list.
  • Loading branch information
jnfoster committed Jun 3, 2024
1 parent f92db37 commit 8fb0338
Showing 1 changed file with 3 additions and 2 deletions.
5 changes: 3 additions & 2 deletions p4-16/spec/P4-16-spec.mdk
Original file line number Diff line number Diff line change
Expand Up @@ -1506,8 +1506,7 @@ Each parameter may be labeled with a direction:
- For anything other than an action, e.g. a control, parser, or
function, a directionless parameter means that the value supplied
as an argument in a call must be a compile-time known value
(see Section [#sec-compile-time-known]). Note that a directionless
parameter of extern object type is passed by reference.
(see Section [#sec-compile-time-known]).
- For an action, a directionless parameter indicates that it is
"action data". See Section [#sec-actions] for the meaning of
action data, but its meaning includes the following possibilities:
Expand All @@ -1518,6 +1517,8 @@ Each parameter may be labeled with a direction:
when an entry is added to a table that uses that action. See
Section [#sec-actions].

A directionless parameter of extern object type is passed by reference.

Direction `out` parameters are always initialized at the beginning of
execution of the portion of the program that has the `out` parameters,
e.g. `control`, `parser`, `action`, function, etc. This
Expand Down

0 comments on commit 8fb0338

Please sign in to comment.