CodeQL library for Java/Kotlin

codeql/java-all 9.1.2 (changelog, source)

For other CodeQL resources, including tutorials and examples, see the CodeQL documentation

.

typecheck

Module signature StageParam

Predicates

getCallContextCall

getCallContextReturn

instanceofCcCall

instanceofCcNoCall

projectToHeadContent

viableImplCallContextReduced

viableImplCallContextReducedReverse

viableImplNotCallContextReduced

viableImplNotCallContextReducedReverse

Types

Predicate signature MakeImpl::Impl::MkStage::StageParam::typecheck

signature predicate typecheck(Typ t1, Typ t2)

Copyright 2026 GitHub Software UK Ltd.Privacy Statement