hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-17 01:03:14 +01:00
Code Issues Packages Projects Releases Wiki Activity

add type arguments of ModuleInstation to the pretty AST

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2022-06-15 23:12:59 +02:00
parent adc1466cab
commit 1caafb87f7
1 changed files with 14 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2217,6 +2217,20 @@ class ModuleExpr extends TModuleExpr, ModuleRef {
result = super.getAChild(pred)
or
pred = directMember("getQualifier") and result = this.getQualifier()
or
exists(int i | pred = indexedMember("getArgument", i) and result = this.getArgument(i))
}
/**
* Gets the `i`th type argument if this module is a module instantiation.
* The result is either a `PredicateExpr` or a `TypeExpr`.
*/
AstNode getArgument(int i) {
exists(QL::ModuleInstantiation instantiation | instantiation.getParent() = me |
toQL(result) = instantiation.getChild(i).getPredicate()
or
toQL(result) = instantiation.getChild(i).getTypeExpr()
)
}
}