From 14f33bd2a707246fcc12f64a55270d7692d13dde Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Tue, 3 Feb 2026 22:42:18 +0100 Subject: [PATCH 1/4] bug squashing --- .../com/github/javaparser/JavaParserTest.java | 2 +- .../com/github/javaparser/JavaTokenTest.java | 2 +- .../GenericListVisitorAdapterTest.java | 2 +- .../visitor/GenericVisitorAdapterTest.java | 2 +- .../ast/visitor/HashCodeVisitorTest.java | 3 +- .../visitor/NoCommentHashCodeVisitorTest.java | 2 +- ...vaparser_core_generators_src_main_java.txt | 98 +- ...core_metamodel_generator_src_main_java.txt | 14 +- ..._results_javaparser_core_src_main_java.txt | 1703 +---------------- ..._javaparser_core_testing_src_test_java.txt | 8 +- ...arser_symbol_solver_core_src_main_java.txt | 419 +--- ...er_symbol_solver_testing_src_test_java.txt | 44 +- javaparser-core/src/main/javacc/java.jj | 2 +- 13 files changed, 14 insertions(+), 2287 deletions(-) diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/JavaParserTest.java b/javaparser-core-testing/src/test/java/com/github/javaparser/JavaParserTest.java index eadb83ff63..2c32b0c383 100644 --- a/javaparser-core-testing/src/test/java/com/github/javaparser/JavaParserTest.java +++ b/javaparser-core-testing/src/test/java/com/github/javaparser/JavaParserTest.java @@ -95,7 +95,7 @@ void testSourcePositionsWithBrokenUnicodeEscapes() { ParseResult cu = parseWithUnicodeEscapes(code); assertFalse(cu.getResult().isPresent()); assertEquals( - "Lexical error at line 1, column 34. Encountered: \"\\\"\" (34), after : \"\\\"\\\\uABC\"", + "Lexical error at line 1, column 34. Encountered: '\\\"' (34), after prefix \"\\\"\\\\uABC\"", cu.getProblem(0).getMessage()); } diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/JavaTokenTest.java b/javaparser-core-testing/src/test/java/com/github/javaparser/JavaTokenTest.java index 4e2ed25a8a..72981990c5 100644 --- a/javaparser-core-testing/src/test/java/com/github/javaparser/JavaTokenTest.java +++ b/javaparser-core-testing/src/test/java/com/github/javaparser/JavaTokenTest.java @@ -79,7 +79,7 @@ void testKindEnum() { @Test void testKindEnum2() { - final int tokenCount = GeneratedJavaParserConstants.tokenImage.length; + final int tokenCount = GeneratedJavaParserConstants.tokenImage.length - 1; for (int i = 0; i < tokenCount; i++) { System.out.println(i); JavaToken.Kind kind = JavaToken.Kind.valueOf(i); diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericListVisitorAdapterTest.java b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericListVisitorAdapterTest.java index 786075784b..a921fe9298 100644 --- a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericListVisitorAdapterTest.java +++ b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericListVisitorAdapterTest.java @@ -636,7 +636,7 @@ void visit_GivenConstructorDeclaration() { // Verify InOrder order = Mockito.inOrder(node); - order.verify(node).getBody(); + order.verify(node, times(2)).getBody(); order.verify(node).getModifiers(); order.verify(node).getName(); order.verify(node).getParameters(); diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java index 3de04bd487..2097a152c7 100644 --- a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java +++ b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java @@ -634,7 +634,7 @@ void visit_GivenConstructorDeclaration() { // Verify InOrder order = Mockito.inOrder(node); - order.verify(node).getBody(); + order.verify(node, times(2)).getBody(); order.verify(node).getModifiers(); order.verify(node).getName(); order.verify(node).getParameters(); diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java index 4242729294..6705876d38 100644 --- a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java +++ b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java @@ -272,7 +272,7 @@ void testVisitConditionalExpr() { void testVisitConstructorDeclaration() { ConstructorDeclaration node = spy(new ConstructorDeclaration()); HashCodeVisitor.hashCode(node); - verify(node, times(1)).getBody(); + verify(node, times(2)).getBody(); verify(node, times(1)).getModifiers(); verify(node, times(1)).getName(); verify(node, times(1)).getParameters(); @@ -281,6 +281,7 @@ void testVisitConstructorDeclaration() { verify(node, times(1)).getTypeParameters(); verify(node, times(1)).getAnnotations(); verify(node, times(1)).getComment(); + //JML verify(node, times(1)).getContracts(); } diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/NoCommentHashCodeVisitorTest.java b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/NoCommentHashCodeVisitorTest.java index 47f0e2ca9f..883bb7edf8 100644 --- a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/NoCommentHashCodeVisitorTest.java +++ b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/NoCommentHashCodeVisitorTest.java @@ -316,7 +316,7 @@ void testVisitConstructorDeclaration() { ConstructorDeclaration node = spy(new ConstructorDeclaration()); NoCommentHashCodeVisitor.hashCode(node); - verify(node, times(1)).getBody(); + verify(node, times(2)).getBody(); verify(node, times(1)).getModifiers(); verify(node, times(1)).getName(); verify(node, times(1)).getParameters(); diff --git a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_generators_src_main_java.txt b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_generators_src_main_java.txt index 1ca4992f69..8a9fcbee58 100644 --- a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_generators_src_main_java.txt +++ b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_generators_src_main_java.txt @@ -1,97 +1 @@ -com/github/javaparser/generator/CompilationUnitGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/AcceptGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/CloneGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/GetMetaModelGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/MainConstructorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/NodeModifierGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/PropertyGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/RemoveMethodGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/ReplaceMethodGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/node/TypeCastingGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/other/BndGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/other/TokenKindGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/quality/NotNullGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/utils/CodeUtils.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/CloneVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/EqualsVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/GenericListVisitorAdapterGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/GenericVisitorAdapterGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/GenericVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/GenericVisitorWithDefaultsGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/HashCodeVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/ModifierVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/NoCommentEqualsVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/NoCommentHashCodeVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/ObjectIdentityEqualsVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/ObjectIdentityHashCodeVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/VoidVisitorAdapterGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/VoidVisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/core/visitor/VoidVisitorWithDefaultsGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/Generator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/NodeGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/VisitorGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -32 problems in 32 files \ No newline at end of file +0 problems in 0 files \ No newline at end of file diff --git a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_metamodel_generator_src_main_java.txt b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_metamodel_generator_src_main_java.txt index 7ab454c7b4..8a9fcbee58 100644 --- a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_metamodel_generator_src_main_java.txt +++ b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_metamodel_generator_src_main_java.txt @@ -1,13 +1 @@ -com/github/javaparser/generator/AbstractGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/metamodel/AstTypeAnalysis.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/metamodel/MetaModelGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/generator/metamodel/NodeMetaModelGenerator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -4 problems in 4 files \ No newline at end of file +0 problems in 0 files \ No newline at end of file diff --git a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_src_main_java.txt b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_src_main_java.txt index 060e6fa7d0..8a9fcbee58 100644 --- a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_src_main_java.txt +++ b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_src_main_java.txt @@ -1,1702 +1 @@ -com/github/javaparser/ast/AbstractModifier.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/AccessSpecifier.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/ArrayCreationLevel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/AnnotationDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/AnnotationMemberDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/BodyDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/CallableDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/ClassOrInterfaceDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/CompactConstructorDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/ConstructorDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/EnumConstantDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/EnumDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/FieldDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/InitializerDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/MethodDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/Parameter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/ReceiverParameter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/RecordDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/TypeDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/body/VariableDeclarator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/comments/BlockComment.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/comments/Comment.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/comments/CommentsCollection.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/comments/JavadocComment.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/comments/LineComment.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/comments/MarkdownComment.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/comments/TraditionalJavadocComment.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/CompilationUnit.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/AnnotationExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/ArrayAccessExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/ArrayCreationExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/ArrayInitializerExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/AssignExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/BinaryExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/BooleanLiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/CastExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/CharLiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/ClassExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/ComponentPatternExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/ConditionalExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/DoubleLiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/EnclosedExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/Expression.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/FieldAccessExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/InstanceOfExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/IntegerLiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/LambdaExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/LiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/LiteralStringValueExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/LongLiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/MarkerAnnotationExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/MatchAllPatternExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/MemberValuePair.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/MethodCallExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/MethodReferenceExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/Name.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/NameExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/NormalAnnotationExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/NullLiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/ObjectCreationExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/PatternExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/RecordPatternExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/SimpleName.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/SingleMemberAnnotationExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/StringLiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/SuperExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/SwitchExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/TextBlockLiteralExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/ThisExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/TypeExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/TypePatternExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/UnaryExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/expr/VariableDeclarationExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/ImportDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/ArbitraryNodeContainer.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/body/JmlClassAccessibleDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/body/JmlClassExprDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/body/JmlClassLevelDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/body/JmlFieldDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/body/JmlMethodDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/body/JmlRepresentsDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/ContractType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlCallableClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlClauseIf.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlClauseKind.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlClauseLabel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlContract.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlForallClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlMethodSignature.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlMultiExprClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlOldClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlSignalsClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlSignalsOnlyClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/clauses/JmlSimpleExprClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/doc/JmlDoc.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/doc/JmlDocDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/doc/JmlDocModifier.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/doc/JmlDocStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/doc/JmlDocType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/expr/JmlBinaryInfixExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/expr/JmlLabelExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/expr/JmlLetExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/expr/JmlMultiCompareExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/expr/JmlQuantifiedExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/expr/JmlSetComprehensionExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/expr/JmlTypeExpr.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/JmlModelProgram.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/stmt/JmlBeginStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/stmt/JmlEndStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/stmt/JmlExpressionStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/stmt/JmlGhostStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/stmt/JmlLabelStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/stmt/JmlRefiningStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/stmt/JmlStatement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/stmt/JmlUnreachableStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/jml/type/JmlLogicType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyAbstractExecutionContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyCatchAllStatement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyCcatchBranch.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyCcatchBreak.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyCcatchContinue.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyCcatchParameter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyCcatchReturn.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyEscapeExpression.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyExecStatement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyExecutionContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyLoopScopeBlock.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyMergePointStatement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyMethodBodyStatement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyMethodCallStatement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyMethodSignature.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyPassiveExpression.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyRangeExpression.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/KeyTransactionStatement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyCatchClauseSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyCcatchSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyContextStatementBlock.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyExecCtxtSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyExecutionContextSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyExpressionSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyJumpLabelSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyMetaConstruct.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyMetaConstructExpression.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyMetaConstructType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyMethodSignatureSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyProgramVariableSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyStatementSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/key/sv/KeyTypeSV.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/Modifier.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/modules/ModuleDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/modules/ModuleDirective.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/modules/ModuleExportsDirective.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/modules/ModuleOpensDirective.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/modules/ModuleProvidesDirective.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/modules/ModuleRequiresDirective.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/modules/ModuleUsesDirective.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/Node.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/NodeList.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/observer/ObservableProperty.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/PackageDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/AssertStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/Behavior.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/BlockStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/BreakStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/CatchClause.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/ContinueStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/DoStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/EmptyStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/ExplicitConstructorInvocationStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/ExpressionStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/ForEachStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/ForStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/IfStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/LabeledStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/LocalClassDeclarationStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/LocalRecordDeclarationStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/ReturnStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/Statement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/SwitchEntry.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/SwitchStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/SynchronizedStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/ThrowStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/TryStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/UnparsableStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/WhileStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/stmt/YieldStmt.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/ArrayType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/ClassOrInterfaceType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/IntersectionType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/LogicalType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/PrimitiveType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/ReferenceType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/Type.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/TypeParameter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/UnionType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/UnknownType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/VarType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/VoidType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/type/WildcardType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/chunks/CommonValidators.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/chunks/ModifierValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/chunks/VarValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java10PreviewValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java10Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java11PreviewValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java11Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java12PreviewValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java12Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java13PreviewValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java13Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java14PreviewValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java14Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java15PreviewValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java15Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java16PreviewValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java16Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java17PreviewValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java17Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java18Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java19Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java1_0Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java1_1Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java1_2Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java1_3Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java1_4Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java20Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java21Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java22Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java23Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java24Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java25Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java5Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java6Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java7Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java8Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/Java9Validator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/language_level_validations/UpgradeJavaMessage.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/postprocessors/Java10PostProcessor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/postprocessors/PostProcessors.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/ProblemReporter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/RecordAsTypeIdentifierNotAllowed.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/ReservedKeywordValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/SimpleValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/SingleNodeTypeValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/TreeVisitorValidator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/validator/Validators.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/visitor/EqualsVisitor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/visitor/HashCodeVisitor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ast/visitor/NodeFinderVisitor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/CommentsInserter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/javadoc/description/JavadocDescription.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/javadoc/description/JavadocInlineTag.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/javadoc/description/JavadocSnippet.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/javadoc/Javadoc.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/javadoc/JavadocBlockTag.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/JavaParser.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/JavaParserAdapter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/JavaToken.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/jml/impl/JmlAnnotationSupport.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/jml/JmlProcessor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/jml/JmlUtility.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/jml/JmlWarnRemaingJmlDoc.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/LineEndingProcessingProvider.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/AnnotationDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/AnnotationExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/AnnotationMemberDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ArrayAccessExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ArrayCreationExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ArrayCreationLevelMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ArrayInitializerExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ArrayTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/AssertStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/AssignExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/BaseNodeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/BinaryExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/BlockCommentMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/BlockStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/BodyDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/BooleanLiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/BreaksClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/BreakStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CallableClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CallableDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CallableMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CastExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CatchClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CharLiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ClassExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ClassInvariantClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ClassOrInterfaceDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ClassOrInterfaceTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CommentMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CompactConstructorDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/CompilationUnitMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ComponentPatternExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ConditionalExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ConstructorDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ContinueStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/DoStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/DoubleLiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/EmptyStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/EnclosedExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/EnumConstantDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/EnumDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ExplicitConstructorInvocationStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ExpressionMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ExpressionStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/FieldAccessExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/FieldDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ForallClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ForEachStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ForStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/IfStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ImportDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/InitializerDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/InstanceOfExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/IntegerLiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/IntersectionTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JavadocCommentMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JavaParserMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlAssertStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlBeginStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlBinaryInfixExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlBindingExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlCallableClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClassAccessibleDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClassExprDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClassInvariantDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClassLevelDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClassLevelMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClauseIfMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClauseLabelMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClauseLEMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlContractMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlDefaultClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlDocDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlDocMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlDocModifierMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlDocStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlDocTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlEndStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlExpressionStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlFieldDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlForallClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlGhostStatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlGhostStatementsMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlGhostStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlLabelExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlLabelMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlLabelStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlLetExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlMethodDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlMethodSignatureMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlMultiCompareExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlMultiExprClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlOldClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlQuantifiedExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlRefiningStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlRepresentsDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlSetComprehensionExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlSetComprehensionMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlSignalsClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlSignalsOnlyClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlSimpleExprClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlStatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlStmtWithExpressionMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlTypeExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/JmlUnreachableStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyAbstractExecutionContextMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyCatchAllStatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeYCcatchBranchMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeYCcatchBreakMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeYCcatchContinueMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeYCcatchParameterMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeYCcatchReturnMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyCcatchSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyContextStatementBlockMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyEscapeExpressionMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyExecCtxtSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyExecStatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyExecutionContextMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyExecutionContextSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyExpressionSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyJumpLabelSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyLoopScopeBlockMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyMergePointStatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyMetaConstructExpressionMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyMetaConstructMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyMetaConstructTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyMethodBodyStatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyMethodCallStatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyMethodSignatureMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyMethodSignatureSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyPassiveExpressionMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyProgramVariableSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyRangeExpressionMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyStatementSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyTransactionStatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/KeyTypeSVMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/LabeledStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/LambdaExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/LineCommentMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/LiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/LiteralStringValueExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/LocalClassDeclarationStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/LocalRecordDeclarationStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/LongLiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/MarkdownCommentMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/MarkerAnnotationExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/MatchAllPatternExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/MemberValuePairMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/MethodCallExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/MethodDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/MethodReferenceExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ModifierMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ModuleDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ModuleDirectiveMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ModuleExportsDirectiveMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ModuleOpensDirectiveMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ModuleProvidesDirectiveMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ModuleRequiresDirectiveMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ModuleUsesDirectiveMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/NameExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/NameMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/NodeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/NormalAnnotationExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/NullLiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ObjectCreationExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/PackageDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ParameterMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/PatternExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/PrimitiveTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/PropertyMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ReceiverParameterMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/RecordDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/RecordPatternExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ReferenceTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ReturnStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SignalsClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SignalsMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SignalsOnlyClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SignalsOnlyMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SimpleNameMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SingleMemberAnnotationExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/StatementMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/StringLiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SuperExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SwitchEntryMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SwitchExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SwitchStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/SynchronizedStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/TextBlockLiteralExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ThisExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/ThrowStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/TraditionalJavadocCommentMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/TryStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/TypeDeclarationMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/TypeExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/TypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/TypeParameterMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/TypePatternExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/UnaryExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/UnionTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/UnknownTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/UnparsableStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/UnreachableStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/VariableDeclarationExprMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/VariableDeclaratorMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/VarTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/VoidTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/WhileStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/WildcardTypeMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/WorkingSpaceClauseMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/metamodel/YieldStmtMetaModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ParseProblemException.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ParserConfiguration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/ParseResult.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/Position.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/ConcreteSyntaxModel.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmAttribute.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmChar.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmConditional.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmList.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmMix.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmSequence.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmSingleReference.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmString.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmTextBlock.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/concretesyntaxmodel/CsmToken.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/configuration/DefaultConfigurationOption.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/configuration/DefaultPrinterConfiguration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/configuration/Indentation.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/configuration/PrettyPrinterConfiguration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/DefaultPrettyPrinter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/DotPrinter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/Added.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/changes/ListAdditionChange.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/changes/ListRemovalChange.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/changes/ListReplacementChange.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/changes/PropertyChange.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/ChildTextElement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/Difference.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/DifferenceElementCalculator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/Kept.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/LexicalDifferenceCalculator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/LexicalPreservingVisitor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/NodeText.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/PeekingIterator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/Removed.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/RemovedGroup.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/Reshuffled.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/ReshuffledDiffElementExtractor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/TextElementIteratorsFactory.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/lexicalpreservation/TokenTextElement.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/PrettyPrinter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/PrettyPrintVisitor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/SourcePrinter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/XmlPrinter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/YamlPrinter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/Problem.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/Providers.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/quality/Preconditions.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/Range.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/declarations/ResolvedTypeParameterDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/logic/ConflictingGenericTypesException.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/logic/FunctionalInterfaceLogic.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/logic/InferenceContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/logic/InferenceVariableType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/MethodAmbiguityException.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/MethodUsage.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/model/LambdaArgumentTypePlaceholder.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/model/SymbolReference.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/model/typesystem/LazyType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/model/typesystem/NullType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/model/typesystem/ReferenceTypeImpl.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/model/Value.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/Navigator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/parametrization/ResolvedTypeParametersMap.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedArrayType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedIntersectionType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedLambdaConstraintType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedPrimitiveType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedReferenceType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedTypeVariable.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedUnionType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedVoidType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/types/ResolvedWildcard.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/resolution/UnsolvedSymbolException.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/StaticJavaParser.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/TokenRange.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/UnicodeEscapeProcessingProvider.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/CodeGenerationUtils.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/LineSeparator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/Pair.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/ParserCollectionStrategy.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/PositionUtils.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/ProjectRoot.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/SeparatedItemStringBuilder.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/SourceRoot.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/SourceZip.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/StringEscapeUtils.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/VisitorList.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/VisitorMap.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/utils/VisitorSet.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -567 problems in 567 files \ No newline at end of file +0 problems in 0 files \ No newline at end of file diff --git a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_testing_src_test_java.txt b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_testing_src_test_java.txt index 7c43ade3b0..8a9fcbee58 100644 --- a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_testing_src_test_java.txt +++ b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_core_testing_src_test_java.txt @@ -1,7 +1 @@ -com/github/javaparser/metamodel/BaseNodeMetaModelTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/printer/TestVisitor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -2 problems in 2 files \ No newline at end of file +0 problems in 0 files \ No newline at end of file diff --git a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_symbol_solver_core_src_main_java.txt b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_symbol_solver_core_src_main_java.txt index 4b8b207340..8a9fcbee58 100644 --- a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_symbol_solver_core_src_main_java.txt +++ b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_symbol_solver_core_src_main_java.txt @@ -1,418 +1 @@ -com/github/javaparser/symbolsolver/cache/DefaultCacheStats.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/cache/GuavaCache.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/cache/InMemoryCache.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/declarations/common/MethodDeclarationCommonLogic.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/AbstractJavaParserContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/AbstractMethodLikeDeclarationContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/AnnotationDeclarationContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/AnonymousClassDeclarationContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ArrayAccessExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/BinaryExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/BlockStmtContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/CatchClauseContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ClassOrInterfaceDeclarationContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ClassOrInterfaceDeclarationExtendsContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/CompilationUnitContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ConditionalExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ConstructorContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ContextHelper.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/DoStatementContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/EnclosedExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/EnumDeclarationContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ExpressionContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/FieldAccessContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ForEachStatementContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ForStatementContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/IfStatementContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/InstanceOfExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/JavaParserTypeDeclarationAdapter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/jml/JmlContractContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/jml/JmlLetExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/jml/JmlQuantifiedExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/jml/JmlSignalsClauseContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/LambdaExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/MethodCallExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/MethodContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/MethodReferenceExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/ObjectCreationContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/RecordDeclarationContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/StatementContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/SwitchEntryContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/TryWithResourceContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/UnaryExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/VariableDeclarationExprContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/VariableDeclaratorContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/contexts/WhileStatementContext.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/DefaultConstructorDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserAnnotationDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserAnnotationMemberDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserAnonymousClassDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserClassDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserConstructorDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserEnumConstantDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserEnumDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserFieldDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserInterfaceDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserMethodDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserParameterDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserRecordDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserSymbolDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserTypeAdapter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserTypeParameter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserTypePatternDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserTypeVariableDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarations/JavaParserVariableDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarators/AbstractSymbolDeclarator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarators/FieldSymbolDeclarator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarators/NoSymbolDeclarator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarators/ParameterSymbolDeclarator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarators/TypePatternSymbolDeclarator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/declarators/VariableSymbolDeclarator.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/JavaParserFacade.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/PatternVariableResult.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javaparsermodel/TypeExtractor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/JavaRefersToJmlException.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistAnnotationDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistAnnotationMemberDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistClassDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistConstructorDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistEnumConstantDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistEnumDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistFieldDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistInterfaceDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistMethodDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistMethodLikeDeclarationAdapter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistParameterDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistRecordDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistTypeDeclarationAdapter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/javassistmodel/JavassistTypeParameter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/JavaSymbolSolver.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionAnnotationDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionAnnotationMemberDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionClassAdapter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionClassDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionConstructorDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionEnumConstantDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionEnumDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionFieldDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionInterfaceDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionMethodDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionParameterDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionPatternDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionRecordDeclaration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionTypeParameter.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/naming/NameCategory.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/promotion/BooleanConditionalExprHandler.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/promotion/NumericConditionalExprHandler.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/promotion/ReferenceConditionalExprHandler.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/SymbolSolver.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/bounds/CapturesBound.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/bounds/FalseBound.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/bounds/SameAsBound.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/bounds/SubtypeOfBound.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/bounds/ThrowsBound.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/BoundSet.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/ConstraintFormula.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/ExpressionCompatibleWithType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/TypeCompatibleWithType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/TypeSameAsType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/constraintformulas/TypeSubtypeOfType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/ConstraintFormulaSet.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/ControlFlowLogic.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/InferenceVariable.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/InferenceVariableSubstitution.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/Instantiation.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/InstantiationSet.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/LeastUpperBoundLogic.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/MethodType.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/ProperLowerBound.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/ProperUpperBound.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/Substitution.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typeinference/TypeInference.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/AarTypeSolver.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/ClassLoaderTypeSolver.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/CombinedTypeSolver.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/JarTypeSolver.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/JavaParserTypeSolver.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/ReflectionTypeSolver.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/SourceFileInfoExtractor.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/utils/SymbolSolverCollectionStrategy.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -139 problems in 139 files \ No newline at end of file +0 problems in 0 files \ No newline at end of file diff --git a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_symbol_solver_testing_src_test_java.txt b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_symbol_solver_testing_src_test_java.txt index cc64860931..8a9fcbee58 100644 --- a/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_symbol_solver_testing_src_test_java.txt +++ b/javaparser-core-testing/src/test/resources/com/github/javaparser/bulk_test_results/javaparser_test_results_javaparser_symbol_solver_testing_src_test_java.txt @@ -1,43 +1 @@ -com/github/javaparser/key/LogicalTypes.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/AbstractSymbolResolutionTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/model/typesystem/ReferenceTypeTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/reflectionmodel/ReflectionClassDeclarationTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/DefaultPackageTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/AarTypeSolverTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/AbstractTypeSolverTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/ClassLoaderTypeSolverTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/CombinedTypeSolverTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/JarTypeSolverTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/JavaParserTypeSolverTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/MemoryTypeSolverTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/resolution/typesolvers/ReflectionTypeSolverTest.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -com/github/javaparser/symbolsolver/utils/LeanParserConfiguration.java -Cannot invoke "com.github.javaparser.ast.NodeList.forEach(java.util.function.Consumer)" because the return value of "com.github.javaparser.ast.body.ConstructorDeclaration.getContracts()" is null - -14 problems in 14 files \ No newline at end of file +0 problems in 0 files \ No newline at end of file diff --git a/javaparser-core/src/main/javacc/java.jj b/javaparser-core/src/main/javacc/java.jj index ed09b06700..e260863df2 100644 --- a/javaparser-core/src/main/javacc/java.jj +++ b/javaparser-core/src/main/javacc/java.jj @@ -3530,7 +3530,7 @@ String Identifier(): // Make sure older Java versions parse | | | | | | | "_" | | // overwritten by Key/SV but still valid in Java - "model" | "ghost" | "two_state" | "no_state" | "source" | "merge_point" | "exec" | "ccatch" | "ccat" + "source" | "exec" | "ccatch" | "ccat" // or a bunch of JML clause words | | | | | | | From a7c351084a27ee0c0b823028cf59373b8612c3db Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Tue, 3 Feb 2026 23:16:47 +0100 Subject: [PATCH 2/4] death to the bugs --- .../JavaParserJsonDeserializer.java | 14 ++++++++--- .../visitor/GenericVisitorAdapterTest.java | 1 - .../ast/visitor/HashCodeVisitorTest.java | 10 ++++---- .../com/github/javaparser/TokenTypes.java | 1 - .../github/javaparser/ast/jml/doc/JmlDoc.java | 25 +++++++++++++------ javaparser-core/src/main/javacc/java.jj | 12 +++++---- 6 files changed, 41 insertions(+), 22 deletions(-) diff --git a/javaparser-core-serialization/src/main/java/com/github/javaparser/serialization/JavaParserJsonDeserializer.java b/javaparser-core-serialization/src/main/java/com/github/javaparser/serialization/JavaParserJsonDeserializer.java index 79505691b1..05d7fafcf7 100644 --- a/javaparser-core-serialization/src/main/java/com/github/javaparser/serialization/JavaParserJsonDeserializer.java +++ b/javaparser-core-serialization/src/main/java/com/github/javaparser/serialization/JavaParserJsonDeserializer.java @@ -30,6 +30,8 @@ import com.github.javaparser.ast.Node; import com.github.javaparser.ast.NodeList; import com.github.javaparser.ast.comments.Comment; +import com.github.javaparser.ast.jml.doc.JmlDoc; +import com.github.javaparser.ast.jml.doc.JmlDocModifier; import com.github.javaparser.metamodel.BaseNodeMetaModel; import com.github.javaparser.metamodel.PropertyMetaModel; import com.github.javaparser.utils.Log; @@ -107,9 +109,15 @@ private Node deserializeObject(JsonObject nodeJson) { parameters.put(name, Boolean.parseBoolean(nodeJson.getString(name))); } else if (Enum.class.isAssignableFrom(type)) { parameters.put(name, Enum.valueOf((Class) type, nodeJson.getString(name))); - } else if (type == Modifier.DefaultKeyword.class) { - // TODO weigl handle JmlDocModifier? - parameters.put(name, Enum.valueOf(Modifier.DefaultKeyword.class, nodeJson.getString(name))); + } else if (type == Modifier.Keyword.class) { + Modifier.Keyword value; + final var string = nodeJson.getString(name); + try { + value = Enum.valueOf(Modifier.DefaultKeyword.class, string); + } catch (IllegalArgumentException e) { + value = new JmlDocModifier(new NodeList<>(new JmlDoc(string))); + } + parameters.put(name, value); } else { throw new IllegalStateException("Don't know how to convert: " + type); } diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java index 2097a152c7..35b1475a72 100644 --- a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java +++ b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java @@ -1832,7 +1832,6 @@ void visit_GivenThisExpr() { Mockito.when(node.getTypeName()).thenReturn(Optional.of(mock(Name.class))); Mockito.when(node.getComment()).thenReturn(Optional.of(mock(Comment.class))); - // Then Object result = visitor.visit(node, argument); diff --git a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java index 6705876d38..d46bdfdcbe 100644 --- a/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java +++ b/javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java @@ -282,7 +282,7 @@ void testVisitConstructorDeclaration() { verify(node, times(1)).getAnnotations(); verify(node, times(1)).getComment(); - //JML + // JML verify(node, times(1)).getContracts(); } @@ -301,7 +301,7 @@ void testVisitDoStmt() { verify(node, times(1)).getBody(); verify(node, times(1)).getCondition(); verify(node, times(1)).getComment(); - //JML + // JML verify(node, times(1)).getContracts(); } @@ -399,7 +399,7 @@ void testVisitForEachStmt() { verify(node, times(1)).getIterable(); verify(node, times(1)).getVariable(); verify(node, times(1)).getComment(); - //JML + // JML verify(node, times(1)).getContracts(); } @@ -498,7 +498,7 @@ void testVisitLambdaExpr() { verify(node, times(1)).isEnclosingParameters(); verify(node, times(1)).getParameters(); verify(node, times(1)).getComment(); - //JML + // JML verify(node, times(1)).getContracts(); } @@ -576,7 +576,7 @@ void testVisitMethodDeclaration() { verify(node, times(1)).getTypeParameters(); verify(node, times(1)).getAnnotations(); verify(node, times(1)).getComment(); - //JML + // JML verify(node, times(1)).getContracts(); } diff --git a/javaparser-core/src/main/java/com/github/javaparser/TokenTypes.java b/javaparser-core/src/main/java/com/github/javaparser/TokenTypes.java index 7b6a7704d6..21ae175952 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/TokenTypes.java +++ b/javaparser-core/src/main/java/com/github/javaparser/TokenTypes.java @@ -433,7 +433,6 @@ public static JavaToken.Category getCategory(int kind) { case NULL: case UNNAMED_PLACEHOLDER: return JavaToken.Category.LITERAL; - case JMLIDENTIFIER: case SVIDENTIFIER: case IDENTIFIER: case JML_IDENTIFIER: diff --git a/javaparser-core/src/main/java/com/github/javaparser/ast/jml/doc/JmlDoc.java b/javaparser-core/src/main/java/com/github/javaparser/ast/jml/doc/JmlDoc.java index 9d464147c0..051ac4c28e 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/ast/jml/doc/JmlDoc.java +++ b/javaparser-core/src/main/java/com/github/javaparser/ast/jml/doc/JmlDoc.java @@ -21,12 +21,19 @@ * @version 1 (11/23/21) */ public class JmlDoc extends Node { + private String content; - private JavaToken content; + public JmlDoc(JavaToken content) { + this(new TokenRange(content, content), content.getText()); + } + + private static JavaToken getContent(JavaToken content) { + return content; + } @AllFieldsConstructor - public JmlDoc(JavaToken content) { - this(new TokenRange(content, content), content); + public JmlDoc(String content) { + this(null, content); } @Override @@ -43,11 +50,11 @@ public void accept(final VoidVisitor v, final A arg) { @Generated("com.github.javaparser.generator.core.node.PropertyGenerator") public JavaToken getContent() { - return content; + return new JavaToken(0, content); } @Generated("com.github.javaparser.generator.core.node.PropertyGenerator") - public JmlDoc setContent(final @NonNull() JavaToken content) { + public JmlDoc setContent(final @NonNull() String content) { assertNotNull(content); if (content == this.content) { return this; @@ -73,15 +80,19 @@ public JmlDocMetaModel getMetaModel() { * This constructor is used by the parser and is considered private. */ @Generated("com.github.javaparser.generator.core.node.MainConstructorGenerator") - public JmlDoc(TokenRange tokenRange, JavaToken content) { + public JmlDoc(TokenRange tokenRange, String content) { super(tokenRange); setContent(content); customInitialization(); } + public JmlDoc(TokenRange tokenRange, JavaToken content) { + this(tokenRange, content.getText()); + } + @com.github.javaparser.ast.key.IgnoreLexPrinting() @Generated("com.github.javaparser.generator.core.node.PropertyGenerator") - public @NonNull() JavaToken content() { + public @NonNull() String content() { return Objects.requireNonNull(content); } } diff --git a/javaparser-core/src/main/javacc/java.jj b/javaparser-core/src/main/javacc/java.jj index e260863df2..132e553a05 100644 --- a/javaparser-core/src/main/javacc/java.jj +++ b/javaparser-core/src/main/javacc/java.jj @@ -428,7 +428,6 @@ TOKEN : { | | | -| //| //| //| @@ -1188,10 +1187,12 @@ MORE: { : IN_TEXT_BLOCK } // which might match that doublequote with following doublequotes. MORE :{ } +/* TOKEN: { > } +*/ /* IDENTIFIERS */ @@ -1202,7 +1203,7 @@ TOKEN : | "\u005f" ()+ > | - < JMLIDENTIFIER: "\\" > + < JML_IDENTIFIER: "\\" > | < SVIDENTIFIER: "#" > | @@ -1390,8 +1391,9 @@ TOKEN : | < RBRACKET: "]" > | < SEMICOLON: ";" > | < COMMA: "," > -| < DOT: "." > +| < DOTDOT: ".."> | < ELLIPSIS: "..." > +| < DOT: "." > | < AT: "@" > | < DOUBLECOLON: "::" > } @@ -3522,7 +3524,7 @@ String Identifier(): } { ( - | | | | + | | | | // TODO: Explain why these keywords are explicitly flagged up as "included", and why they're not already covered by {@code }. // TODO: Explain how / where boolean and null literals are excluded. // Make sure the module info keywords don't interfere with normal Java parsing by matching them as normal identifiers. @@ -7912,7 +7914,7 @@ Expression KeyIndexRange() : } { result = Expression() - [ ".." end = Expression() + [ end = Expression() { result = new KeyRangeExpression(range(result, token()), result, end); } ] { return result; } } From dd3c446dc79f73c0a71a18dc42152e83a0419e07 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Tue, 3 Feb 2026 23:28:00 +0100 Subject: [PATCH 3/4] JmlDoc#getContent to String from JavaToken --- .../java/com/github/javaparser/JavaToken.java | 819 +++++++++--------- .../github/javaparser/ast/jml/doc/JmlDoc.java | 17 +- .../chunks/ModifierValidator.java | 32 +- .../javaparser/jml/JmlDocSanitizer.java | 2 +- .../metamodel/JavaParserMetaModel.java | 9 +- .../printer/ConcreteSyntaxModel.java | 7 +- .../printer/DefaultPrettyPrinterVisitor.java | 2 +- .../printer/PrettyPrintVisitor.java | 2 +- 8 files changed, 445 insertions(+), 445 deletions(-) diff --git a/javaparser-core/src/main/java/com/github/javaparser/JavaToken.java b/javaparser-core/src/main/java/com/github/javaparser/JavaToken.java index 6649f4fc44..04ddc6f58e 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/JavaToken.java +++ b/javaparser-core/src/main/java/com/github/javaparser/JavaToken.java @@ -451,213 +451,212 @@ public enum Kind { WORKING_SPACE(185), WORKING_SPACE_REDUNDANTLY(186), WRITABLE(187), - DOTDOT(188), - JML_LINE_COMMENT(189), - SINGLE_LINE_COMMENT(190), - JML_ENTER_MULTILINE_COMMENT(191), - ENTER_JAVADOC_COMMENT(192), - ENTER_JML_BLOCK_COMMENT(193), - ENTER_MULTILINE_COMMENT(194), - JML_BLOCK_COMMENT(195), - JAVADOC_COMMENT(196), - MULTI_LINE_COMMENT(197), - JML_MULTI_LINE_COMMENT(198), - COMMENT_CONTENT(199), - ABSTRACT(200), - ASSERT(201), - BOOLEAN(202), - BREAK(203), - BYTE(204), - CASE(205), - CATCH(206), - CHAR(207), - CLASS(208), - CONST(209), - CONTINUE(210), - _DEFAULT(211), - DO(212), - DOUBLE(213), - ELSE(214), - ENUM(215), - EXTENDS(216), - FALSE(217), - FINAL(218), - FINALLY(219), - FLOAT(220), - FOR(221), - GOTO(222), - IF(223), - IMPLEMENTS(224), - IMPORT(225), - INSTANCEOF(226), - INT(227), - INTERFACE(228), - LONG(229), - NATIVE(230), - NEW(231), - NON_SEALED(232), - NULL(233), - PACKAGE(234), - PERMITS(235), - PRIVATE(236), - PROTECTED(237), - PUBLIC(238), - RECORD(239), - RETURN(240), - SEALED(241), - SHORT(242), - STATIC(243), - STRICTFP(244), - SUPER(245), - SWITCH(246), - SYNCHRONIZED(247), - THIS(248), - THROW(249), - THROWS(250), - TRANSIENT(251), - TRUE(252), - TRY(253), - VOID(254), - VOLATILE(255), - WHILE(256), - YIELD(257), - REQUIRES(258), - TO(259), - WITH(260), - OPEN(261), - OPENS(262), - USES(263), - MODULE(264), - EXPORTS(265), - PROVIDES(266), - TRANSITIVE(267), - WHEN(268), - SOURCE(269), - TRANSACTIONBEGIN(270), - TRANSACTIONCOMMIT(271), - TRANSACTIONFINISH(272), - TRANSACTIONABORT(273), - RETURNTYPE(274), - LOOPSCOPE(275), - MERGE_POINT(276), - METHODFRAME(277), - EXEC(278), - CONTINUETYPE(279), - CCATCH(280), - CCAT(281), - BREAKTYPE(282), - TYPEOF(283), - SWITCHTOIF(284), - UNPACK(285), - REATTACHLOOPINVARIANT(286), - FORINITUNFOLDTRANSFORMER(287), - LOOPSCOPEINVARIANTTRANSFORMER(288), - SETSV(289), - ISSTATIC(290), - EVALARGS(291), - REPLACEARGS(292), - UNWINDLOOP(293), - CATCHALL(294), - COMMIT(295), - FINISH(296), - ABORT(297), - UNWIND_LOOP_BOUNDED(298), - FORTOWHILE(299), - DOBREAK(300), - METHODCALL(301), - EXPANDMETHODBODY(302), - CONSTRUCTORCALL(303), - SPECIALCONSTRUCTORECALL(304), - POSTWORK(305), - STATICINITIALIZATION(306), - RESOLVE_MULTIPLE_VAR_DECL(307), - ARRAY_POST_DECL(308), - ARRAY_INIT_CREATION(309), - ARRAY_INIT_CREATION_TRANSIENT(310), - ARRAY_INIT_CREATION_ASSIGNMENTS(311), - ENHANCEDFOR_ELIM(312), - STATIC_EVALUATE(313), - CREATE_OBJECT(314), - LENGTHREF(315), - RESULTARROW(316), - LONG_LITERAL(317), - INTEGER_LITERAL(318), - DECIMAL_LITERAL(319), - HEX_LITERAL(320), - OCTAL_LITERAL(321), - BINARY_LITERAL(322), - FLOATING_POINT_LITERAL(323), - DECIMAL_FLOATING_POINT_LITERAL(324), - DECIMAL_EXPONENT(325), - HEXADECIMAL_FLOATING_POINT_LITERAL(326), - HEXADECIMAL_EXPONENT(327), - HEX_DIGITS(328), - UNICODE_ESCAPE(329), - CHARACTER_LITERAL(330), - STRING_LITERAL(331), - ENTER_TEXT_BLOCK(332), - TEXT_BLOCK_LITERAL(333), - TEXT_BLOCK_CONTENT(334), + JML_LINE_COMMENT(188), + SINGLE_LINE_COMMENT(189), + JML_ENTER_MULTILINE_COMMENT(190), + ENTER_JAVADOC_COMMENT(191), + ENTER_JML_BLOCK_COMMENT(192), + ENTER_MULTILINE_COMMENT(193), + JML_BLOCK_COMMENT(194), + JAVADOC_COMMENT(195), + MULTI_LINE_COMMENT(196), + JML_MULTI_LINE_COMMENT(197), + COMMENT_CONTENT(198), + ABSTRACT(199), + ASSERT(200), + BOOLEAN(201), + BREAK(202), + BYTE(203), + CASE(204), + CATCH(205), + CHAR(206), + CLASS(207), + CONST(208), + CONTINUE(209), + _DEFAULT(210), + DO(211), + DOUBLE(212), + ELSE(213), + ENUM(214), + EXTENDS(215), + FALSE(216), + FINAL(217), + FINALLY(218), + FLOAT(219), + FOR(220), + GOTO(221), + IF(222), + IMPLEMENTS(223), + IMPORT(224), + INSTANCEOF(225), + INT(226), + INTERFACE(227), + LONG(228), + NATIVE(229), + NEW(230), + NON_SEALED(231), + NULL(232), + PACKAGE(233), + PERMITS(234), + PRIVATE(235), + PROTECTED(236), + PUBLIC(237), + RECORD(238), + RETURN(239), + SEALED(240), + SHORT(241), + STATIC(242), + STRICTFP(243), + SUPER(244), + SWITCH(245), + SYNCHRONIZED(246), + THIS(247), + THROW(248), + THROWS(249), + TRANSIENT(250), + TRUE(251), + TRY(252), + VOID(253), + VOLATILE(254), + WHILE(255), + YIELD(256), + REQUIRES(257), + TO(258), + WITH(259), + OPEN(260), + OPENS(261), + USES(262), + MODULE(263), + EXPORTS(264), + PROVIDES(265), + TRANSITIVE(266), + WHEN(267), + SOURCE(268), + TRANSACTIONBEGIN(269), + TRANSACTIONCOMMIT(270), + TRANSACTIONFINISH(271), + TRANSACTIONABORT(272), + RETURNTYPE(273), + LOOPSCOPE(274), + MERGE_POINT(275), + METHODFRAME(276), + EXEC(277), + CONTINUETYPE(278), + CCATCH(279), + CCAT(280), + BREAKTYPE(281), + TYPEOF(282), + SWITCHTOIF(283), + UNPACK(284), + REATTACHLOOPINVARIANT(285), + FORINITUNFOLDTRANSFORMER(286), + LOOPSCOPEINVARIANTTRANSFORMER(287), + SETSV(288), + ISSTATIC(289), + EVALARGS(290), + REPLACEARGS(291), + UNWINDLOOP(292), + CATCHALL(293), + COMMIT(294), + FINISH(295), + ABORT(296), + UNWIND_LOOP_BOUNDED(297), + FORTOWHILE(298), + DOBREAK(299), + METHODCALL(300), + EXPANDMETHODBODY(301), + CONSTRUCTORCALL(302), + SPECIALCONSTRUCTORECALL(303), + POSTWORK(304), + STATICINITIALIZATION(305), + RESOLVE_MULTIPLE_VAR_DECL(306), + ARRAY_POST_DECL(307), + ARRAY_INIT_CREATION(308), + ARRAY_INIT_CREATION_TRANSIENT(309), + ARRAY_INIT_CREATION_ASSIGNMENTS(310), + ENHANCEDFOR_ELIM(311), + STATIC_EVALUATE(312), + CREATE_OBJECT(313), + LENGTHREF(314), + RESULTARROW(315), + LONG_LITERAL(316), + INTEGER_LITERAL(317), + DECIMAL_LITERAL(318), + HEX_LITERAL(319), + OCTAL_LITERAL(320), + BINARY_LITERAL(321), + FLOATING_POINT_LITERAL(322), + DECIMAL_FLOATING_POINT_LITERAL(323), + DECIMAL_EXPONENT(324), + HEXADECIMAL_FLOATING_POINT_LITERAL(325), + HEXADECIMAL_EXPONENT(326), + HEX_DIGITS(327), + UNICODE_ESCAPE(328), + CHARACTER_LITERAL(329), + STRING_LITERAL(330), + ENTER_TEXT_BLOCK(331), + TEXT_BLOCK_LITERAL(332), + TEXT_BLOCK_CONTENT(333), + IDENTIFIER(334), JML_IDENTIFIER(335), - IDENTIFIER(336), - JMLIDENTIFIER(337), - SVIDENTIFIER(338), - KEYIDENTIFIER(339), - NON_UNDERSCORE_LETTER(340), - PART_LETTER(341), - LPAREN(342), - RPAREN(343), - LBRACE(344), - RBRACE(345), - LBRACKET(346), - RBRACKET(347), - SEMICOLON(348), - COMMA(349), + SVIDENTIFIER(336), + KEYIDENTIFIER(337), + NON_UNDERSCORE_LETTER(338), + PART_LETTER(339), + LPAREN(340), + RPAREN(341), + LBRACE(342), + RBRACE(343), + LBRACKET(344), + RBRACKET(345), + SEMICOLON(346), + COMMA(347), + DOTDOT(348), + ELLIPSIS(349), DOT(350), - ELLIPSIS(351), - AT(352), - DOUBLECOLON(353), - ASSIGN(354), - LT(355), - BANG(356), - TILDE(357), - HOOK(358), - COLON(359), - ARROW(360), - EQ(361), - GE(362), - LE(363), - NE(364), - SC_AND(365), - SC_OR(366), - INCR(367), - DECR(368), - PLUS(369), - MINUS(370), - STAR(371), - SLASH(372), - BIT_AND(373), - BIT_OR(374), - XOR(375), - REM(376), - LSHIFT(377), - SHARP(378), - PLUSASSIGN(379), - MINUSASSIGN(380), - STARASSIGN(381), - SLASHASSIGN(382), - ANDASSIGN(383), - ORASSIGN(384), - XORASSIGN(385), - REMASSIGN(386), - LSHIFTASSIGN(387), - RSIGNEDSHIFTASSIGN(388), - RUNSIGNEDSHIFTASSIGN(389), - RUNSIGNEDSHIFT(390), - RSIGNEDSHIFT(391), - GT(392), - CTRL_Z(393), - UNNAMED_PLACEHOLDER(394); + AT(351), + DOUBLECOLON(352), + ASSIGN(353), + LT(354), + BANG(355), + TILDE(356), + HOOK(357), + COLON(358), + ARROW(359), + EQ(360), + GE(361), + LE(362), + NE(363), + SC_AND(364), + SC_OR(365), + INCR(366), + DECR(367), + PLUS(368), + MINUS(369), + STAR(370), + SLASH(371), + BIT_AND(372), + BIT_OR(373), + XOR(374), + REM(375), + LSHIFT(376), + SHARP(377), + PLUSASSIGN(378), + MINUSASSIGN(379), + STARASSIGN(380), + SLASHASSIGN(381), + ANDASSIGN(382), + ORASSIGN(383), + XORASSIGN(384), + REMASSIGN(385), + LSHIFTASSIGN(386), + RSIGNEDSHIFTASSIGN(387), + RUNSIGNEDSHIFTASSIGN(388), + RUNSIGNEDSHIFT(389), + RSIGNEDSHIFT(390), + GT(391), + CTRL_Z(392), + UNNAMED_PLACEHOLDER(393); private final int kind; @@ -667,420 +666,418 @@ public enum Kind { public static Kind valueOf(int kind) { switch (kind) { - case 394: - return UNNAMED_PLACEHOLDER; case 393: - return CTRL_Z; + return UNNAMED_PLACEHOLDER; case 392: - return GT; + return CTRL_Z; case 391: - return RSIGNEDSHIFT; + return GT; case 390: - return RUNSIGNEDSHIFT; + return RSIGNEDSHIFT; case 389: - return RUNSIGNEDSHIFTASSIGN; + return RUNSIGNEDSHIFT; case 388: - return RSIGNEDSHIFTASSIGN; + return RUNSIGNEDSHIFTASSIGN; case 387: - return LSHIFTASSIGN; + return RSIGNEDSHIFTASSIGN; case 386: - return REMASSIGN; + return LSHIFTASSIGN; case 385: - return XORASSIGN; + return REMASSIGN; case 384: - return ORASSIGN; + return XORASSIGN; case 383: - return ANDASSIGN; + return ORASSIGN; case 382: - return SLASHASSIGN; + return ANDASSIGN; case 381: - return STARASSIGN; + return SLASHASSIGN; case 380: - return MINUSASSIGN; + return STARASSIGN; case 379: - return PLUSASSIGN; + return MINUSASSIGN; case 378: - return SHARP; + return PLUSASSIGN; case 377: - return LSHIFT; + return SHARP; case 376: - return REM; + return LSHIFT; case 375: - return XOR; + return REM; case 374: - return BIT_OR; + return XOR; case 373: - return BIT_AND; + return BIT_OR; case 372: - return SLASH; + return BIT_AND; case 371: - return STAR; + return SLASH; case 370: - return MINUS; + return STAR; case 369: - return PLUS; + return MINUS; case 368: - return DECR; + return PLUS; case 367: - return INCR; + return DECR; case 366: - return SC_OR; + return INCR; case 365: - return SC_AND; + return SC_OR; case 364: - return NE; + return SC_AND; case 363: - return LE; + return NE; case 362: - return GE; + return LE; case 361: - return EQ; + return GE; case 360: - return ARROW; + return EQ; case 359: - return COLON; + return ARROW; case 358: - return HOOK; + return COLON; case 357: - return TILDE; + return HOOK; case 356: - return BANG; + return TILDE; case 355: - return LT; + return BANG; case 354: - return ASSIGN; + return LT; case 353: - return DOUBLECOLON; + return ASSIGN; case 352: - return AT; + return DOUBLECOLON; case 351: - return ELLIPSIS; + return AT; case 350: return DOT; case 349: - return COMMA; + return ELLIPSIS; case 348: - return SEMICOLON; + return DOTDOT; case 347: - return RBRACKET; + return COMMA; case 346: - return LBRACKET; + return SEMICOLON; case 345: - return RBRACE; + return RBRACKET; case 344: - return LBRACE; + return LBRACKET; case 343: - return RPAREN; + return RBRACE; case 342: - return LPAREN; + return LBRACE; case 341: - return PART_LETTER; + return RPAREN; case 340: - return NON_UNDERSCORE_LETTER; + return LPAREN; case 339: - return KEYIDENTIFIER; + return PART_LETTER; case 338: - return SVIDENTIFIER; + return NON_UNDERSCORE_LETTER; case 337: - return JMLIDENTIFIER; + return KEYIDENTIFIER; case 336: - return IDENTIFIER; + return SVIDENTIFIER; case 335: return JML_IDENTIFIER; case 334: - return TEXT_BLOCK_CONTENT; + return IDENTIFIER; case 333: - return TEXT_BLOCK_LITERAL; + return TEXT_BLOCK_CONTENT; case 332: - return ENTER_TEXT_BLOCK; + return TEXT_BLOCK_LITERAL; case 331: - return STRING_LITERAL; + return ENTER_TEXT_BLOCK; case 330: - return CHARACTER_LITERAL; + return STRING_LITERAL; case 329: - return UNICODE_ESCAPE; + return CHARACTER_LITERAL; case 328: - return HEX_DIGITS; + return UNICODE_ESCAPE; case 327: - return HEXADECIMAL_EXPONENT; + return HEX_DIGITS; case 326: - return HEXADECIMAL_FLOATING_POINT_LITERAL; + return HEXADECIMAL_EXPONENT; case 325: - return DECIMAL_EXPONENT; + return HEXADECIMAL_FLOATING_POINT_LITERAL; case 324: - return DECIMAL_FLOATING_POINT_LITERAL; + return DECIMAL_EXPONENT; case 323: - return FLOATING_POINT_LITERAL; + return DECIMAL_FLOATING_POINT_LITERAL; case 322: - return BINARY_LITERAL; + return FLOATING_POINT_LITERAL; case 321: - return OCTAL_LITERAL; + return BINARY_LITERAL; case 320: - return HEX_LITERAL; + return OCTAL_LITERAL; case 319: - return DECIMAL_LITERAL; + return HEX_LITERAL; case 318: - return INTEGER_LITERAL; + return DECIMAL_LITERAL; case 317: - return LONG_LITERAL; + return INTEGER_LITERAL; case 316: - return RESULTARROW; + return LONG_LITERAL; case 315: - return LENGTHREF; + return RESULTARROW; case 314: - return CREATE_OBJECT; + return LENGTHREF; case 313: - return STATIC_EVALUATE; + return CREATE_OBJECT; case 312: - return ENHANCEDFOR_ELIM; + return STATIC_EVALUATE; case 311: - return ARRAY_INIT_CREATION_ASSIGNMENTS; + return ENHANCEDFOR_ELIM; case 310: - return ARRAY_INIT_CREATION_TRANSIENT; + return ARRAY_INIT_CREATION_ASSIGNMENTS; case 309: - return ARRAY_INIT_CREATION; + return ARRAY_INIT_CREATION_TRANSIENT; case 308: - return ARRAY_POST_DECL; + return ARRAY_INIT_CREATION; case 307: - return RESOLVE_MULTIPLE_VAR_DECL; + return ARRAY_POST_DECL; case 306: - return STATICINITIALIZATION; + return RESOLVE_MULTIPLE_VAR_DECL; case 305: - return POSTWORK; + return STATICINITIALIZATION; case 304: - return SPECIALCONSTRUCTORECALL; + return POSTWORK; case 303: - return CONSTRUCTORCALL; + return SPECIALCONSTRUCTORECALL; case 302: - return EXPANDMETHODBODY; + return CONSTRUCTORCALL; case 301: - return METHODCALL; + return EXPANDMETHODBODY; case 300: - return DOBREAK; + return METHODCALL; case 299: - return FORTOWHILE; + return DOBREAK; case 298: - return UNWIND_LOOP_BOUNDED; + return FORTOWHILE; case 297: - return ABORT; + return UNWIND_LOOP_BOUNDED; case 296: - return FINISH; + return ABORT; case 295: - return COMMIT; + return FINISH; case 294: - return CATCHALL; + return COMMIT; case 293: - return UNWINDLOOP; + return CATCHALL; case 292: - return REPLACEARGS; + return UNWINDLOOP; case 291: - return EVALARGS; + return REPLACEARGS; case 290: - return ISSTATIC; + return EVALARGS; case 289: - return SETSV; + return ISSTATIC; case 288: - return LOOPSCOPEINVARIANTTRANSFORMER; + return SETSV; case 287: - return FORINITUNFOLDTRANSFORMER; + return LOOPSCOPEINVARIANTTRANSFORMER; case 286: - return REATTACHLOOPINVARIANT; + return FORINITUNFOLDTRANSFORMER; case 285: - return UNPACK; + return REATTACHLOOPINVARIANT; case 284: - return SWITCHTOIF; + return UNPACK; case 283: - return TYPEOF; + return SWITCHTOIF; case 282: - return BREAKTYPE; + return TYPEOF; case 281: - return CCAT; + return BREAKTYPE; case 280: - return CCATCH; + return CCAT; case 279: - return CONTINUETYPE; + return CCATCH; case 278: - return EXEC; + return CONTINUETYPE; case 277: - return METHODFRAME; + return EXEC; case 276: - return MERGE_POINT; + return METHODFRAME; case 275: - return LOOPSCOPE; + return MERGE_POINT; case 274: - return RETURNTYPE; + return LOOPSCOPE; case 273: - return TRANSACTIONABORT; + return RETURNTYPE; case 272: - return TRANSACTIONFINISH; + return TRANSACTIONABORT; case 271: - return TRANSACTIONCOMMIT; + return TRANSACTIONFINISH; case 270: - return TRANSACTIONBEGIN; + return TRANSACTIONCOMMIT; case 269: - return SOURCE; + return TRANSACTIONBEGIN; case 268: - return WHEN; + return SOURCE; case 267: - return TRANSITIVE; + return WHEN; case 266: - return PROVIDES; + return TRANSITIVE; case 265: - return EXPORTS; + return PROVIDES; case 264: - return MODULE; + return EXPORTS; case 263: - return USES; + return MODULE; case 262: - return OPENS; + return USES; case 261: - return OPEN; + return OPENS; case 260: - return WITH; + return OPEN; case 259: - return TO; + return WITH; case 258: - return REQUIRES; + return TO; case 257: - return YIELD; + return REQUIRES; case 256: - return WHILE; + return YIELD; case 255: - return VOLATILE; + return WHILE; case 254: - return VOID; + return VOLATILE; case 253: - return TRY; + return VOID; case 252: - return TRUE; + return TRY; case 251: - return TRANSIENT; + return TRUE; case 250: - return THROWS; + return TRANSIENT; case 249: - return THROW; + return THROWS; case 248: - return THIS; + return THROW; case 247: - return SYNCHRONIZED; + return THIS; case 246: - return SWITCH; + return SYNCHRONIZED; case 245: - return SUPER; + return SWITCH; case 244: - return STRICTFP; + return SUPER; case 243: - return STATIC; + return STRICTFP; case 242: - return SHORT; + return STATIC; case 241: - return SEALED; + return SHORT; case 240: - return RETURN; + return SEALED; case 239: - return RECORD; + return RETURN; case 238: - return PUBLIC; + return RECORD; case 237: - return PROTECTED; + return PUBLIC; case 236: - return PRIVATE; + return PROTECTED; case 235: - return PERMITS; + return PRIVATE; case 234: - return PACKAGE; + return PERMITS; case 233: - return NULL; + return PACKAGE; case 232: - return NON_SEALED; + return NULL; case 231: - return NEW; + return NON_SEALED; case 230: - return NATIVE; + return NEW; case 229: - return LONG; + return NATIVE; case 228: - return INTERFACE; + return LONG; case 227: - return INT; + return INTERFACE; case 226: - return INSTANCEOF; + return INT; case 225: - return IMPORT; + return INSTANCEOF; case 224: - return IMPLEMENTS; + return IMPORT; case 223: - return IF; + return IMPLEMENTS; case 222: - return GOTO; + return IF; case 221: - return FOR; + return GOTO; case 220: - return FLOAT; + return FOR; case 219: - return FINALLY; + return FLOAT; case 218: - return FINAL; + return FINALLY; case 217: - return FALSE; + return FINAL; case 216: - return EXTENDS; + return FALSE; case 215: - return ENUM; + return EXTENDS; case 214: - return ELSE; + return ENUM; case 213: - return DOUBLE; + return ELSE; case 212: - return DO; + return DOUBLE; case 211: - return _DEFAULT; + return DO; case 210: - return CONTINUE; + return _DEFAULT; case 209: - return CONST; + return CONTINUE; case 208: - return CLASS; + return CONST; case 207: - return CHAR; + return CLASS; case 206: - return CATCH; + return CHAR; case 205: - return CASE; + return CATCH; case 204: - return BYTE; + return CASE; case 203: - return BREAK; + return BYTE; case 202: - return BOOLEAN; + return BREAK; case 201: - return ASSERT; + return BOOLEAN; case 200: - return ABSTRACT; + return ASSERT; case 199: - return COMMENT_CONTENT; + return ABSTRACT; case 198: - return JML_MULTI_LINE_COMMENT; + return COMMENT_CONTENT; case 197: - return MULTI_LINE_COMMENT; + return JML_MULTI_LINE_COMMENT; case 196: - return JAVADOC_COMMENT; + return MULTI_LINE_COMMENT; case 195: - return JML_BLOCK_COMMENT; + return JAVADOC_COMMENT; case 194: - return ENTER_MULTILINE_COMMENT; + return JML_BLOCK_COMMENT; case 193: - return ENTER_JML_BLOCK_COMMENT; + return ENTER_MULTILINE_COMMENT; case 192: - return ENTER_JAVADOC_COMMENT; + return ENTER_JML_BLOCK_COMMENT; case 191: - return JML_ENTER_MULTILINE_COMMENT; + return ENTER_JAVADOC_COMMENT; case 190: - return SINGLE_LINE_COMMENT; + return JML_ENTER_MULTILINE_COMMENT; case 189: - return JML_LINE_COMMENT; + return SINGLE_LINE_COMMENT; case 188: - return DOTDOT; + return JML_LINE_COMMENT; case 187: return WRITABLE; case 186: diff --git a/javaparser-core/src/main/java/com/github/javaparser/ast/jml/doc/JmlDoc.java b/javaparser-core/src/main/java/com/github/javaparser/ast/jml/doc/JmlDoc.java index 051ac4c28e..6c46541454 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/ast/jml/doc/JmlDoc.java +++ b/javaparser-core/src/main/java/com/github/javaparser/ast/jml/doc/JmlDoc.java @@ -2,6 +2,7 @@ import static com.github.javaparser.utils.Utils.assertNotNull; +import com.github.javaparser.GeneratedJavaParserConstants; import com.github.javaparser.JavaToken; import com.github.javaparser.TokenRange; import com.github.javaparser.ast.AllFieldsConstructor; @@ -21,6 +22,7 @@ * @version 1 (11/23/21) */ public class JmlDoc extends Node { + private String content; public JmlDoc(JavaToken content) { @@ -49,14 +51,14 @@ public void accept(final VoidVisitor v, final A arg) { } @Generated("com.github.javaparser.generator.core.node.PropertyGenerator") - public JavaToken getContent() { - return new JavaToken(0, content); + public String getContent() { + return content; } @Generated("com.github.javaparser.generator.core.node.PropertyGenerator") public JmlDoc setContent(final @NonNull() String content) { assertNotNull(content); - if (content == this.content) { + if (content.equals(this.content)) { return this; } notifyPropertyChange(ObservableProperty.CONTENT, this.content, content); @@ -95,4 +97,13 @@ public JmlDoc(TokenRange tokenRange, JavaToken content) { public @NonNull() String content() { return Objects.requireNonNull(content); } + + public JavaToken constructToken() { + final var tokenRange = getTokenRange(); + if (tokenRange.isPresent()) { + assert (tokenRange.get().getBegin() == tokenRange.get().getEnd()); + return tokenRange.get().getBegin(); + } + return new JavaToken(GeneratedJavaParserConstants.JML_BLOCK_COMMENT, getContent()); + } } diff --git a/javaparser-core/src/main/java/com/github/javaparser/ast/validator/language_level_validations/chunks/ModifierValidator.java b/javaparser-core/src/main/java/com/github/javaparser/ast/validator/language_level_validations/chunks/ModifierValidator.java index 50f473a36e..0c87658266 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/ast/validator/language_level_validations/chunks/ModifierValidator.java +++ b/javaparser-core/src/main/java/com/github/javaparser/ast/validator/language_level_validations/chunks/ModifierValidator.java @@ -48,9 +48,9 @@ public class ModifierValidator extends VisitorValidator { PROTECTED, ABSTRACT, FINAL, - SYNCHRONIZED, + SYNCHRONIZED, // JML NATIVE, - STRICTFP, // JML + STRICTFP, JML_PURE, JML_STRICTLY_PURE, JML_NULLABLE, @@ -73,9 +73,9 @@ public class ModifierValidator extends VisitorValidator { STATIC, FINAL, SYNCHRONIZED, - NATIVE, + NATIVE, // JML STRICTFP, - DEFAULT, // JML + DEFAULT, JML_PURE, JML_STRICTLY_PURE, JML_NULLABLE, @@ -99,9 +99,9 @@ public class ModifierValidator extends VisitorValidator { STATIC, FINAL, SYNCHRONIZED, - NATIVE, + NATIVE, // JML STRICTFP, - DEFAULT, // JML + DEFAULT, JML_PURE, JML_STRICTLY_PURE, JML_NULLABLE, @@ -148,9 +148,9 @@ private void validateClassModifiers(ClassOrInterfaceDeclaration n, ProblemReport PUBLIC, ABSTRACT, FINAL, - STRICTFP, + STRICTFP, // JML SEALED, - NON_SEALED, // JML + NON_SEALED, JML_PURE, JML_STRICTLY_PURE, JML_NULLABLE, @@ -174,9 +174,9 @@ private void validateClassModifiers(ClassOrInterfaceDeclaration n, ProblemReport ABSTRACT, STATIC, FINAL, - STRICTFP, + STRICTFP, // JML SEALED, - NON_SEALED, // JML + NON_SEALED, JML_PURE, JML_STRICTLY_PURE, JML_NULLABLE, @@ -196,9 +196,9 @@ private void validateClassModifiers(ClassOrInterfaceDeclaration n, ProblemReport reporter, ABSTRACT, FINAL, - STRICTFP, + STRICTFP, // JML SEALED, - NON_SEALED, // JML + NON_SEALED, JML_PURE, JML_STRICTLY_PURE, JML_NULLABLE, @@ -250,9 +250,9 @@ public void visit(ConstructorDeclaration n, ProblemReporter reporter) { validateModifiers( n, reporter, - PUBLIC, + PUBLIC, // JML PROTECTED, - PRIVATE, // JML + PRIVATE, JML_PURE, JML_STRICTLY_PURE, JML_NULLABLE, @@ -360,9 +360,9 @@ public void visit(MethodDeclaration n, ProblemReporter reporter) { ABSTRACT, STATIC, FINAL, - SYNCHRONIZED, + SYNCHRONIZED, // JML NATIVE, - STRICTFP, // JML + STRICTFP, JML_PURE, JML_STRICTLY_PURE, JML_NULLABLE, diff --git a/javaparser-core/src/main/java/com/github/javaparser/jml/JmlDocSanitizer.java b/javaparser-core/src/main/java/com/github/javaparser/jml/JmlDocSanitizer.java index 6dce907689..6270496ef3 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/jml/JmlDocSanitizer.java +++ b/javaparser-core/src/main/java/com/github/javaparser/jml/JmlDocSanitizer.java @@ -54,7 +54,7 @@ public String asString(Collection jmlDocs, boolean emulateGlobalPosition) } public String asString(NodeList jmlDocs, boolean emulateGlobalPosition) { - return asStringJT(jmlDocs.stream().map(JmlDoc::getContent).toList(), emulateGlobalPosition); + return asStringJT(jmlDocs.stream().map(JmlDoc::constructToken).toList(), emulateGlobalPosition); } public String toSanitizedString(StringBuilder s) { diff --git a/javaparser-core/src/main/java/com/github/javaparser/metamodel/JavaParserMetaModel.java b/javaparser-core/src/main/java/com/github/javaparser/metamodel/JavaParserMetaModel.java index 55bc7e1471..b14c4e0117 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/metamodel/JavaParserMetaModel.java +++ b/javaparser-core/src/main/java/com/github/javaparser/metamodel/JavaParserMetaModel.java @@ -2637,14 +2637,7 @@ private static void initializePropertyMetaModels() { .getDerivedPropertyMetaModels() .add(variableDeclarationExprMetaModel.maximumCommonTypePropertyMetaModel); jmlDocMetaModel.contentPropertyMetaModel = new PropertyMetaModel( - jmlDocMetaModel, - "content", - com.github.javaparser.JavaToken.class, - Optional.empty(), - false, - false, - false, - false); + jmlDocMetaModel, "content", java.lang.String.class, Optional.empty(), false, false, false, false); jmlDocMetaModel.getDeclaredPropertyMetaModels().add(jmlDocMetaModel.contentPropertyMetaModel); jmlDocDeclarationMetaModel.jmlCommentsPropertyMetaModel = new PropertyMetaModel( jmlDocDeclarationMetaModel, diff --git a/javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java b/javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java index c0c050e1f1..c99f19333f 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java +++ b/javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java @@ -1272,10 +1272,9 @@ SCOPE, IS_PRESENT, sequence(child(SCOPE), string(GeneratedJavaParserConstants.DO newline())); concreteSyntaxModelByClass.put( JmlCallableClause.class, - sequence( - child(MODIFIERS), - token(CALLABLE), // space(), - // child(EXPRESSION), + sequence( // space(), + child(MODIFIERS), // child(EXPRESSION), + token(CALLABLE), semicolon())); concreteSyntaxModelByClass.put( JmlClassExprDeclaration.class, diff --git a/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java b/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java index f630063ac7..9d1f2f83fb 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java +++ b/javaparser-core/src/main/java/com/github/javaparser/printer/DefaultPrettyPrinterVisitor.java @@ -1233,7 +1233,7 @@ public void visit(JmlDocStmt n, Void arg) { @Override public void visit(JmlDoc n, Void arg) { - printer.print(n.getContent().asString()); + wrapInJmlIfNeeded(() -> printer.print(n.getContent())); } @Override diff --git a/javaparser-core/src/main/java/com/github/javaparser/printer/PrettyPrintVisitor.java b/javaparser-core/src/main/java/com/github/javaparser/printer/PrettyPrintVisitor.java index 0a31dc4d96..4c6317b684 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/printer/PrettyPrintVisitor.java +++ b/javaparser-core/src/main/java/com/github/javaparser/printer/PrettyPrintVisitor.java @@ -2303,7 +2303,7 @@ public void visit(JmlDocStmt n, Void arg) { @Override public void visit(JmlDoc n, Void arg) { - printer.print(n.getContent().asString()); + printer.print(n.getContent()); } @Override From 9ccbf7e35534216fedf9182edc00086cc5b4d0b6 Mon Sep 17 00:00:00 2001 From: Alexander Weigl Date: Tue, 3 Feb 2026 23:43:07 +0100 Subject: [PATCH 4/4] entries for CSM --- .../ast/jml/expr/JmlSetComprehensionExpr.java | 18 ++-- .../printer/ConcreteSyntaxModel.java | 87 +++++++++++-------- 2 files changed, 61 insertions(+), 44 deletions(-) diff --git a/javaparser-core/src/main/java/com/github/javaparser/ast/jml/expr/JmlSetComprehensionExpr.java b/javaparser-core/src/main/java/com/github/javaparser/ast/jml/expr/JmlSetComprehensionExpr.java index 9eb3949bff..a020295dd1 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/ast/jml/expr/JmlSetComprehensionExpr.java +++ b/javaparser-core/src/main/java/com/github/javaparser/ast/jml/expr/JmlSetComprehensionExpr.java @@ -20,16 +20,14 @@ import java.util.function.Consumer; import org.jspecify.annotations.NonNull; -/** - * 12.5 Set Comprehensions - * https://www.cs.ucf.edu/~leavens/JML/jmlrefman/jmlrefman_12.html#SEC160 - *

- * new JMLObjectSet {Integer i | myIntSet.has(i) && - * i != null && 0 <= i.intValue() && i.intValue() <= 10 } - * - * @author Alexander Weigl - * @version 1 (3/20/21) - */ +/// [12.5 Set Comprehensions](https://www.cs.ucf.edu/~leavens/JML/jmlrefman/jmlrefman_12.html#SEC160) +/// +/// ```java +/// new JMLObjectSet {Integer i | myIntSet.has(i) && +/// i != null && 0 <= i.intValue() && i.intValue() <= 10 } +/// ``` +/// @author Alexander Weigl +/// @version 1 (3/20/21) public class JmlSetComprehensionExpr extends Expression implements Jmlish { private VariableDeclarator binding; diff --git a/javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java b/javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java index c99f19333f..0dc00411c2 100644 --- a/javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java +++ b/javaparser-core/src/main/java/com/github/javaparser/printer/ConcreteSyntaxModel.java @@ -48,6 +48,7 @@ import com.github.javaparser.printer.concretesyntaxmodel.CsmConditional; import com.github.javaparser.printer.concretesyntaxmodel.CsmElement; import com.github.javaparser.printer.concretesyntaxmodel.CsmMix; + import java.util.*; import java.util.stream.Collectors; @@ -1229,10 +1230,23 @@ SCOPE, IS_PRESENT, sequence(child(SCOPE), string(GeneratedJavaParserConstants.DO semicolon(), newline())); // region JML - concreteSyntaxModelByClass.put(JmlClauseIf.class, sequence()); - concreteSyntaxModelByClass.put(JmlLabelStmt.class, sequence()); - concreteSyntaxModelByClass.put(JmlMethodSignature.class, sequence()); - concreteSyntaxModelByClass.put(JmlSetComprehensionExpr.class, sequence()); + concreteSyntaxModelByClass.put(JmlClauseIf.class, + sequence(attribute(KIND), attribute(THEN), token(WHEN), attribute(CONDITION))); + concreteSyntaxModelByClass.put(JmlLabelStmt.class, + sequence(list(JML_TAGS), attribute(LABEL), token(COLON))); + concreteSyntaxModelByClass.put(JmlMethodSignature.class, + sequence(attribute(NAME), token(LPAREN), list(ARGUMENT_TYPES, token(COMMA)), token(RPAREN))); + concreteSyntaxModelByClass.put(JmlSetComprehensionExpr.class, sequence( + token(LBRACE), + space(), + attribute(BINDING), + space(), + token(OR), + space(), + attribute(PREDICATE), + space(), + token(RBRACE) + )); concreteSyntaxModelByClass.put( JmlForallClause.class, sequence( @@ -1270,18 +1284,23 @@ SCOPE, IS_PRESENT, sequence(child(SCOPE), string(GeneratedJavaParserConstants.DO child(EXPRESSION), semicolon(), newline())); - concreteSyntaxModelByClass.put( - JmlCallableClause.class, - sequence( // space(), - child(MODIFIERS), // child(EXPRESSION), - token(CALLABLE), - semicolon())); - concreteSyntaxModelByClass.put( - JmlClassExprDeclaration.class, - sequence(child(MODIFIERS), token(INVARIANT), space(), child(EXPRESSION), semicolon())); + concreteSyntaxModelByClass.put(JmlCallableClause.class, sequence( + child(MODIFIERS), + token(CALLABLE), + semicolon())); + concreteSyntaxModelByClass.put(JmlClassExprDeclaration.class, sequence( + child(MODIFIERS), + space(), + token(INVARIANT), + space(), + child(EXPRESSION), + semicolon())); + concreteSyntaxModelByClass.put(JmlClassAccessibleDeclaration.class, sequence()); concreteSyntaxModelByClass.put(JmlContract.class, sequence()); - concreteSyntaxModelByClass.put(JmlGhostStmt.class, sequence()); + concreteSyntaxModelByClass.put(JmlGhostStmt.class, sequence( + list(JML_TAGS), token(GHOST), attribute(STATEMENT) + )); concreteSyntaxModelByClass.put( JmlLabelExpr.class, sequence( @@ -1309,35 +1328,29 @@ SCOPE, IS_PRESENT, sequence(child(SCOPE), string(GeneratedJavaParserConstants.DO token(RPAREN))); concreteSyntaxModelByClass.put(JmlRefiningStmt.class, sequence()); concreteSyntaxModelByClass.put(JmlRepresentsDeclaration.class, sequence()); - concreteSyntaxModelByClass.put( - JmlExpressionStmt.class, sequence(child(KIND), space(), child(EXPRESSION), semicolon())); + concreteSyntaxModelByClass.put(JmlExpressionStmt.class, sequence(child(KIND), space(), child(EXPRESSION), semicolon())); concreteSyntaxModelByClass.put(JmlTypeExpr.class, sequence(child(ObservableProperty.TYPE))); - concreteSyntaxModelByClass.put( - JmlClassExprDeclaration.class, + concreteSyntaxModelByClass.put(JmlClassExprDeclaration.class, sequence(modifiers(), attribute(KIND), attribute(NAME), child(EXPR), semicolon())); concreteSyntaxModelByClass.put(JmlUnreachableStmt.class, sequence(token(UNREACHABLE), semicolon())); - concreteSyntaxModelByClass.put( - JmlBinaryInfixExpr.class, + concreteSyntaxModelByClass.put(JmlBinaryInfixExpr.class, sequence(token(LPAREN), child(LEFT), space(), child(OPERATOR), space(), child(RIGHT), token(RPAREN))); concreteSyntaxModelByClass.put(JmlDocDeclaration.class, sequence()); concreteSyntaxModelByClass.put(JmlDocModifier.class, sequence()); - concreteSyntaxModelByClass.put( - JmlOldClause.class, sequence(token(OLD), space(), child(DECLARATIONS), semicolon())); + concreteSyntaxModelByClass.put(JmlOldClause.class, sequence(token(OLD), space(), child(DECLARATIONS), semicolon())); concreteSyntaxModelByClass.put(JmlDocType.class, sequence()); concreteSyntaxModelByClass.put(JmlDoc.class, sequence()); concreteSyntaxModelByClass.put(JmlDocStmt.class, sequence()); concreteSyntaxModelByClass.put(JmlFieldDeclaration.class, sequence(child(DECL))); - concreteSyntaxModelByClass.put( - JmlSignalsClause.class, - sequence( - child(KIND), token(LPAREN), child(TYPE), child(NAME), token(RPAREN), child(EXPR), semicolon())); + concreteSyntaxModelByClass.put(JmlSignalsClause.class, + sequence(child(KIND), token(LPAREN), child(TYPE), child(NAME), token(RPAREN), child(EXPR), semicolon())); concreteSyntaxModelByClass.put(JmlEndStmt.class, token(END)); concreteSyntaxModelByClass.put(JmlBeginStmt.class, token(BEGIN)); - concreteSyntaxModelByClass.put( - JmlMethodDeclaration.class, sequence(child(CONTRACT), child(METHOD_DECLARATION))); - concreteSyntaxModelByClass.put( - JmlSignalsOnlyClause.class, sequence(token(SIGNALS_ONLY), child(TYPES), semicolon(), newline())); + concreteSyntaxModelByClass.put(JmlMethodDeclaration.class, sequence(child(CONTRACT), child(METHOD_DECLARATION))); + concreteSyntaxModelByClass.put(JmlSignalsOnlyClause.class, sequence(token(SIGNALS_ONLY), child(TYPES), semicolon(), newline())); // endregion + + // region KEY // TODO weigl maybe one day someone will complete this, but currently we do not need // the support of concrete syntax model. concreteSyntaxModelByClass.put(KeyCcatchBreak.class, sequence()); @@ -1352,9 +1365,11 @@ SCOPE, IS_PRESENT, sequence(child(SCOPE), string(GeneratedJavaParserConstants.DO concreteSyntaxModelByClass.put(KeyExecStatement.class, sequence()); concreteSyntaxModelByClass.put(KeyExecutionContext.class, sequence()); concreteSyntaxModelByClass.put(KeyExecutionContextSV.class, attribute(TEXT)); - concreteSyntaxModelByClass.put(KeyExpressionSV.class, sequence()); + concreteSyntaxModelByClass.put(KeyExpressionSV.class, attribute(TEXT)); concreteSyntaxModelByClass.put(KeyJumpLabelSV.class, attribute(TEXT)); - concreteSyntaxModelByClass.put(KeyLoopScopeBlock.class, sequence()); + concreteSyntaxModelByClass.put(KeyLoopScopeBlock.class, sequence(token(LOOPSCOPE), + token(LPAREN), attribute(INDEX_P_V), token(RPAREN), token(LBRACE), newline(), attribute(BLOCK), + newline(), token(RBRACE))); concreteSyntaxModelByClass.put(KeyMergePointStatement.class, sequence()); concreteSyntaxModelByClass.put(KeyMetaConstructExpression.class, sequence()); concreteSyntaxModelByClass.put(KeyMetaConstruct.class, sequence()); @@ -1363,12 +1378,15 @@ SCOPE, IS_PRESENT, sequence(child(SCOPE), string(GeneratedJavaParserConstants.DO concreteSyntaxModelByClass.put(KeyMethodCallStatement.class, sequence()); concreteSyntaxModelByClass.put(KeyMethodSignature.class, sequence()); concreteSyntaxModelByClass.put(KeyMethodSignatureSV.class, attribute(TEXT)); - concreteSyntaxModelByClass.put(KeyPassiveExpression.class, sequence()); + concreteSyntaxModelByClass.put(KeyPassiveExpression.class, sequence(token(AT), token(LPAREN), attribute(EXPR) ,token(RPAREN))); concreteSyntaxModelByClass.put(KeyProgramVariableSV.class, attribute(TEXT)); concreteSyntaxModelByClass.put(KeyRangeExpression.class, sequence()); concreteSyntaxModelByClass.put(KeyStatementSV.class, attribute(TEXT)); concreteSyntaxModelByClass.put(KeyTransactionStatement.class, sequence()); concreteSyntaxModelByClass.put(KeyTypeSV.class, attribute(TEXT)); + //endregion + + List unsupportedNodeClassNames = JavaParserMetaModel.getNodeMetaModels().stream() .filter(c -> !c.isAbstract() && !Comment.class.isAssignableFrom(c.getType()) @@ -1383,7 +1401,8 @@ SCOPE, IS_PRESENT, sequence(child(SCOPE), string(GeneratedJavaParserConstants.DO } } - private ConcreteSyntaxModel() {} + private ConcreteSyntaxModel() { + } public static void genericPrettyPrint(Node node, SourcePrinter printer) { forClass(node.getClass()).prettyPrint(node, printer);