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

simplify some code based on review

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2022-06-17 22:52:17 +02:00
parent 7e93416e97
commit 0391db6787
1 changed files with 2 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -2226,9 +2226,7 @@ class ModuleExpr extends TModuleExpr, TypeRef {
or or
not exists(me.getName()) and result = me.getChild().(QL::SimpleId).getValue() not exists(me.getName()) and result = me.getChild().(QL::SimpleId).getValue()
or or
exists(QL::ModuleInstantiation instantiation | instantiation.getParent() = me | result = me.getChild().(QL::ModuleInstantiation).getName().getChild().getValue()
result = instantiation.getName().getChild().getValue()
)
} }
/** /**
@@ -2263,9 +2261,7 @@ class ModuleExpr extends TModuleExpr, TypeRef {
* The result is either a `PredicateExpr` or a `TypeExpr`. * The result is either a `PredicateExpr` or a `TypeExpr`.
*/ */
SignatureExpr getArgument(int i) { SignatureExpr getArgument(int i) {
exists(QL::ModuleInstantiation instantiation | instantiation.getParent() = me | result.toQL() = me.getChild().(QL::ModuleInstantiation).getChild(i)
result.toQL() = instantiation.getChild(i)
)
} }
} }