Not functional, but stable--sese invocation code pulls from an SESErecord
[IRC.git] / Robust / src / Tests / mlp / tinyTest / test.java
1 public class Test {
2
3   public static void main( String args[] ) {
4     /*
5     int n = 10;
6       
7     sese top {     
8       int x = 0;
9       
10       for( int i = 0; i < 3; ++i ) {
11         sese iter {
12           x = x + i;
13         }
14       }         
15       
16       int j = x + n;
17     }
18     
19     int z = n + j;
20     */
21
22
23
24
25
26
27
28
29
30     
31     int x = 1;
32     int y = 1;
33
34     sese fi {
35       if( true ) {
36         x = y + 2;
37         y = 3;  
38       }      
39     }
40
41     /*
42     // shouldn't cause a stall
43     int z = x;
44
45     // stall and get values for y and z
46     x = x + 1;
47
48     // all of these should proceed without stall
49     y = y + 1;
50     x = x + 1;
51     z = z + 1;
52     */
53
54     // expecting x=3, y=3
55     System.out.println( "x="+x+", y="+y );
56
57
58
59
60
61     //Integer i;
62     //afunc( i );
63   }
64
65   public static void afunc( Integer i ) {
66     i = null;
67   }
68 }