Java: Split the different layers of virtual dispatch into separate cached stages.

aschackmull · aschackmull · commit 976995366945 · 2023-10-27T09:40:20.000+02:00
diff --git a/java/ql/lib/semmle/code/java/dispatch/VirtualDispatch.qll b/java/ql/lib/semmle/code/java/dispatch/VirtualDispatch.qll
@@ -48,7 +48,6 @@ class VirtCalledSrcMethod extends SrcMethod {
   }
 }
 
-cached
 private module Dispatch {
   /** Gets a viable implementation of the method called in the given method access. */
   cached

Original file line number	Diff line number	Diff line change
`@@ -48,7 +48,6 @@ class VirtCalledSrcMethod extends SrcMethod {`
`48`	`48`	`}`
`49`	`49`	`}`
`50`	`50`
`51`		`-cached`
`52`	`51`	`private module Dispatch {`
`53`	`52`	`/** Gets a viable implementation of the method called in the given method access. */`
`54`	`53`	`cached`