C#: The qualified name of the operator should use the function name instead of the displayed name.

This commit is contained in:
Michael Nebel
2022-03-30 15:05:03 +02:00
parent 70c44734e6
commit 4163078ecc

View File

@@ -460,6 +460,11 @@ class Operator extends Callable, Member, Attributable, @operator {
override string toString() { result = Callable.super.toString() }
override Parameter getRawParameter(int i) { result = this.getParameter(i) }
override predicate hasQualifiedName(string qualifier, string name) {
super.hasQualifiedName(qualifier, _) and
name = this.getFunctionName()
}
}
/** A clone method on a record. */