Test for abstract class with two generic arguments

diffblue · Apr 27, 2018 · c06c7e4 · c06c7e4
1 parent e936a29
commit c06c7e4
Show file tree

Hide file tree

Showing 8 changed files with 34 additions and 0 deletions.
diff --git a/regression/jbmc-cover/generics/AbstractImpl.class b/regression/jbmc-cover/generics/AbstractImpl.class
diff --git a/regression/jbmc-cover/generics/AbstractInt.class b/regression/jbmc-cover/generics/AbstractInt.class
diff --git a/regression/jbmc-cover/generics/AbstractTest$ClassA.class b/regression/jbmc-cover/generics/AbstractTest$ClassA.class
diff --git a/regression/jbmc-cover/generics/AbstractTest$ClassB.class b/regression/jbmc-cover/generics/AbstractTest$ClassB.class
diff --git a/regression/jbmc-cover/generics/AbstractTest$Dummy.class b/regression/jbmc-cover/generics/AbstractTest$Dummy.class
diff --git a/regression/jbmc-cover/generics/AbstractTest.class b/regression/jbmc-cover/generics/AbstractTest.class
diff --git a/regression/jbmc-cover/generics/AbstractTest.java b/regression/jbmc-cover/generics/AbstractTest.java
@@ -0,0 +1,23 @@
+interface AbstractInt<K,V> { V get(); }
+
+class AbstractImpl<K,V> implements AbstractInt<K,V> {
+    V t;
+    public V get() { return t; }
+}
+
+public class AbstractTest
+{
+    class Dummy { private boolean b; }
+    class ClassA { private int id; }
+    class ClassB {
+        private int id;
+        int getId() { return id; }
+    }
+
+    public int getFromAbstract(AbstractInt<ClassA, ClassB> arg) {
+        AbstractImpl<Dummy, Dummy> dummy = new AbstractImpl<>();
+        ClassB b = arg.get();
+        int i = b.getId();
+	return i;
+    }
+}
diff --git a/regression/jbmc-cover/generics/test.desc b/regression/jbmc-cover/generics/test.desc
@@ -0,0 +1,11 @@
+CORE
+AbstractTest.class
+--cover location --function AbstractTest.getFromAbstract
+^EXIT=0$
+^SIGNAL=0$
+file AbstractTest.java line 18 .* SATISFIED
+file AbstractTest.java line 19 .* SATISFIED
+file AbstractTest.java line 20 .* SATISFIED
+file AbstractTest.java line 21 .* SATISFIED
+
+