CodeQL library for C#
codeql/csharp-all 1.0.1 (changelog, source)
Search

Class SummaryCall

A synthesized call inside a callable with a flow summary.

For example, in ints.Select(i => i + 1) there is a call to the delegate at parameter position 1 (counting the qualifier as the 0th argument) inside the method Select.

Import path

import semmle.code.csharp.dataflow.internal.DataFlowDispatch

Direct supertypes

Indirect supertypes

Predicates

getARuntimeTarget

Gets a run-time target of this call. A target is always a source declaration.

getControlFlowNode

Gets the control flow node where this call happens, if any.

getEnclosingCallable

Gets the enclosing callable of this call.

getLocation

Gets the location of this call.

getNode

Gets the data flow node corresponding to this call, if any.

getReceiver

Gets the data flow node that this call targets.

toString

Gets a textual representation of this call.

Inherited predicates

getArgument

Gets the argument at position pos of this call.

from DataFlowCall
getExpr

Gets the underlying expression, if any.

from DataFlowCall
hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

from DataFlowCall
totalorder

Gets a best-effort total ordering.

from DataFlowCall

Charpred