Robust/src/Tests/OwnershipAnalysisTest/test01/test01.java

   1 public class Thing { int z; public Thing(){} }
   2
   3 public class P1 {
   4     public P1(){}
   5     flag a;
   6     int x;
   7     Thing m;
   8 }
   9
  10 public class P2 {
  11     public P2(){}
  12     flag b;
  13     int y;
  14     Thing n;
  15 }
  16
  17 task Startup( StartupObject s{ initialstate } ) {
  18     P1 p1 = new P1(){};
  19     P2 p2 = new P2(){};
  20     taskexit( s{ !initialstate } );
  21 }
  22
  23
  24 task A( P1 p1{!a}, P2 p2{!b} )
  25 {
  26     p1.m = p2.n;
  27
  28     taskexit( p1{a}, p2{b} );
  29 }