Skip to content

Commit 86c021e

Browse files
committed
C#: Deprecate hasQualifiedName/1.
1 parent 3b5b121 commit 86c021e

File tree

1 file changed

+4
-1
lines changed

1 file changed

+4
-1
lines changed

csharp/ql/lib/semmle/code/dotnet/Element.qll

Lines changed: 4 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -97,10 +97,13 @@ class NamedElement extends Element, @dotnet_named_element {
9797
}
9898

9999
/**
100+
* DEPRECATED: Use hasQualifiedName instead.
100101
* Holds if this element has qualified name `qualifiedName`, for example
101102
* `System.Console.WriteLine`.
102103
*/
103-
final predicate hasQualifiedName(string qualifiedName) { qualifiedName = this.getQualifiedName() }
104+
deprecated final predicate hasQualifiedName(string qualifiedName) {
105+
qualifiedName = this.getQualifiedName()
106+
}
104107

105108
/** Holds if this element has the qualified name `qualifier`.`name`. */
106109
cached

0 commit comments

Comments
 (0)