Reuse defined predicate arity

This commit is contained in:
Taus
2021-05-28 12:39:59 +00:00
committed by GitHub
parent fa8efb6ca9
commit e89ed8a1f9

View File

@@ -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