Mark predicate inline to test QL-for-QL query

kaspersv · kaspersv · commit cd8823e775f0 · 2025-05-28T14:42:18.000+02:00
diff --git a/java/ql/lib/semmle/code/java/Type.qll b/java/ql/lib/semmle/code/java/Type.qll
@@ -572,6 +572,7 @@ class RefType extends Type, Annotatable, Modifiable, @reftype {
   }
 
   /** Holds if this type declares or inherits the specified member. */
+  pragma[inline]
   predicate inherits(Member m) {
     exists(Field f | f = m |
       f = this.getAField()

Original file line number	Diff line number	Diff line change
`@@ -572,6 +572,7 @@ class RefType extends Type, Annotatable, Modifiable, @reftype {`
`572`	`572`	`}`
`573`	`573`
`574`	`574`	`/** Holds if this type declares or inherits the specified member. */`
	`575`	`+ pragma[inline]`
`575`	`576`	`predicate inherits(Member m) {`
`576`	`577`	`exists(Field f \| f = m \|`
`577`	`578`	`f = this.getAField()`