Interface CanRemoveReceiver

  • All Known Implementing Classes:
    CFGCall, NativeCall

    public interface CanRemoveReceiver
    Marker for Calls whose first parameter can be removed. This happens when the Call.CallType of an UnresolvedCall is Call.CallType.UNKNOWN, and a match is found among non-instance code members by the CallGraph. In this case, the first parameter (that is supposed to be the receiver for instance calls) is removed from the list of parameters, and its string value is used as qualifier for the resolved call.
    • Method Detail

      • removeFirstParameter

        TruncatedParamsCall removeFirstParameter()
        Yields an instance of TruncatedParamsCall that wraps a copy of the receiver of this call up to the parameters, where the first one has been removed.
        Returns:
        the call wrapping the copy of this one
      • truncate

        static Expression[] truncate​(Expression[] parameters)
        Truncates the given array of expressions by removing the first element.
        Parameters:
        parameters - the original array of expressions
        Returns:
        the truncated array