mirror of
https://github.com/github/codeql.git
synced 2026-02-23 02:13:41 +01:00
Merge pull request #15570 from aschackmull/java/cache-interpretelement
Java: Cache interpretElement.
This commit is contained in:
@@ -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
|
||||
) {
|
||||
|
||||
Reference in New Issue
Block a user