Open smolkaj opened 1 year ago
Since the action of a table is a sum type, this requires some language mechanism for destructing sum types, e.g. ADT-style pattern matching.
We didn't implement this feature thus far since this is a nontrivial effort.
This is related to but distinct from https://github.com/p4lang/p4-constraints/issues/98, which is about constraining a single action with a new @action_restriction annotation. https://github.com/p4lang/p4-constraints/issues/98 is simpler to implement since it doesn't require dealing with sum types.
Since the action of a table is a sum type, this requires some language mechanism for destructing sum types, e.g. ADT-style pattern matching.
We didn't implement this feature thus far since this is a nontrivial effort.
This is related to but distinct from https://github.com/p4lang/p4-constraints/issues/98, which is about constraining a single action with a new @action_restriction annotation. https://github.com/p4lang/p4-constraints/issues/98 is simpler to implement since it doesn't require dealing with sum types.