fixing test errors

Author: wadoon

javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericListVisitorAdapterTest.java

@@ -617,7 +617,7 @@ void visit_GivenConstructorDeclaration() {
         ConstructorDeclaration node = mock(ConstructorDeclaration.class);
 
         // When
-        Mockito.when(node.getBody()).thenReturn(mock(BlockStmt.class));
+        Mockito.when(node.getBody()).thenReturn(Optional.of(mock(BlockStmt.class)));
         Mockito.when(node.getModifiers()).thenReturn(mock(NodeList.class));
         Mockito.when(node.getName()).thenReturn(mock(SimpleName.class));
         Mockito.when(node.getParameters()).thenReturn(mock(NodeList.class));

javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/GenericVisitorAdapterTest.java

@@ -615,7 +615,7 @@ void visit_GivenConstructorDeclaration() {
         ConstructorDeclaration node = mock(ConstructorDeclaration.class);
 
         // When
-        Mockito.when(node.getBody()).thenReturn(mock(BlockStmt.class));
+        Mockito.when(node.getBody()).thenReturn(Optional.of(mock(BlockStmt.class)));
         Mockito.when(node.getModifiers()).thenReturn(mock(NodeList.class));
         Mockito.when(node.getName()).thenReturn(mock(SimpleName.class));
         Mockito.when(node.getParameters()).thenReturn(mock(NodeList.class));
@@ -1832,6 +1832,7 @@ 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);
 

javaparser-core-testing/src/test/java/com/github/javaparser/ast/visitor/HashCodeVisitorTest.java

@@ -281,6 +281,8 @@ void testVisitConstructorDeclaration() {
         verify(node, times(1)).getTypeParameters();
         verify(node, times(1)).getAnnotations();
         verify(node, times(1)).getComment();
+        //JML
+        verify(node, times(1)).getContracts();
     }
 
     @Test
@@ -298,6 +300,8 @@ void testVisitDoStmt() {
         verify(node, times(1)).getBody();
         verify(node, times(1)).getCondition();
         verify(node, times(1)).getComment();
+        //JML
+        verify(node, times(1)).getContracts();
     }
 
     @Test
@@ -394,6 +398,8 @@ void testVisitForEachStmt() {
         verify(node, times(1)).getIterable();
         verify(node, times(1)).getVariable();
         verify(node, times(1)).getComment();
+        //JML
+        verify(node, times(1)).getContracts();
     }
 
     @Test
@@ -491,6 +497,8 @@ void testVisitLambdaExpr() {
         verify(node, times(1)).isEnclosingParameters();
         verify(node, times(1)).getParameters();
         verify(node, times(1)).getComment();
+        //JML
+        verify(node, times(1)).getContracts();
     }
 
     @Test
@@ -567,6 +575,8 @@ void testVisitMethodDeclaration() {
         verify(node, times(1)).getTypeParameters();
         verify(node, times(1)).getAnnotations();
         verify(node, times(1)).getComment();
+        //JML
+        verify(node, times(1)).getContracts();
     }
 
     @Test

javaparser-core-testing/src/test/java/com/github/javaparser/key/KeYParsingTests.java

@@ -11,7 +11,7 @@
 public class KeYParsingTests {
     @Test
     void testGhostModifier() {
-        Statement x = StaticJavaParser.parseStatement("ghost int x;");
+        Statement x = StaticJavaParser.parseStatement("/*@ ghost */ int x;");
     }
 
     @Test

javaparser-core/src/main/java/com/github/javaparser/ast/body/ConstructorDeclaration.java

@@ -390,14 +390,4 @@ public boolean remove(Node node) {
         }
         return super.remove(node);
     }
-
-    @Override
-    public NodeList<JmlContract> getContracts() {
-        return null;
-    }
-
-    @Override
-    public ConstructorDeclaration setContracts(NodeList<JmlContract> contracts) {
-        return null;
-    }
 }