Unboxing

File Unboxing.str
Author Martin Bravenboer
Since unknown

5.1.8: Unboxing Conversion




Statistics


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 )
File Unboxing.str
Author unknown
Since unknown
 
Parameters
ATerm From
ATerm To

No information available.



 

Strategy details


ATerm is-convertible-to-integral-type
File Unboxing.str
Author unknown
Since unknown
 

No information available.


todo JLS mentions that every numeric type is allowed. Might be a bug. Submitted.

 
ATerm is-convertible-to-numeric-type
File Unboxing.str
Author unknown
Since unknown
 

No information available.


type Type -> Type

 
ATerm result-of-conversion
File Unboxing.str
Author unknown
Since unknown
 

Returns the result type of this conversion.


type Conversion -> Type

 

Rule details


ATerm types-of-conversion
File Unboxing.str
Author unknown
Since unknown
 

Returns the types involved in this conversion.



 
ATerm unboxing-conversion-of-type
File Unboxing.str
Author unknown
Since unknown
 

No information available.


type Type -> Type