The result of processing a known function call.

interface ProcessKnownFunctionCallResult {
    callArgs: readonly FunctionArgument[];
    fnRef: IdentifierReference;
    information: DataflowInformation;
    processedArguments: readonly (undefined | DataflowInformation)[];
}

Properties

callArgs: readonly FunctionArgument[]

The arguments as recorded on the function call vertex. They are also part of the information via the function call vertex adde, but sometimes useful separately. For example, together with pMatch to do custom parameter matching.

A reference to the function being called.

information: DataflowInformation

This is the overall information about the function call itself.

processedArguments: readonly (undefined | DataflowInformation)[]

The processed arguments in order, they are included in the information but sometimes useful separately.