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

Indirect supertypes

Predicates

argumentOf
getControlFlowNodeImpl	Do not call: use `getControlFlowNode()` instead.
getEnclosingCallableImpl	Do not call: use `getEnclosingCallable()` instead.
getLocationImpl	Do not call: use `getLocation()` instead.
getTypeImpl	Do not call: use `getType()` instead.
toStringImpl	Do not call: use `toString()` instead.

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 `cfn`, if any.	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 `cfn`, if any.	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 `startcolumn` of line `startline` to column `endcolumn` of line `endline` in file `filepath`. For more information, see Locations.	from Node
toString	Gets a textual representation of this node.	from Node

Charpred

ParamsArgumentNode