C#: Cache NamedElement::hasQualifiedName/2

hvitved · hvitved · commit d5163ca244bc · 2021-06-17T20:47:07.000+02:00
diff --git a/csharp/ql/src/semmle/code/dotnet/Element.qll b/csharp/ql/src/semmle/code/dotnet/Element.qll
@@ -87,6 +87,7 @@ class NamedElement extends Element, @dotnet_named_element {
   final predicate hasQualifiedName(string qualifiedName) { qualifiedName = this.getQualifiedName() }
 
   /** Holds if this element has the qualified name `qualifier`.`name`. */
+  cached
   predicate hasQualifiedName(string qualifier, string name) {
     qualifier = "" and name = this.getName()
   }

Original file line number	Diff line number	Diff line change
`@@ -87,6 +87,7 @@ class NamedElement extends Element, @dotnet_named_element {`
`87`	`87`	`final predicate hasQualifiedName(string qualifiedName) { qualifiedName = this.getQualifiedName() }`
`88`	`88`
`89`	`89`	/** Holds if this element has the qualified name `qualifier`.`name`. */
	`90`	`+ cached`
`90`	`91`	`predicate hasQualifiedName(string qualifier, string name) {`
`91`	`92`	`qualifier = "" and name = this.getName()`
`92`	`93`	`}`