p4lang / p4-constraints

Constraints on P4 objects enforced at runtime
Apache License 2.0
14 stars 7 forks source link

PUBLIC: [p4-constraints] Refactor GetMatchFields to GetFields an AddMatchFields to AddFields and extend AddFields to handle action parameters. #122

Closed angelazhang8 closed 11 months ago

angelazhang8 commented 11 months ago

PUBLIC: [p4-constraints] Refactor GetMatchFields to GetFields an AddMatchFields to AddFields and extend AddFields to handle action parameters.

I refactored GetMatchFields and AddMatchFields to GetFields and AddFields in ast.cc, ast.h, and ast_test.cc to better reflect how those functions are being used for ExplainReasonViolatesConstraint for both action and table constraints. I also extended AddFields to handle action parameters and updated its corresponding test.