Class ArgumentNode
A data flow node that occurs as the argument of a call and is passed as-is to the callable. Arguments that are wrapped in an implicit varargs array creation are not included, but the implicitly created array is. Instance arguments are also included.
Import path
import semmle.code.cpp.dataflow.internal.DataFlowPrivate
Direct supertypes
Indirect supertypes
Predicates
argumentOf | Holds if this argument occurs at the given position in the given call. The instance argument is considered to have index |
getCall | Gets the call in which this node is an argument. |
Inherited predicates
asDefiningArgument | Gets the argument that defines this | from Node |
asExpr | Gets the expression corresponding to this node, if any. This predicate only has a result on nodes that represent the value of evaluating the expression. For data flowing out of an expression, like when an argument is passed by reference, use | from Node |
asParameter | Gets the parameter corresponding to this node, if any. | from Node |
asPartialDefinition | Gets the expression that is partially defined by this node, if any. | from Node |
asUninitialized | Gets the uninitialized local variable corresponding to this node, if any. | from Node |
getEnclosingCallable | INTERNAL: Do not use. Alternative name for | from Node |
getFunction | Gets the function to which this node belongs. | from Node |
getLocation | Gets the location of this element. | from Node |
getType | Gets the type of this node. | from Node |
getTypeBound | Gets an upper bound on the type of this node. | from Node |
hasLocationInfo | Holds if this element is at the specified location. The location spans column | from Node |
toString | Gets a textual representation of this element. | from Node |