Module ModelsAsData

Import path

import codeql.mad.static.ModelsAsData

barrierGuardModel	Holds if a barrier guard model exists for the given parameters.
barrierModel	Holds if a barrier model exists for the given parameters.
interpretModelForTest	Holds if the given extension tuple `madId` should pretty-print as `model`.
modelCoverage	Holds if MaD framework coverage of `namespace` is `n` api endpoints of the kind `(kind, part)`, and `namespaces` is the number of subnamespaces of `namespace` which have MaD framework coverage (including `namespace` itself).
neutralModel	Holds if a neutral model exists for the given parameters.
sinkModel	Holds if a sink model exists for the given parameters.
sourceModel	Holds if a source model exists for the given parameters.
summaryModel	Holds if a summary model exists for the given parameters.

Extensions		ExtensionsSig
Input		InputSig