Class DataFlowSecondLevelScope

A second-level control-flow scope in a switch or a chained if statement.

This is a switch case or a branch of a chained if statement, given that the switch or if statement is top level, that is, it is not nested inside other CFG constructs.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate

Direct supertypes

TDataFlowSecondLevelScope

Predicates

getANode	Gets a data-flow node nested within this scope.
getLocation	Gets the primary location of this element.
toString	Gets a textual representation of this element.