keep alpha source states during node propagation
[IRC.git] / Robust / src / Tests / OwnershipAnalysisTest / test07 / test.java
1 public class Engine {
2   LinkedList[] actions;
3
4   public Engine() {
5     actions = new LinkedList[10];
6     for( int i = 0; i < 10; ++i ) {
7       actions[i] = disjoint blah new LinkedList();
8     }
9   }
10
11   public add( Action a, int list ) {
12     actions[list].addFirst( a );
13   }
14 }
15
16 public class StandardEngine extends Engine {
17   public StandardEngine( Gen gen ) {
18     Engine();
19
20     Action a = new AntherAction( gen );
21     add( a, 0 );
22     //add( a, 1 );
23    
24     Action b = new AntherAction( gen );    
25     add( b, 0 );    
26   }
27 }
28
29 public class Action {
30   Gen gen;
31   public Action( Gen g ) {
32     gen = g;
33   }
34 }
35
36 public class AntherAction extends Action {
37   public AntherAction( Gen g ) {
38     Action( g );
39   }
40 }
41
42 public class Gen {
43   public Gen() {}
44 }
45
46 public class Test {
47
48   static public void main( String[] args ) {
49     Gen gen = new Gen();
50     StandardEngine se = new StandardEngine( gen );
51   }
52 }