mirror of
https://github.com/github/codeql.git
synced 2026-04-29 02:35:15 +02:00
Fix TupleType::getName
This commit is contained in:
@@ -1103,11 +1103,14 @@ class TupleType extends ValueType, @tuple_type {
|
||||
override string toStringWithTypes() {
|
||||
result =
|
||||
"(" +
|
||||
concat(int i |
|
||||
exists(getElement(i))
|
||||
|
|
||||
getElement(i).getType().toStringWithTypes(), ", " order by i
|
||||
) + ")"
|
||||
concat(Type t, int i | t = getElement(i).getType() | t.toStringWithTypes(), ", " order by i)
|
||||
+ ")"
|
||||
}
|
||||
|
||||
language[monotonicAggregates]
|
||||
override string getName() {
|
||||
result =
|
||||
"(" + concat(Type t, int i | t = getElement(i).getType() | t.getName(), "," order by i) + ")"
|
||||
}
|
||||
|
||||
override string getLabel() { result = getUnderlyingType().getLabel() }
|
||||
|
||||
Reference in New Issue
Block a user