Name of the entity type without Elem
suffix.
Name of the entity type without Elem
suffix.
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
Optional parent type in inheritance hierarchy
Optional parent type in inheritance hierarchy