Invoke source type method corresponding to the given MethodCall node.
Invoke source type method corresponding to the given MethodCall node.
The instance of receiver is obtained from dataEnv
using mc.receiver symbol.
The Method descriptor of the source class is taken from this.methods
mapping.
IR node representing method invocation
environment where each symbol of 'mc' has associated data value
data value returned from invoked method
Type descriptor of staged types, which correspond to source (unstaged) RTypes defined outside of IR cake.
the type represented by this descriptor