Class ArgumentNodes::ParamsArgumentNode
A data-flow node that represents the implicit array creation in a call to a
callable with a params
parameter. For example, there is an implicit array
creation new [] { "a", "b", "c" }
in
void Foo(params string[] args) { ... }
Foo("a", "b", "c");
Note that array creations are not inserted when there is only one argument,
and that argument is itself a compatible array, for example
Foo(new[] { "a", "b", "c" })
.
Import path
import semmle.code.csharp.dataflow.internal.DataFlowPrivate
Direct supertypes
Predicates
argumentOf | |
getControlFlowNodeImpl | Do not call: use |
getEnclosingCallableImpl | Do not call: use |
getLocationImpl | Do not call: use |
getTypeImpl | Do not call: use |
toStringImpl | Do not call: use |
Inherited predicates
asDefinition | Gets the definition corresponding to this node, if any. | from Node |
asDefinitionAtNode | Gets the definition corresponding to this node, at control flow node | from Node |
asExpr | Gets the expression corresponding to this node, if any. | from Node |
asExprAtNode | Gets the expression corresponding to this node, at control flow node | from Node |
asParameter | Gets the parameter corresponding to this node, if any. | from Node |
getControlFlowNode | Gets the control flow node corresponding to this node, if any. | from Node |
getDataFlowType | Gets the type of this node used for type pruning. | from NodeImpl |
getEnclosingCallable | Gets the enclosing callable of this node. | from Node |
getLocation | Gets the location of this node. | from Node |
getType | Gets 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 node. | from Node |