mirror of
https://github.com/github/codeql.git
synced 2026-02-13 21:51:29 +01:00
16 lines
512 B
Plaintext
16 lines
512 B
Plaintext
/**
|
|
* INTERNAL: Do not use. Provides predicates for getting the CodeQL and frontend
|
|
* version used during database extraction.
|
|
*/
|
|
|
|
/** Get the extractor CodeQL version */
|
|
string getExtractorCodeQLVersion() { extractor_version(result, _) }
|
|
|
|
/** Get the extractor frontend version */
|
|
string getExtractorFrontendVersion() { extractor_version(_, result) }
|
|
|
|
predicate isExtractorFrontendVersion65OrHigher() {
|
|
// Version numbers we not included in the database before 6.5.
|
|
exists(getExtractorCodeQLVersion())
|
|
}
|