Skip to content

Commit 62f5af9

Browse files
committed
Fix TupleType::getName
1 parent d3803b0 commit 62f5af9

File tree

1 file changed

+8
-5
lines changed
  • csharp/ql/src/semmle/code/csharp

1 file changed

+8
-5
lines changed

csharp/ql/src/semmle/code/csharp/Type.qll

Lines changed: 8 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1103,11 +1103,14 @@ class TupleType extends ValueType, @tuple_type {
11031103
override string toStringWithTypes() {
11041104
result =
11051105
"(" +
1106-
concat(int i |
1107-
exists(getElement(i))
1108-
|
1109-
getElement(i).getType().toStringWithTypes(), ", " order by i
1110-
) + ")"
1106+
concat(Type t, int i | t = getElement(i).getType() | t.toStringWithTypes(), ", " order by i)
1107+
+ ")"
1108+
}
1109+
1110+
language[monotonicAggregates]
1111+
override string getName() {
1112+
result =
1113+
"(" + concat(Type t, int i | t = getElement(i).getType() | t.getName(), "," order by i) + ")"
11111114
}
11121115

11131116
override string getLabel() { result = getUnderlyingType().getLabel() }

0 commit comments

Comments
 (0)