MethodInvocationConversion

File MethodInvocationConversion.str
Author Martin Bravenboer <martin@cs.uu.nl>
Since unknown

5.3: Method Invocation Conversion




Statistics


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)
File MethodInvocationConversion.str
Author unknown
Since unknown
 
Parameters
ATerm to Type

Checks if the current type is method invocation convertable to type 'to'.


type Type -> Type

 
ATerm method-invocation-conversion(ATerm to)
File MethodInvocationConversion.str
Author unknown
Since unknown
 

Construct the method invocation from the current type to type 'to'.


type Type -> MethodInvocationConversion

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

Returns the result type of this method invocation conversion.


type Conversion -> Type

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

Returns the types involved in this method invocation conversion.


type Conversion -> List(Type)