File | UncheckedConversion.str |
Author | Martin Bravenboer <martin@cs.uu.nl> |
Since | unknown |
5.1.9: Unchecked Conversion
General | |
Lines of code | 88 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (100% documented) |
Overlay number | 0 |
Strategy number | 5 (100% documented) |
Rule number | 1 (100% documented) |
DynamicRule number | 0 |
Constructor summary |
||
UncheckedConversion(ATerm , ATerm ) | n/a | UncheckedConversion.str |
Strategy summary |
||
check-parameterized-types-of-conversion | Checks if the chain of types involved in this conversion is ok | UncheckedConversion.str |
maybe-unchecked-conversion(ATerm to) | n/a | UncheckedConversion.str |
result-of-conversion | Returns the result type of this conversion | UncheckedConversion.str |
typename-of-type | n/a | UncheckedConversion.str |
typename-of-type | n/a | UncheckedConversion.str |
Rule summary |
||
types-of-conversion | Returns the types involved in this unchecked conversion | UncheckedConversion.str |
Constructor details |
|||||||||||||||
UncheckedConversion(ATerm , ATerm ) | |||||||||||||||
No information available. |
|||||||||||||||
Strategy details |
|||||||||||
ATerm | check-parameterized-types-of-conversion | ||||||||||
Checks if the chain of types involved in this conversion is ok.
|
|||||||||||
ATerm | maybe-unchecked-conversion(ATerm to) | ||||||||||
No information available.
|
|||||||||||
ATerm | result-of-conversion | ||||||||||
Returns the result type of this conversion.
|
|||||||||||
ATerm | typename-of-type | ||||||||||
No information available.
|
|||||||||||
ATerm | typename-of-type | ||||||||||
No information available.
|
|||||||||||
Rule details |
|||||||||
ATerm | types-of-conversion | ||||||||
Returns the types involved in this unchecked conversion. |
|||||||||