Initial version (with small improvements) (#2)

Co-authored-by: Alexander Staeding <alexanderstaeding@gmail.com>

Author: philipp-stud

build.gradle.kts

@@ -3,7 +3,6 @@ import org.sourcegrade.submitter.submit
 plugins {
     java
     application
-    id("org.sourcegrade.style") version "1.2.0"
     id("org.sourcegrade.submitter") version "0.4.0"
 }
 
@@ -19,6 +18,7 @@ submit {
     studentId = "ab12cdef"
     firstName = "sol_first"
     lastName = "sol_last"
+    requireTests = false
 }
 
 val grader: SourceSet by sourceSets.creating {
@@ -32,6 +32,9 @@ dependencies {
     "graderCompileOnly"("org.sourcegrade:jagr-launcher:0.4.0") {
         exclude("org.jetbrains", "annotations")
     }
+    "graderImplementation"("fr.inria.gforge.spoon:spoon-core:10.0.0")
+    "graderImplementation"("org.mockito:mockito-core:4.3.1")
+    "graderImplementation"("org.ow2.asm:asm-util:9.2")
     testImplementation("org.junit.jupiter:junit-jupiter:5.8.2")
 }
 

graders

@@ -0,0 +1,94 @@
+package h08;
+
+import org.jetbrains.annotations.Nullable;
+import org.objectweb.asm.ClassReader;
+import org.objectweb.asm.ClassVisitor;
+import org.objectweb.asm.ClassWriter;
+import org.objectweb.asm.MethodVisitor;
+import org.objectweb.asm.Opcodes;
+import org.sourcegrade.jagr.api.testing.ClassTransformer;
+
+/**
+ * verifier for h08.
+ */
+public class ExceptionConstructorVerifier implements ClassTransformer {
+
+    public static @Nullable String descriptor = null;
+    public static @Nullable Boolean isVar2 = null;
+    public static final String correctDescriptor = "(Ljava/util/Calendar;Z)V";
+
+    public static void handleConstructor(String descriptor, boolean correctConstructor) {
+        ExceptionConstructorVerifier.descriptor = descriptor;
+        ExceptionConstructorVerifier.isVar2 = correctConstructor;
+    }
+
+    public static void handleConstructor(String descriptor) {
+        ExceptionConstructorVerifier.descriptor = descriptor;
+        isVar2 = null; // is incorrect and could not be determined
+    }
+
+    public static void reset() {
+        descriptor = null;
+        isVar2 = null;
+    }
+
+    @Override
+    public String getName() {
+        return null;
+    }
+
+    @Override
+    public void transform(ClassReader reader, ClassWriter writer) {
+        if (reader.getClassName().equals("h08/BadUpdateTimeException")) {
+            reader.accept(new CV(writer), 0);
+        } else {
+            reader.accept(writer, 0);
+        }
+    }
+
+    static class CV extends ClassVisitor {
+
+        public CV(ClassVisitor classVisitor) {
+            super(Opcodes.ASM9, classVisitor);
+        }
+
+        @Override
+        public MethodVisitor visitMethod(int access, String name, String descriptor, String signature, String[] exceptions) {
+            if (name.equals("<init>")) {
+                return new MV(super.visitMethod(access, name, descriptor, signature, exceptions), descriptor);
+            }
+            return super.visitMethod(access, name, descriptor, signature, exceptions);
+        }
+
+        static class MV extends MethodVisitor {
+
+            final String descriptor;
+
+            public MV(MethodVisitor methodVisitor, String descriptor) {
+                super(Opcodes.ASM9, methodVisitor);
+                this.descriptor = descriptor;
+            }
+
+            @Override
+            public void visitCode() {
+                visitLdcInsn(descriptor);
+                final String handleConstructorDescriptor;
+                if (descriptor.equals(correctDescriptor)) {
+                    // correct constructor
+                    visitVarInsn(Opcodes.ILOAD, 2);
+                    handleConstructorDescriptor = "(Ljava/lang/String;Z)V";
+                } else {
+                    handleConstructorDescriptor = "(Ljava/lang/String;)V";
+                }
+                visitMethodInsn(
+                    Opcodes.INVOKESTATIC,
+                    "h08/ExceptionConstructorVerifier",
+                    "handleConstructor",
+                    handleConstructorDescriptor,
+                    false
+                );
+                super.visitCode();
+            }
+        }
+    }
+}