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

link up NewType correctly

Browse Source
This commit is contained in:
Taus
2021-05-27 10:41:43 +00:00
committed by GitHub
parent c89e924b67
commit 0aa7127e47
1 changed files with 5 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -298,7 +298,7 @@ class NewType extends TNewType, ModuleMember {
string getName() { result = type.getName().getValue() }
override string getAPrimaryQlClass() { result = "DataType" }
override string getAPrimaryQlClass() { result = "NewType" }
final override predicate isPrivate() {
exists(Generated::ModuleMember member |
@@ -334,6 +334,8 @@ class NewTypeBranch extends TNewTypeBranch, AstNode {
/** Gets the body of this branch. */
Formula getBody() { toGenerated(result) = branch.getChild(_).(Generated::Body).getChild() }
override NewType getParent() { result.getABranch() = this }
}
class Call extends TCall, Expr {
@@ -466,6 +468,8 @@ class Formula extends TFormula, AstNode {
result.(Predicate).getBody() = this
or
result.(Aggregate).getGuard() = this
or
result.(NewTypeBranch).getBody() = this
}
}