Class ExprNodes::ArrayLiteralCfgNode

A control-flow node that wraps an array literal. Array literals are desugared into calls to Array.[], so this includes both desugared calls as well as explicit calls.

Import path

import codeql.ruby.controlflow.CfgNodes

Direct supertypes

MethodCallCfgNode

Indirect supertypes

Inherited fields

from CallCfgNode

Predicates

getAPrimaryQlClass

Gets the name of the primary QL class for this node.

Inherited predicates

asExpr	Gets the expression this control flow node uniquely represents, if any.	from NodeImpl
asStmt	Gets the statement this control flow node uniquely represents, if any.	from NodeImpl
dominates	Holds if this node dominates `that` node.	from ControlFlowNode
getANormalSuccessor	Gets a normal successor of this node, if any. This includes direct successors and conditional successors.	from ControlFlowNode
getAPredecessor	Gets an immediate predecessor, if any.	from CfgNode
getAPredecessor	Gets an immediate predecessor node of a given flow type, if any.	from CfgNode
getASuccessor	Gets an immediate successor, if any.	from CfgNode
getASuccessor	Gets a successor node of a given type, if any.	from CfgNode
getAnArgument	Gets an argument of this call.	from CallCfgNode
getAnExceptionSuccessor	Gets an exception successor of this node, if any.	from ControlFlowNode
getArgument	Gets the `n`th argument of this call.	from CallCfgNode
getAstNode	Gets the AST node with which this control flow node is associated. Note that several control flow nodes are usually associated with the same AST node, but each control flow node is associated with a unique AST node.	from AstCfgNode
getBasicBlock	Gets the basic block containing this control flow node.	from ControlFlowNode
getBlock	Gets the block of this call.	from CallCfgNode
getConstantValue	Gets the constant value of this expression, if any.	from ExprCfgNode
getEnclosingCallable	Gets the enclosing callable of this control flow node.	from NodeImpl
getExpr	Gets the underlying expression.	from MethodCallCfgNode
getIdTag	INTERNAL: Do not use.	from NodeImpl
getKeywordArgument	Gets the keyword argument whose key is `keyword` of this call.	from CallCfgNode
getLocation	Gets the source location for this node.	from NodeImpl
getMethodName	Gets the name of this method call.	from MethodCallCfgNode
getNumberOfArguments	Gets the number of arguments of this call.	from CallCfgNode
getPositionalArgument	Gets the `n`th positional argument of this call. Unlike `getArgument`, this excludes keyword arguments.	from CallCfgNode
getReceiver	Gets the receiver of this call.	from CallCfgNode
injects	Holds if this is the unique control flow node that represents the given AST node.	from NodeImpl
isAdditional	Holds if this is an additional control flow node with the given tag for the given AST node.	from NodeImpl
isAfter	Holds if this is a node representing the point in the control flow after the normal termination of `n`. For simple leaf nodes, this is merged with the “before” node and is hence equal to it. For nodes in conditional contexts, this may be one of two possible “after” nodes representing the different possible values of `n`.	from NodeImpl
isAfterFalse	Holds if this node indicates that `n` evaluates to the value `false`.	from ControlFlowNode
isAfterTrue	Holds if this node indicates that `n` evaluates to the value `true`.	from ControlFlowNode
isAfterValue	Holds if this node indicates that `n` evaluates to the value `t`.	from ControlFlowNode
isBefore	Holds if this is the node representing the point in the control flow before the execution of `n`.	from NodeImpl
isIn	Holds if this is the node representing the given AST node when `n` has an in-order or post-order execution.	from NodeImpl
postDominates	Holds if this node post-dominates `that` node.	from ControlFlowNode
strictlyDominates	Holds if this node strictly dominates `that` node.	from ControlFlowNode
strictlyPostDominates	Holds if this node strictly post-dominates `that` node.	from ControlFlowNode
toString	Gets a textual representation of this node.	from NodeImpl

Charpred

ArrayLiteralCfgNode