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

Module signature MakeImpl::Impl::MkStage::StageParam

Import path

import codeql.dataflow.internal.DataFlowImpl

Predicates

apCons
apNone
apSome
ccNone
ccSomeCall
enableTypeFlow
filter
getApprox
getCallContextCall
getCallContextReturn
getHeadContent
getLocalCc
getTyp
instanceofCc
instanceofCcCall
instanceofCcNoCall
localStep
matchesCall
projectToHeadContent
stepFilter
typecheck
viableImplCallContextReduced
viableImplCallContextReducedReverse
viableImplNotCallContextReduced
viableImplNotCallContextReducedReverse

Types

Ap
ApHeadContent

An approximation of Content that corresponds to the precision level of Ap, such that the mappings from both Ap and Content to this type are functional.

ApNil
ApOption
Cc
CcCall
CcNoCall
LocalCc
Typ