Class ParameterNodes::SynthSplatParameterNode

A synthetic data-flow node to allow for flow into positional parameters from splat arguments.

For all methods containing positional parameters, we construct a synthesized (hidden) parameter node to contain all positional arguments. This allows us to handle cases like

def foo(x, y, z); end

foo(a, *[b, c])

by adding read steps out of the synthesized parameter node to the relevant positional parameters.

We don’t yet correctly handle cases where a positional argument follows the splat argument, e.g. in

foo(a, *[b], c)

but this appears to be rare in practice.

Import path

import codeql.ruby.dataflow.internal.DataFlowPrivate

Direct supertypes

Indirect supertypes

Predicates

getCfgScope	Do not call: use `getEnclosingCallable()` instead.
getEnclosingCallable
getLocationImpl	Do not call: use `getLocation()` instead.
getParameter
isParameterOf
readInto	Holds if a read-step should be added into parameter `p`.
toStringImpl	Do not call: use `toString()` instead.

Inherited predicates

asCallable	Gets the callable corresponding to this block, lambda expression, or call to `proc` or `lambda`.	from Node
asExpr	Gets the expression corresponding to this node, if any.	from Node
asParameter	Gets the parameter corresponding to this node, if any.	from Node
backtrack	Starts backtracking from this node using API graphs.	from Node
getALocalSource	Gets a local source node from which data may flow to this node in zero or more local data-flow steps.	from Node
getAPredecessor	Gets a data flow node from which data may flow to this node in one local step.	from Node
getASuccessor	Gets a data flow node to which data may flow from this node in one local step.	from Node
getConstantValue	Gets the constant value of this expression, if any.	from Node
getEnclosingMethod	Gets the enclosing method, if any.	from Node
getLocation	Gets the location 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
isSourceParameterOf		from ParameterNodeImpl
toString	Gets a textual representation of this node.	from Node

Charpred

SynthSplatParameterNode