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

Member predicate MakeImpl::Impl::AccessPathApprox::isCons

Holds if this is a representation of head followed by tail.

predicate isCons(Content head, AccessPathApprox tail)