A data-flow node that holds data from values inside the synthetic splat parameter, which need to have their indices shifted before being passed onto real splat parameters.
For example, in
def foo(a, b, *rest); end
the elements of the synthetic splat parameter (SynthSplatParameterNode
) need to
have their indices shifted by 2
before being passed into rest
.
Import path
import codeql.ruby.dataflow.internal.DataFlowPrivate
Direct supertypes
Predicates
getCfgScope | Do not call: use |
getEnclosingCallable | |
getLocationImpl | Do not call: use |
readFrom | Holds if a read-step should be added from synthetic splat parameter |
storeInto | Holds if a store-step should be added from this node into splat parameter |
toStringImpl | Do not call: use |
Inherited predicates
asCallable | Gets the callable corresponding to this block, lambda expression, or call to | 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 | from Node |
toString | Gets a textual representation of this node. | from Node |