Given a method, extracts an array of option of traced data.
Given a method, extracts an array of option of traced data.
If an argument in the method invocation does not have a TracedData annotation, then the value in the argument's position in the method call will be None. Otherwise, it will have Some(TracedData)
The method invocation that we are inspecting
an Array of Option of TracedData annotations indexed by the position of the parameter in the method invocation; or an empty array if the method has no arguments
Extracts notes from a given method invocation and argument array.
Extracts notes from a given method invocation and argument array. The resulting sequence contains the note for each argument in the args array passed in. If the argument at any position does NOT have a TracedData annotation, then the value at that position in the sequence will be None.
The result is a sequence of Option of tuple of (Note, Boolean), where the second value in the tuple indicates if the note should be propagated.
If there are no arguments on the method, an empty sequence will be returned.
The method invocation we are inspecting
An array of arguments passed to the method invocation
A sequence of Option of Tuple(Note, Boolean); or an empty Sequence if there are no method parameters
Records all traced parameters for the given method invocation and argument list
Records all traced parameters for the given method invocation and argument list
The Method invocation
The list of arguments being passed into the method
The tracer to use to record the notes