Predicate MakeWithSplitting::Cached::getASuccessor
Gets a successor node of a given flow type, if any.
Import path
import codeql.controlflow.CfgNode getASuccessor(Node pred, SuccessorType t)Gets a successor node of a given flow type, if any.
import codeql.controlflow.CfgNode getASuccessor(Node pred, SuccessorType t)