Merge pull request #219 from lisa-analyzer/throw-exception-anon-classes

Throw exception if anonymous class detected

Author: VincenzoArceri

jlisa/src/main/java/it/unive/jlisa/frontend/visitors/ExpressionVisitor.java

@@ -347,6 +347,12 @@ public boolean visit(
 	@Override
 	public boolean visit(
 			ClassInstanceCreation node) {
+		if (node.getAnonymousClassDeclaration() != null) {
+			throw new ParsingException("anonymous-class",
+					ParsingException.Type.UNSUPPORTED_STATEMENT,
+					"Anonymous classes are not supported.",
+					getSourceCodeLocation(node));
+		}
 		TypeASTVisitor typeVisitor = new TypeASTVisitor(parserContext, source, compilationUnit, container);
 		node.getType().accept(typeVisitor);
 		Type type = typeVisitor.getType();

jlisa/src/test/java/it/unive/jlisa/svcomp/SVCompTestcases.java

@@ -332,7 +332,7 @@ public void urldecoder2_test() throws IOException {
 		perform(conf);
 	}
 
-	@Test
+	@Ignore // Ignored due to anonymous class.
 	public void Basic1_test() throws IOException {
 		// this test had troublesome parsing errors,
 		// but it is too complex to thoroughly check its results