Variable result table pruning is buggy, remove for now, also adding improved tests...

[IRC.git] / Robust / src / Tests / mlp / regression / test.java

diff --git a/Robust/src/Tests/mlp/regression/test.java b/Robust/src/Tests/mlp/regression/test.java
index ee8cf6f17e41d3d842550ed493d482c968343f05..4318fed0c253486468f05771db8fe950158d2c08 100644 (file)
--- a/Robust/src/Tests/mlp/regression/test.java
+++ b/Robust/src/Tests/mlp/regression/test.java
@@ -1,67 +1,81 @@
-public class Foo {
-  int f;
-  public Foo() {}
-}
-
 
 public class Test {
 
-  public static void main( String args[] ) {
-        
+  public static void main( String args[] ) {        
     int x = Integer.parseInt( args[0] );
+    doSomeWork( x );
+    nullMethodBodyFinalNode();
+  }
 
-
-
-    //int y = Integer.parseInt( args[1] );
-
+  public static void doSomeWork( int x ) {
     for( int i = 0; i < x; ++i ) {
-
       sese calc {
        int sum = 0;
        for( int j = 0; j <= i; ++j ) {
-         sum = sum + j;
+         sum = calculateStuff( sum, 1, 0 );
+       }
+      }
+      sese forceVirtualReal {
+       if( i % 3 == 0 ) {
+         sum = sum + (i % 20);
        }
       }
-
       if( i % 2 == 0 ) {
        sese change {
          for( int k = 0; k < i*2; ++k ) {
-           sum = sum + 1;          
+           sum = calculateStuff( sum, k, 1 );
          }
          sum = sum + 1;
        }       
-
-       sese changeAgain {
-         for( int l = 0; l < 3; ++l ) {
-           sum = sum / 2;
-         }
+       
+       for( int l = 0; l < 3; ++l ) {
+         sum = calculateStuff( sum, 2, 2 );
        }
       }
-
       sese prnt {
        mightPrint( x, i, sum );
       }
-
     }
+  }
 
+  public static int calculateStuff( int sum, int num, int mode ) {
+    int answer = sum;    
+    sese makePlaceholderStallAfter {
+      sum = sum + 1;
+    }
+    sum = sum + 1;
+    if( mode == 0 ) {
+      sese mode1 {
+       answer = sum + num;
+      }
+    } else if( mode == 1 ) {
+      sese mode2 {
+       answer = sum + (num/2);
+      }
+    } else {
+      sese mode3 {
+       answer = sum / num;
+      }
+    }    
+    return answer;
+  }
 
-    
-    //Foo foo = new Foo();
-    //foo.f = x;
-    //setTo3( foo );
+  public static void nullMethodBodyFinalNode() {
+    int y = 1;
+    sese nothing {
+      int x = 0;
+    }
+    y = x;
+    if( x > y ) {
+      return;
+    } else {
+      return;
+    }
   }
 
   public static void mightPrint( int x, int i, int sum ) {
     if( i == x - 1 ) {
-      System.out.println( "sum of integers 0-"+i+" is "+sum );
+      System.out.println( "sum of integers 0-"+i+"("+x+") is "+sum );
     }
   }
-
-  /*
-  public static void setTo3( Foo foo ) {
-    sese func {
-      foo.f = 3;
-    }   
-  }
-  */
 }