mirror of
https://github.com/github/codeql.git
synced 2025-12-18 01:33:15 +01:00
Array types: record dimensionality
This commit is contained in:
committed by
Ian Lynagh
parent
239ee588a6
commit
6fb5854589
@@ -610,7 +610,7 @@ class X {
|
||||
val kotlinElementTypeLabel = kotlinLabelOfJavaType(elementType, elementTypeLabel.kotlinResult.id)
|
||||
|
||||
val id = tw.getLabelFor<DbArray>("@\"array;$dimensions;{${elementTypeLabel.javaResult.id}}\"") {
|
||||
tw.writeArrays(it, shortName(s), elementTypeLabel.javaResult.id, kotlinElementTypeLabel, 1, componentTypeLabel.javaResult.id, kotlinComponentTypeLabel)
|
||||
tw.writeArrays(it, shortName(s), elementTypeLabel.javaResult.id, kotlinElementTypeLabel, dimensions, componentTypeLabel.javaResult.id, kotlinComponentTypeLabel)
|
||||
|
||||
extractClassCommon(s.classifier.owner as IrClass, it)
|
||||
|
||||
|
||||
Reference in New Issue
Block a user