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

Class MakeImplCommon::ReturnCtx

A return context used to calculate flow summaries in reverse flow.

The possible values are:

  • TReturnCtxNone(): no return flow.
  • TReturnCtxNoFlowThrough(): return flow, but flow through is not possible.
  • TReturnCtxMaybeFlowThrough(ReturnPosition pos): return flow, of kind pos, and flow through may be possible.

Import path

import codeql.dataflow.internal.DataFlowImplCommon

Direct supertypes

Predicates