Robust/src/Tests/ssJava/memalloc/test.java

   1 @LATTICE("L<M,M<H")
   2 @METHODDEFAULT("ML<MM,MM<MH,THISLOC=M,RETURNLOC=M")
   3 public class test {
   4
   5   @LOC("H")
   6   Foo foo;
   7
   8   public static void main(@LOC("H") String args[]) {
   9     @LOC("H") test t = new test();
  10
  11     SSJAVA: while (true) {
  12       t.memAllocTest();
  13     }
  14
  15   }
  16
  17   public void memAllocTest() {
  18
  19         @Loc("MH") Foo fooH=new Foo();
  20     for(int i=0;i<10;i++){
  21         @Loc("MM") FooTemp=fooH;
  22         fooM.v=50;
  23     }
  24     @Loc("ML") Foo fooL=fooM;
  25     fooL.v=100;
  26
  27   }
  28
  29 }
  30
  31 @LATTICE("L<M,M<H,H<C,C*,M*")
  32 @METHODDEFAULT("T")
  33 class Foo {
  34   @LOC("H")
  35   Bar bar1;
  36   @LOC("H")
  37   Bar bar2;
  38   @LOC("H")
  39   int v;
  40 }
  41
  42 @LATTICE("L<M,M<H,H<C,C*,M*")
  43 @METHODDEFAULT("T")
  44 class Bar {
  45   @LOC("M")
  46   int v1;
  47   @LOC("M")
  48   int v2;
  49 }