Add tests for loading of types in annotations

Author: antlechner

jbmc/regression/jbmc/class-loading-annotations/AnnotationWithArrayValue.class

@@ -0,0 +1,5 @@
+public @interface AnnotationWithArrayValue {
+
+  Class<?>[] value();
+
+}

jbmc/regression/jbmc/class-loading-annotations/AnnotationWithArrayValue.java

@@ -0,0 +1,5 @@
+public @interface AnnotationWithClassValue {
+
+  Class<?> value();
+
+}

jbmc/regression/jbmc/class-loading-annotations/AnnotationWithClassValue.class

@@ -0,0 +1,3 @@
+@AnnotationWithArrayValue({MyClassA.class, MyClassB.class})
+public class ArrayValueAnnotationOnClass {
+}

jbmc/regression/jbmc/class-loading-annotations/AnnotationWithClassValue.java

@@ -0,0 +1,4 @@
+public class ArrayValueAnnotationOnField {
+  @AnnotationWithArrayValue({MyClassA.class, MyClassB.class})
+  int arrayValueAnnotatedField;
+}

jbmc/regression/jbmc/class-loading-annotations/ArrayValueAnnotationOnClass.class

@@ -0,0 +1,4 @@
+public class ArrayValueAnnotationOnMethod {
+  @AnnotationWithArrayValue({MyClassA.class, MyClassB.class})
+  public void arrayValueAnnotatedMethod() {}
+}

jbmc/regression/jbmc/class-loading-annotations/ArrayValueAnnotationOnClass.java

@@ -0,0 +1,4 @@
+public class ArrayValueAnnotationOnParameter {
+  public void classValueAnnotatedParameter(
+      @AnnotationWithArrayValue({MyClassA.class, MyClassB.class}) int param) {}
+}

jbmc/regression/jbmc/class-loading-annotations/ArrayValueAnnotationOnField.class

@@ -0,0 +1,3 @@
+@AnnotationWithClassValue(MyClassA.class)
+public class ClassValueAnnotationOnClass {
+}

jbmc/regression/jbmc/class-loading-annotations/ArrayValueAnnotationOnField.java

@@ -0,0 +1,4 @@
+public class ClassValueAnnotationOnField {
+  @AnnotationWithClassValue(MyClassA.class)
+  int classValueAnnotatedField;
+}

jbmc/regression/jbmc/class-loading-annotations/ArrayValueAnnotationOnMethod.class

@@ -0,0 +1,4 @@
+public class ClassValueAnnotationOnMethod {
+  @AnnotationWithClassValue(MyClassA.class)
+  public void classValueAnnotatedMethod() {}
+}

jbmc/regression/jbmc/class-loading-annotations/ArrayValueAnnotationOnMethod.java

@@ -0,0 +1,4 @@
+public class ClassValueAnnotationOnParameter {
+  public void classValueAnnotatedParameter(
+    @AnnotationWithClassValue(MyClassA.class) int param) {}
+}

jbmc/regression/jbmc/class-loading-annotations/ArrayValueAnnotationOnParameter.class

@@ -0,0 +1 @@
+public class MyClassA {}

jbmc/regression/jbmc/class-loading-annotations/ArrayValueAnnotationOnParameter.java

@@ -0,0 +1 @@
+public class MyClassB {}

jbmc/regression/jbmc/class-loading-annotations/ClassValueAnnotationOnClass.class

@@ -0,0 +1,9 @@
+CORE
+ArrayValueAnnotationOnClass.class
+--verbosity 10
+Getting class `MyClassA' from file \.[\\/]MyClassA\.class
+Getting class `MyClassB' from file \.[\\/]MyClassB\.class
+--
+--
+This test checks that element classes of arrays that are given as values of a class-level annotation
+are loaded by java_class_loadert.

jbmc/regression/jbmc/class-loading-annotations/ClassValueAnnotationOnClass.java

@@ -0,0 +1,9 @@
+CORE
+ArrayValueAnnotationOnField.class
+--verbosity 10
+Getting class `MyClassA' from file \.[\\/]MyClassA\.class
+Getting class `MyClassB' from file \.[\\/]MyClassB\.class
+--
+--
+This test checks that element classes of arrays that are given as values of a field-level annotation
+are loaded by java_class_loadert.

jbmc/regression/jbmc/class-loading-annotations/ClassValueAnnotationOnField.class

@@ -0,0 +1,9 @@
+CORE
+ArrayValueAnnotationOnMethod.class
+--verbosity 10
+Getting class `MyClassA' from file \.[\\/]MyClassA\.class
+Getting class `MyClassB' from file \.[\\/]MyClassB\.class
+--
+--
+This test checks that element classes of arrays that are given as values of a method-level
+annotation are loaded by java_class_loadert.

jbmc/regression/jbmc/class-loading-annotations/ClassValueAnnotationOnField.java

@@ -0,0 +1,9 @@
+CORE
+ArrayValueAnnotationOnParameter.class
+--verbosity 10
+Getting class `MyClassA' from file \.[\\/]MyClassA\.class
+Getting class `MyClassB' from file \.[\\/]MyClassB\.class
+--
+--
+This test checks that element classes of arrays that are given as values of an annotation at method
+parameter level are loaded by java_class_loadert.

jbmc/regression/jbmc/class-loading-annotations/ClassValueAnnotationOnMethod.class

@@ -0,0 +1,9 @@
+CORE
+ClassValueAnnotationOnClass.class
+--verbosity 10
+Getting class `MyClassA' from file \.[\\/]MyClassA\.class
+--
+MyClassB
+--
+This test checks that classes that are given as values of a class-level annotation are loaded by
+java_class_loadert.

jbmc/regression/jbmc/class-loading-annotations/ClassValueAnnotationOnMethod.java

@@ -0,0 +1,9 @@
+CORE
+ClassValueAnnotationOnField.class
+--verbosity 10
+Getting class `MyClassA' from file \.[\\/]MyClassA\.class
+--
+MyClassB
+--
+This test checks that classes that are given as values of a field-level annotation are loaded by
+java_class_loadert.

jbmc/regression/jbmc/class-loading-annotations/ClassValueAnnotationOnParameter.class

@@ -0,0 +1,9 @@
+CORE
+ClassValueAnnotationOnMethod.class
+--verbosity 10
+Getting class `MyClassA' from file \.[\\/]MyClassA\.class
+--
+MyClassB
+--
+This test checks that classes that are given as values of a method-level annotation are loaded by
+java_class_loadert.

jbmc/regression/jbmc/class-loading-annotations/ClassValueAnnotationOnParameter.java

@@ -0,0 +1,9 @@
+CORE
+ClassValueAnnotationOnParameter.class
+--verbosity 10
+Getting class `MyClassA' from file \.[\\/]MyClassA\.class
+--
+MyClassB
+--
+This test checks that classes that are given as values of an annotation at method parameter level
+are loaded by java_class_loadert.