C#: Actually cache module Cached

hvitved · hvitved · commit 9785ce493643 · 2024-02-09T12:29:56.000+01:00
diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/internal/DataFlowDispatch.qll
@@ -89,6 +89,7 @@ class DataFlowSummarizedCallable instanceof FlowSummary::SummarizedCallable {
   string toString() { result = super.toString() }
 }
 
+cached
 private module Cached {
   /**
    * The following heuristic is used to rank when to use source code or when to use summaries for DataFlowCallables.

Original file line number	Diff line number	Diff line change
`@@ -89,6 +89,7 @@ class DataFlowSummarizedCallable instanceof FlowSummary::SummarizedCallable {`
`89`	`89`	`string toString() { result = super.toString() }`
`90`	`90`	`}`
`91`	`91`
	`92`	`+cached`
`92`	`93`	`private module Cached {`
`93`	`94`	`/**`
`94`	`95`	`* The following heuristic is used to rank when to use source code or when to use summaries for DataFlowCallables.`