Robust/src/Tests/mlp/tinyTest/test.java

   1 public class Foo {
   2   public int z;
   3
   4   public Foo( int z ) {
   5     this.z = z;
   6   }
   7 }
   8
   9 public class Test {
  10
  11   public static void main( String args[] ) {
  12     int x = Integer.parseInt( args[0] );
  13     Foo f = new Foo( x + 10000 );
  14     doSomeWork( x, f );
  15     nullMethodBodyFinalNode();
  16   }
  17
  18   public static void doSomeWork( int x, Foo f ) {
  19     for( int i = 0; i < x; ++i ) {
  20       sese calc {
  21         Foo g = new Foo( i );
  22         int sum = 0;
  23         for( int j = 0; j <= i; ++j ) {
  24           sum = calculateStuff( sum, 1, 0 );
  25         }
  26       }
  27       sese forceVirtualReal {
  28         if( i % 3 == 0 ) {
  29           sum = sum + (i % 20);
  30         }
  31         g.z = sum + 1000;
  32       }
  33       sese modobj {
  34         g.z = g.z + f.z;
  35       }
  36       if( i % 2 == 0 ) {
  37         sese change {
  38           for( int k = 0; k < i*2; ++k ) {
  39             sum = calculateStuff( sum, k, 1 );
  40           }
  41           sum = sum + 1;
  42         }
  43
  44         for( int l = 0; l < 3; ++l ) {
  45           sum = calculateStuff( sum, 2, 2 );
  46         }
  47       }
  48       sese prnt {
  49         mightPrint( x, i, sum, g );
  50       }
  51     }
  52   }
  53
  54   public static int calculateStuff( int sum, int num, int mode ) {
  55     int answer = sum;
  56     sese makePlaceholderStallAfter {
  57       sum = sum + 1;
  58     }
  59     sum = sum + 1;
  60     if( mode == 0 ) {
  61       sese mode1 {
  62         answer = sum + num;
  63       }
  64     } else if( mode == 1 ) {
  65       sese mode2 {
  66         answer = sum + (num/2);
  67       }
  68     } else {
  69       sese mode3 {
  70         answer = sum / num;
  71       }
  72     }
  73     return answer;
  74   }
  75
  76   public static void nullMethodBodyFinalNode() {
  77     int y = 1;
  78     sese nothing {
  79       int x = 0;
  80     }
  81     y = x;
  82     if( x > y ) {
  83       return;
  84     } else {
  85       return;
  86     }
  87   }
  88
  89   public static void mightPrint( int x, int i, int sum, Foo g ) {
  90     if( i == x - 1 ) {
  91       System.out.println( "Results "+i+", "+x+", "+sum+", "+g.z );
  92     }
  93   }
  94 }