Add unit tests for mocked/unsupported generics

Author: svorenova

unit/goto-programs/goto_program_generics/GenericBases.java

@@ -103,3 +103,15 @@ public void foo() {
     f.inner_three.foo(x);
   }
 }
+
+class SuperclassUnsupported extends UnsupportedWrapper1<SuperclassUnsupported> {
+  public void foo() {
+    this.field = new SuperclassUnsupported();
+  }
+}
+
+class SuperclassMocked extends MockedWrapper<IWrapper> {
+  public void foo() {
+      this.field.i = 5;
+    }
+}

unit/goto-programs/goto_program_generics/GenericFieldMocked.class

@@ -80,3 +80,35 @@ public void foo(A<Integer> v) {
     }
   }
 }
+
+// class that implements two generic interfaces
+class InterfacesImplementation implements InterfaceWrapper<IWrapper>,
+                         InterfacePairWrapper<IWrapper, IWrapper> {
+  public IWrapper method(IWrapper t) {
+    return t;
+  }
+  public IWrapper method(IWrapper t, IWrapper tt) {
+    if (t.i>0)
+    {
+      return t;
+    }
+    else
+    {
+      return tt;
+    }
+  }
+}
+class GenericFieldUnsupported {
+  public UnsupportedWrapper2<InterfacesImplementation> f;
+  public void foo() {
+    f.field.method(new IWrapper(0));
+    f.field.method(new IWrapper(0), new IWrapper(2));
+  }
+}
+
+class GenericFieldMocked {
+  public MockedWrapper<IWrapper> f;
+  public void foo() {
+    f.field.i = 0;
+  }
+}

unit/goto-programs/goto_program_generics/GenericFieldUnsupported.class

@@ -23,3 +23,24 @@ class PairWrapper<K, V> {
 interface InterfaceWrapper<T> {
   public T method(T t);
 }
+
+// generic interface with two parameters
+interface InterfacePairWrapper<K, V> {
+  public K method(K k, V v);
+}
+
+// generic class with unsupported signature - generic bound
+class UnsupportedWrapper1<T extends UnsupportedWrapper1<T>> {
+  public T field;
+}
+
+// generic class with unsupported signature - multiple bounds
+class UnsupportedWrapper2<T extends InterfaceWrapper & InterfacePairWrapper>
+{
+  public T field;
+}
+
+// generic mocked class, make sure the .class file is not available
+class MockedWrapper<T> {
+  public T field;
+}