C#: Use callables qualified name instead of name, when printing summary like information.

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

View File

@@ -2066,13 +2066,14 @@ module Csv {
/** Computes the first 6 columns for CSV rows of `c`. */
string asPartialModel(DataFlowCallable c) {
exists(string namespace, string type |
exists(string namespace, string type, string name |
c.getDeclaringType().hasQualifiedName(namespace, type) and
c.hasQualifiedName(_, name) and
result =
namespace + ";" //
+ type + ";" //
+ getCallableOverride(c) + ";" //
+ c.getName() + ";" //
+ name + ";" //
+ "(" + parameterQualifiedTypeNamesToString(c) + ")" //
+ /* ext + */ ";" //
)