Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Issue #722: Document restrictions on types IH and EH in PSA #1027

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
10 changes: 10 additions & 0 deletions p4-16/psa/PSA.mdk
Original file line number Diff line number Diff line change
Expand Up @@ -615,6 +615,16 @@ for all ingress parsers and control blocks. The egress parser and
control blocks can use the same types for those things, or different
types, as the P4 program author wishes.

The types `IH` and `EH` are restricted to be structs. For each member
of these struct types, it must be one of the following types:

+ `header`
+ `header_union`
+ header stack

The intent is that these structs contain all of the headers that can
be parsed, or deparsed.

```
[INCLUDE=psa.p4:Programmable_blocks]
```
Expand Down