diff --git a/ql/src/codeql_ql/ast/Ast.qll b/ql/src/codeql_ql/ast/Ast.qll index 73622380526..00c12352921 100644 --- a/ql/src/codeql_ql/ast/Ast.qll +++ b/ql/src/codeql_ql/ast/Ast.qll @@ -199,7 +199,11 @@ class ClasslessPredicate extends TClasslessPredicate, Predicate, ModuleDeclarati override VarDecl getParameter(int i) { toGenerated(result) = - rank[i](Generated::VarDecl decl, int index | decl = pred.getChild(index) | decl order by index) + rank[i + 1](Generated::VarDecl decl, int index | + decl = pred.getChild(index) + | + decl order by index + ) } override TypeExpr getReturnTypeExpr() { toGenerated(result) = pred.getReturnType() } @@ -244,7 +248,11 @@ class ClassPredicate extends TClassPredicate, Predicate { override VarDecl getParameter(int i) { toGenerated(result) = - rank[i](Generated::VarDecl decl, int index | decl = pred.getChild(index) | decl order by index) + rank[i + 1](Generated::VarDecl decl, int index | + decl = pred.getChild(index) + | + decl order by index + ) } ClassType getDeclaringType() { result.getDeclaration() = getParent() }