package testclasses;

public class SimpleCastSuccess1 {

   public static void main(String[] args) {

   }

    /**
     * x has Type TOP, y has typ PUBLIC, return value is dynamic
     */
   public static int m(int x, int y) {
      int z = castTopToDyn(x);
      z += castPubToDyn(y);
      if (z >= 0) {
         return 1;
      } else {
         return 0;
      }
   }

   private static int castTopToDyn(int x) {
      return x;
   }

   private static int castPubToDyn(int x) {
      return x;
   }

}

@@ -15,16 +15,70 @@
 asses;%0A%0A
+import de.unifreiburg.cs.proglang.jgs.support.Casts;%0A%0A
 public c
@@ -96,15 +96,12 @@
 Cast
-Success
+Fail
 1 %7B%0A
@@ -290,49 +290,71 @@
 z = 
-castTopToDyn(x);%0A      z += castPubToDyn(
+Casts.cast(%22%5Btop%5D ~%3E ?%22, x);%0A      z += Casts.cast(%22pub ~%3E ?%22, 
 y);%0A

Add a frist DynamicAnalyzer test for casts