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