File | IdentityConversion.str |
Author | Martin Bravenboer <martin@cs.uu.nl> |
Since | unknown |
5.1.1: Identity Conversions
General | |
Lines of code | 50 |
Stratego | |
Module number | 1 (100% documented) |
Constructor number | 1 (100% documented) |
Overlay number | 0 |
Strategy number | 2 (50% documented) |
Rule number | 3 (100% documented) |
DynamicRule number | 0 |
Constructor summary |
||
IdentityConversion(ATerm ) | n/a | IdentityConversion.str |
Strategy summary |
||
identity-conversion | n/a | IdentityConversion.str |
is-identity-convertable(ATerm to) | Succeeds if the type is convertable to the argument type by identity conversion | IdentityConversion.str |
Rule summary |
||
identity-conversion(ATerm to) | n/a | IdentityConversion.str |
result-of-conversion | Returns the result type of this IdentityConversion | IdentityConversion.str |
types-of-conversion | Returns the types involved in this IdentityConversion | IdentityConversion.str |
Constructor details |
|||||||||||||
IdentityConversion(ATerm ) | |||||||||||||
No information available. |
|||||||||||||
Strategy details |
|||||||||||||||
ATerm | is-identity-convertable(ATerm to) | ||||||||||||||
Succeeds if the type is convertable to the argument type by identity conversion.
|
|||||||||||||||
Rule details |
|||||||||||
ATerm | identity-conversion(ATerm to) | ||||||||||
No information available.
|
|||||||||||
ATerm | result-of-conversion | ||||||||||
Returns the result type of this IdentityConversion.
|
|||||||||||
ATerm | types-of-conversion | ||||||||||
Returns the types involved in this IdentityConversion.
|
|||||||||||