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.java.dataflow.internal.DataFlowPrivate

Direct supertypes

TDataFlowSecondLevelScope

Predicates

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