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