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

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

Holds if this context is valid as a flow-in context when no flow-through is possible, in which case innerSummaryCtx is the summary context to be used when entering the callable.

predicate isValidForFlowInNoThrough(SummaryCtx innerSummaryCtx)