| File | Boxing.str |
| Author | Martin Bravenboer |
| Since | unknown |
5.1.7: Boxing Conversion
| General | |
| Lines of code | 55 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 1 (100% documented) |
| Overlay number | 0 |
| Strategy number | 2 (50% documented) |
| Rule number | 9 (11% documented) |
| DynamicRule number | 0 |
Constructor summary |
||
| BoxingConversion(ATerm , ATerm ) | n/a | Boxing.str |
Strategy summary |
||
| boxing-conversion | n/a | Boxing.str |
| result-of-conversion | Returns the result type of this conversion | Boxing.str |
Rule summary |
||
| boxing-conversion-of-type | n/a | Boxing.str |
| boxing-conversion-of-type | n/a | Boxing.str |
| boxing-conversion-of-type | n/a | Boxing.str |
| boxing-conversion-of-type | n/a | Boxing.str |
| boxing-conversion-of-type | n/a | Boxing.str |
| boxing-conversion-of-type | n/a | Boxing.str |
| boxing-conversion-of-type | n/a | Boxing.str |
| boxing-conversion-of-type | n/a | Boxing.str |
| types-of-conversion | Returns the types involved in this conversion | Boxing.str |
Constructor details |
|||||||||||||||
| BoxingConversion(ATerm , ATerm ) | |||||||||||||||
No information available. |
|||||||||||||||
Strategy details |
|||||||||||
| ATerm | result-of-conversion | ||||||||||
Returns the result type of this conversion.
|
|||||||||||
Rule details |
|||||||||
| ATerm | types-of-conversion | ||||||||
Returns the types involved in this conversion. |
|||||||||