mirror of
https://github.com/github/codeql.git
synced 2026-02-23 18:33:42 +01:00
62 lines
2.0 KiB
Plaintext
62 lines
2.0 KiB
Plaintext
/**
|
|
* This module provides extensible predicates for defining MaD models.
|
|
*/
|
|
|
|
/**
|
|
* Holds if a source model exists for the given parameters.
|
|
*/
|
|
extensible predicate sourceModel(
|
|
string package, string type, boolean subtypes, string name, string signature, string ext,
|
|
string output, string kind, string provenance
|
|
);
|
|
|
|
/**
|
|
* Holds if a sink model exists for the given parameters.
|
|
*/
|
|
extensible predicate sinkModel(
|
|
string package, string type, boolean subtypes, string name, string signature, string ext,
|
|
string input, string kind, string provenance
|
|
);
|
|
|
|
/**
|
|
* Holds if a summary model exists for the given parameters.
|
|
*/
|
|
extensible predicate summaryModel(
|
|
string package, string type, boolean subtypes, string name, string signature, string ext,
|
|
string input, string output, string kind, string provenance
|
|
);
|
|
|
|
/**
|
|
* Holds if a neutral model exists for the given parameters.
|
|
*/
|
|
extensible predicate neutralModel(
|
|
string package, string type, string name, string signature, string kind, string provenance
|
|
);
|
|
|
|
/**
|
|
* Holds if an experimental source model exists for the given parameters.
|
|
* This is only for experimental queries.
|
|
*/
|
|
extensible predicate experimentalSourceModel(
|
|
string package, string type, boolean subtypes, string name, string signature, string ext,
|
|
string output, string kind, string provenance, string filter
|
|
);
|
|
|
|
/**
|
|
* Holds if an experimental sink model exists for the given parameters.
|
|
* This is only for experimental queries.
|
|
*/
|
|
extensible predicate experimentalSinkModel(
|
|
string package, string type, boolean subtypes, string name, string signature, string ext,
|
|
string input, string kind, string provenance, string filter
|
|
);
|
|
|
|
/**
|
|
* Holds if an experimental summary model exists for the given parameters.
|
|
* This is only for experimental queries.
|
|
*/
|
|
extensible predicate experimentalSummaryModel(
|
|
string package, string type, boolean subtypes, string name, string signature, string ext,
|
|
string input, string output, string kind, string provenance, string filter
|
|
);
|