Convert an enum value to the corresponding IntegerOverflowAttr.
(
overflow: IntegerOverflow, context: Optional[Context] = None
)
| 402 | |
| 403 | |
| 404 | def get_integer_overflow_attr( |
| 405 | overflow: IntegerOverflow, context: Optional[Context] = None |
| 406 | ) -> IntegerOverflowAttr: |
| 407 | """ |
| 408 | Convert an enum value to the corresponding IntegerOverflowAttr. |
| 409 | """ |
| 410 | |
| 411 | return IntegerOverflowAttr.get(overflow.value, context) |
| 412 | |
| 413 | |
| 414 | def get_comparison_predicate_attr( |