| File | MethodInvocationConversion.str |
| Author | Martin Bravenboer <martin@cs.uu.nl> |
| Since | unknown |
5.3: Method Invocation Conversion
| General | |
| Lines of code | 66 |
| Stratego | |
| Module number | 1 (100% documented) |
| Constructor number | 1 (0% documented) |
| Overlay number | 0 |
| Strategy number | 4 (100% documented) |
| Rule number | 0 |
| DynamicRule number | 0 |
Constructor summary |
||
| MethodInvocationConversion(ATerm ) | n/a | MethodInvocationConversion.str |
Strategy summary |
||
| is-method-invocation-convertable(ATerm to) | Checks if the current type is method invocation convertable to type 'to' | MethodInvocationConversion.str |
| method-invocation-conversion(ATerm to) | Construct the method invocation from the current type to type 'to' | MethodInvocationConversion.str |
| result-of-conversion | Returns the result type of this method invocation conversion | MethodInvocationConversion.str |
| types-of-conversion | Returns the types involved in this method invocation conversion | MethodInvocationConversion.str |
Strategy details |
|||||||||||||||
| ATerm | is-method-invocation-convertable(ATerm to) | ||||||||||||||
Checks if the current type is method invocation convertable to type 'to'.
|
|||||||||||||||
| ATerm | method-invocation-conversion(ATerm to) | ||||||||||||||
Construct the method invocation from the current type to type 'to'.
|
|||||||||||||||
| ATerm | result-of-conversion | ||||||||||||||
Returns the result type of this method invocation conversion.
|
|||||||||||||||
| ATerm | types-of-conversion | ||||||||||||||
Returns the types involved in this method invocation conversion.
|
|||||||||||||||