C#: Cache NamedElement::getLabel()

hvitved · hvitved · commit 74167e478a63 · 2018-12-12T13:16:28.000+01:00
diff --git a/csharp/ql/src/semmle/code/dotnet/Element.qll b/csharp/ql/src/semmle/code/dotnet/Element.qll
@@ -80,6 +80,7 @@ class NamedElement extends Element, @dotnet_named_element {
   }
 
   /** Gets a unique string label for this element. */
+  cached
   string getLabel() { none() }
 
   /**

Original file line number	Diff line number	Diff line change
`@@ -80,6 +80,7 @@ class NamedElement extends Element, @dotnet_named_element {`
`80`	`80`	`}`
`81`	`81`
`82`	`82`	`/** Gets a unique string label for this element. */`
	`83`	`+ cached`
`83`	`84`	`string getLabel() { none() }`
`84`	`85`
`85`	`86`	`/**`