File | Unboxing.str |
Author | Martin Bravenboer |
Since | unknown |
5.1.8: Unboxing Conversion
General | |
Lines of code | 100 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (100% documented) |
Overlay number | 0 |
Strategy number | 8 (37% documented) |
Rule number | 9 (22% documented) |
DynamicRule number | 0 |
Constructor summary |
||
UnboxingConversion(ATerm , ATerm ) | n/a | Unboxing.str |
Strategy summary |
||
is-convertible-to-boolean-type | n/a | Unboxing.str |
is-convertible-to-boolean-type | n/a | Unboxing.str |
is-convertible-to-integral-type | n/a | Unboxing.str |
is-convertible-to-integral-type | n/a | Unboxing.str |
is-convertible-to-numeric-type | n/a | Unboxing.str |
is-convertible-to-numeric-type | n/a | Unboxing.str |
result-of-conversion | Returns the result type of this conversion | Unboxing.str |
unboxing-conversion | n/a | Unboxing.str |
Rule summary |
||
types-of-conversion | Returns the types involved in this conversion | Unboxing.str |
unboxing-conversion-of-type | n/a | Unboxing.str |
unboxing-conversion-of-type | n/a | Unboxing.str |
unboxing-conversion-of-type | n/a | Unboxing.str |
unboxing-conversion-of-type | n/a | Unboxing.str |
unboxing-conversion-of-type | n/a | Unboxing.str |
unboxing-conversion-of-type | n/a | Unboxing.str |
unboxing-conversion-of-type | n/a | Unboxing.str |
unboxing-conversion-of-type | n/a | Unboxing.str |
Constructor details |
|||||||||||||||
UnboxingConversion(ATerm , ATerm ) | |||||||||||||||
No information available. |
|||||||||||||||
Strategy details |
|||||||||||
ATerm | is-convertible-to-integral-type | ||||||||||
No information available.
|
|||||||||||
ATerm | is-convertible-to-numeric-type | ||||||||||
No information available.
|
|||||||||||
ATerm | result-of-conversion | ||||||||||
Returns the result type of this conversion.
|
|||||||||||
Rule details |
|||||||||||
ATerm | types-of-conversion | ||||||||||
Returns the types involved in this conversion. |
|||||||||||
ATerm | unboxing-conversion-of-type | ||||||||||
No information available.
|
|||||||||||