| File | NumericPromotions.str |
| Author | Martin Bravenboer |
| Since | unknown |
5.6: Numeric Promotions
| General | |
| Lines of code | 63 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 0 |
| Overlay number | 0 |
| Strategy number | 2 (100% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Strategy summary |
||
| binary-numeric-promotion-of-types | 5 | NumericPromotions.str |
| unary-numeric-promotion-of-type | 5 | NumericPromotions.str |
Strategy details |
|||||||||||
| ATerm | binary-numeric-promotion-of-types | ||||||||||
5.6.2: Binary Numeric Promotion
|
|||||||||||
| ATerm | unary-numeric-promotion-of-type | ||||||||||
5.6.1: Unary Numeric Promotion
|
|||||||||||