CodeQL library for Java/Kotlin
codeql/java-all 9.3.2 (changelog, source)
Search

Member predicate MakeImpl::Impl::MkStage::Stage::SummaryCtx::isValidForFlowThrough

Holds if this context is valid as a flow-in context when flow-through is possible.

The boolean mustReturn indicates whether flow must return.

predicate isValidForFlowThrough(boolean mustReturn)