https://codeql.github.com/docs/ql-language-reference/ql-language-specification/

Aliases

Built-ins

非成员内置谓词

名称 参数类型 内容
any The empty tuple.
none No tuples.
toUrl string, int, int, int, int, string Let the arguments be file, startLine, startCol, endLine, endCol, and url. The predicate holds if url is equal to the string file://file:startLine:startCol:endLine:endCol.

boolean类型内置谓词

date类型内置谓词

float类型内置谓词

int类型内置谓词

string类型内置谓词