hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-04-29 18:55:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

QL: Add getAModule and getANewType

Browse Source 
Also removes `getAQLDocComment`, as those were already dangling off of
their respective successors in the file (and so should not dangle off
of the top level as well).
This commit is contained in:
Taus
2021-05-28 21:44:41 +00:00
committed by GitHub
parent 24230dc205
commit 109f938968
1 changed files with 8 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

18
ql/src/codeql_ql/ast/Ast.qll
View File

@@ -84,19 +84,13 @@ class TopLevel extends TTopLevel, AstNode {
/** Gets a top-level predicate in this module. */
ClasslessPredicate getAPredicate() { result = this.getAMember() }
/**
* Gets a QLDoc comment for a top-level entity in this module.
*
* Use `getQLDoc` if you want the QLDoc for the module itself.
*/
QLDoc getAQLDocComment() { result = getQLDocFor(_) }
/** Gets a module defined at the top-level module of this module. */
/** Gets a module defined at the top-level of this module. */
Module getAModule() { result = this.getAMember() }
/** Gets a `newtype` defined at the top-level of this module. */
NewType getANewType() { result = this.getAMember() }
override ModuleMember getAChild(string pred) {
pred = directMember("getAQLDocComment") and result = this.getAQLDocComment()
or
pred = directMember("getQLDoc") and result = this.getQLDoc()
or
pred = directMember("getAnImport") and result = this.getAnImport()
@@ -104,6 +98,10 @@ class TopLevel extends TTopLevel, AstNode {
pred = directMember("getAClass") and result = this.getAClass()
or
pred = directMember("getAPredicate") and result = this.getAPredicate()
or
pred = directMember("getAModule") and result = this.getAModule()
or
pred = directMember("getANewType") and result = this.getANewType()
}
QLDoc getQLDocFor(ModuleMember m) {