Skip to content

Commit 0747432

Browse files
Copilotaschackmull
andauthored
Refine AstConsistency member names
Agent-Logs-Url: https://github.com/github/codeql/sessions/bf1d9f01-0696-4099-b5c6-3a13d639c3a4 Co-authored-by: aschackmull <28296824+aschackmull@users.noreply.github.com>
1 parent a264da2 commit 0747432

1 file changed

Lines changed: 2 additions & 2 deletions

File tree

shared/controlflow/codeql/controlflow/AstConsistency.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -12,9 +12,9 @@ module MakeAstConsistency<LocationSig Location, AstSig<Location> Ast> {
1212
private predicate parentStep(AstNode child, AstNode parent) { child = getChild(parent, _) }
1313

1414
private predicate astMemberChild(AstNode parent, AstNode child, string member) {
15-
callableGetBody(parent.(Callable)) = child and member = "callableGetBody"
15+
callableGetBody(parent.(Callable)) = child and member = "Callable.getBody"
1616
or
17-
callableGetParameter(parent.(Callable), _) = child and member = "callableGetParameter"
17+
callableGetParameter(parent.(Callable), _) = child and member = "Callable.getParameter"
1818
or
1919
parent.(Parameter).getDefaultValue() = child and member = "Parameter.getDefaultValue"
2020
or

0 commit comments

Comments
 (0)