From e89ed8a1f94f4f74b1f8cb798215ea1585d2128a Mon Sep 17 00:00:00 2001 From: Taus Date: Fri, 28 May 2021 12:39:59 +0000 Subject: [PATCH] Reuse defined predicate arity --- ql/src/codeql_ql/ast/internal/Predicate.qll | 2 ++ 1 file changed, 2 insertions(+) diff --git a/ql/src/codeql_ql/ast/internal/Predicate.qll b/ql/src/codeql_ql/ast/internal/Predicate.qll index bdce9a97cda..bc835ad9369 100644 --- a/ql/src/codeql_ql/ast/internal/Predicate.qll +++ b/ql/src/codeql_ql/ast/internal/Predicate.qll @@ -127,6 +127,8 @@ private class DefinedPredicate extends PredicateOrBuiltin, TPred { override Type getParameterType(int i) { result = decl.getParameter(i).getType() } + override int getArity() { result = decl.getArity() } + override Type getDeclaringType() { result = decl.(ClassPredicate).getDeclaringType() or