Fix bug in @mock

SERG-Delft · May 8, 2024 · 3c16101 · 3c16101
1 parent 4d39350
commit 3c16101
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/andy/src/main/java/nl/tudelft/cse1110/andy/codechecker/checks/MockClass.java b/andy/src/main/java/nl/tudelft/cse1110/andy/codechecker/checks/MockClass.java
@@ -51,8 +51,8 @@ public boolean visit(FieldDeclaration fd) {
 
             // If the field is annotated with @Mock, check if it's the class we are interested in
             if (hasMockAnnotation) {
-                String className = fd.getType().toString();
-                classWasMocked = className.contains(classToBeMocked);
+                String className = fd.getType().resolveBinding().getName();
+                classWasMocked = className.equals(classToBeMocked);
             }
         }
         return super.visit(fd);