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. |
|||||||||