fix IndexOutOfBoundsException in getType()

src/main/java/spoon/support/reflect/code/CtCatchVariableImpl.java

@@ -92,6 +92,9 @@ public CtTypeReference<T> getType() {
 				.includingInterfaces(false)
 				.includingSelf(true)
 				.returnTypeReferences(true)).list();
+		if (superTypesOfFirst.isEmpty()) {
+			return null;
+		}
 		int commonSuperTypeIdx = 0;
 		//index of Throwable. Last is Object
 		int throwableIdx = superTypesOfFirst.size() - 2;

src/test/java/spoon/test/trycatch/TryCatchTest.java

@@ -218,7 +218,7 @@ public void testTryCatchVariableGetType() throws Exception {
 		CtTry tryStmt = (CtTry) clazz.getElements(new TypeFilter<>(CtTry.class)).get(0);
 		List<CtCatch> catchers = tryStmt.getCatchers();
 		assertEquals(1, catchers.size());
-		
+
 		CtCatchVariable<?> catchVariable = catchers.get(0).getParameter();
 
 		assertEquals(
@@ -230,28 +230,28 @@ public void testTryCatchVariableGetType() throws Exception {
 		assertEquals(
 				RuntimeException.class,
 				catchVariable.getMultiTypes().get(0).getActualClass());
-		
+
 		//contract: the manipulation with catch variable type is possible
 		catchVariable.setType((CtTypeReference)factory.Type().createReference(IllegalArgumentException.class));
 		assertEquals(IllegalArgumentException.class,catchVariable.getType().getActualClass());
 		//contract setType influences multitypes
 		assertEquals(1, catchVariable.getMultiTypes().size());
 		assertEquals(IllegalArgumentException.class, catchVariable.getMultiTypes().get(0).getActualClass());
-		
+
 		catchVariable.setMultiTypes(Collections.singletonList((CtTypeReference)factory.Type().createReference(UnsupportedOperationException.class)));
 		assertEquals(UnsupportedOperationException.class,catchVariable.getType().getActualClass());
 		//contract setType influences multitypes
 		assertEquals(1, catchVariable.getMultiTypes().size());
 		assertEquals(UnsupportedOperationException.class, catchVariable.getMultiTypes().get(0).getActualClass());
-		
+
 		catchVariable.setMultiTypes(Arrays.asList(
 				factory.Type().createReference(UnsupportedOperationException.class),
 				factory.Type().createReference(IllegalArgumentException.class)
 				));
 		assertEquals(2, catchVariable.getMultiTypes().size());
 		assertEquals(UnsupportedOperationException.class, catchVariable.getMultiTypes().get(0).getActualClass());
 		assertEquals(IllegalArgumentException.class, catchVariable.getMultiTypes().get(1).getActualClass());
-		
+
 		//contract setMultiTypes influences types, which contains common super class of all multi types
 		assertEquals(RuntimeException.class,catchVariable.getType().getActualClass());
 	}
@@ -289,4 +289,18 @@ public void testCatchWithExplicitFinalVariable() throws IOException {
 
 		assertTrue(content.contains("catch (final java.lang.Exception e)"));
 	}
+
+	@Test
+	public void testCatchWithUnknownExceptions() {
+		// contract: unknown exception type in multicatch should not cause IndexOutOfBoundsException
+		String inputResource = "./src/test/resources/spoon/test/noclasspath/exceptions/Foo.java";
+		Launcher launcher = new Launcher();
+		launcher.addInputResource(inputResource);
+		launcher.getEnvironment().setNoClasspath(true);
+		CtModel model = launcher.buildModel();
+
+		List<CtCatch> catches = model.getElements(new TypeFilter<CtCatch>(CtCatch.class));
+		catches.get(0).getParameter().getType(); // catch with single UnknownException
+		catches.get(1).getParameter().getType(); // multicatch with UnknownException
+	}
 }

src/test/resources/spoon/test/noclasspath/exceptions/Foo.java

@@ -0,0 +1,21 @@
+
+public class Foo {
+
+	void testCatchWithUnknownException(File file) {
+		try {
+			new FileReader(file);
+		}
+		catch (UnknownException e) {
+			System.out.println(e);
+		}
+	}
+
+	void testMultiCatchWithUnknownException(File file) {
+		try {
+			new FileReader(file);
+		}
+		catch (UnknownException | FileNotFoundException e) {
+			System.out.println(e);
+		}
+	}
+}