test: isSubTypeOf doesn't fail (see #2288) on missing type references (…

…#2448)
INRIA · Sep 16, 2018 · 5f12101 · 5f12101
1 parent 3c72b5c
commit 5f12101
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/src/test/java/spoon/test/ctType/CtTypeTest.java b/src/test/java/spoon/test/ctType/CtTypeTest.java
@@ -162,6 +162,13 @@ public void testIsSubTypeOfonTypeReferences() {
 		});
 
 		assertTrue(count[0] > (9 * 8));
+
+		// contract: isSubTypeOf does not throw any exception
+		// #2288 cannot be reproduced, probably fixed by #2406
+		CtTypeReference<Object> typeReferenceWithNoDeclaration = launcher.getFactory().createTypeReference();
+		typeReferenceWithNoDeclaration.setSimpleName("DoesNotExist");
+		assertFalse(typeReferenceWithNoDeclaration.isSubtypeOf(oCtType.getReference()));
+		assertFalse(oCtType.isSubtypeOf(typeReferenceWithNoDeclaration));
 	}
 
 	private void checkIsSubtype(CtTypeReference superType, CtTypeReference subType, Map<String, CtTypeReference<?>> nameToTypeRef) {