Fix/type visitor array case

sootup.core/src/main/java/sootup/core/jimple/JimpleIR.java

@@ -1,4 +1,26 @@
 package sootup.core.jimple;
 
+/*-
+ * #%L
+ * Soot - a J*va Optimization Framework
+ * %%
+ * Copyright (C) 2018-2026 Markus Schmidt
+ * %%
+ * This program is free software: you can redistribute it and/or modify
+ * it under the terms of the GNU Lesser General Public License as
+ * published by the Free Software Foundation, either version 2.1 of the
+ * License, or (at your option) any later version.
+ *
+ * This program is distributed in the hope that it will be useful,
+ * but WITHOUT ANY WARRANTY; without even the implied warranty of
+ * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
+ * GNU General Lesser Public License for more details.
+ *
+ * You should have received a copy of the GNU General Lesser Public
+ * License along with this program.  If not, see
+ * <http://www.gnu.org/licenses/lgpl-2.1.html>.
+ * #L%
+ */
+
 /** Marker interface to show whats considered Jimple IR */
 public interface JimpleIR {}

sootup.core/src/main/java/sootup/core/jimple/basic/LocalGenerator.java

@@ -30,6 +30,7 @@
 import sootup.core.jimple.Jimple;
 import sootup.core.jimple.common.Local;
 import sootup.core.jimple.visitor.AbstractTypeVisitor;
+import sootup.core.types.ArrayType;
 import sootup.core.types.ClassType;
 import sootup.core.types.Type;
 
@@ -142,7 +143,7 @@ public void caseFloatType() {
     }
 
     @Override
-    public void caseArrayType() {
+    public void caseArrayType(@NonNull ArrayType arrayType) {
       result.append("r").append(tempRefLikeType++);
     }
 

sootup.core/src/main/java/sootup/core/jimple/visitor/AbstractTypeVisitor.java

@@ -71,7 +71,7 @@ public void caseFloatType() {
   }
 
   @Override
-  public void caseArrayType() {
+  public void caseArrayType(@NonNull ArrayType arrayType) {
     defaultCaseType();
   }
 

sootup.core/src/main/java/sootup/core/jimple/visitor/TypeVisitor.java

@@ -43,7 +43,7 @@ public interface TypeVisitor extends Visitor {
 
   void caseFloatType();
 
-  void caseArrayType();
+  void caseArrayType(@NonNull ArrayType arrayType);
 
   void caseClassType(@NonNull ClassType classType);
 

sootup.core/src/main/java/sootup/core/types/ArrayType.java

@@ -98,7 +98,7 @@ public Type getElementType() {
 
   @Override
   public <V extends TypeVisitor> V accept(@NonNull V v) {
-    v.caseArrayType();
+    v.caseArrayType(this);
     return v;
   }