Skip to content

Commit 3b430d4

Browse files
Use getComponentType
1 parent 358a7c1 commit 3b430d4

File tree

1 file changed

+3
-3
lines changed

1 file changed

+3
-3
lines changed

java/ql/src/utils/Stubs.qll

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -220,7 +220,7 @@ private string stubTypeName(Type t) {
220220
then result = "?" + stubTypeBound(t)
221221
else
222222
if t instanceof Array
223-
then result = stubTypeName(t.(Array).getElementType()) + "[]"
223+
then result = stubTypeName(t.(Array).getComponentType()) + "[]"
224224
else
225225
if t instanceof ClassOrInterface
226226
then
@@ -338,7 +338,7 @@ private string stubParameter(Parameter p) {
338338
exists(Type t, string suff | result = stubTypeName(t) + suff + " " + p.getName() |
339339
if p.isVarargs()
340340
then (
341-
t = p.getType().(Array).getElementType() and
341+
t = p.getType().(Array).getComponentType() and
342342
suff = "..."
343343
) else (
344344
t = p.getType() and suff = ""
@@ -426,7 +426,7 @@ private RefType getAReferencedType(RefType t) {
426426
or
427427
result = t1.(ParameterizedType).getATypeArgument()
428428
or
429-
result = t1.(Array).getElementType()
429+
result = t1.(Array).getComponentType()
430430
or
431431
result = t1.(BoundedType).getATypeBound().getType()
432432
)

0 commit comments

Comments
 (0)