CodeQL library for C#
codeql/csharp-all 1.0.3-dev (changelog, source)
Search

Member predicate MakeImpl::Impl::AccessPathApproxNil::isCons

Holds if this is a representation of head followed by the typ,tail pair.

predicate isCons(Content head, DataFlowType typ, AccessPathApprox tail)