Java: Cache interpretElement.

aschackmull · aschackmull · commit 8fc4fae7d27b · 2024-02-09T14:43:36.000+01:00
diff --git a/java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll b/java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll
@@ -430,6 +430,7 @@ private Element interpretElement0(
 }
 
 /** Gets the source/sink/summary/neutral element corresponding to the supplied parameters. */
+cached
 Element interpretElement(
   string package, string type, boolean subtypes, string name, string signature, string ext
 ) {

Original file line number	Diff line number	Diff line change
`@@ -430,6 +430,7 @@ private Element interpretElement0(`
`430`	`430`	`}`
`431`	`431`
`432`	`432`	`/** Gets the source/sink/summary/neutral element corresponding to the supplied parameters. */`
	`433`	`+cached`
`433`	`434`	`Element interpretElement(`
`434`	`435`	`string package, string type, boolean subtypes, string name, string signature, string ext`
`435`	`436`	`) {`