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