Skip to content

Commit 7e4d761

Browse files
committed
C#: Add nomagic to NamedElement::getQualifiedName()
1 parent 712b0d8 commit 7e4d761

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

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

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -74,6 +74,7 @@ class NamedElement extends Element, @dotnet_named_element {
7474
* }
7575
* ```
7676
*/
77+
pragma[nomagic]
7778
final string getQualifiedName() {
7879
exists(string qualifier, string name | this.hasQualifiedName(qualifier, name) |
7980
if qualifier = "" then result = name else result = qualifier + "." + name

0 commit comments

Comments
 (0)