BBuffer.java Source File

00001 public class BBuffer 
00002 {
00003      public static BoundedBuffer quantification$b;
00004      
00005      public static void main (java.lang.String[] args)
00006      {
00007           BoundedBuffer b1 = new BoundedBuffer(3);
00008           if (quantification$b  == null)
00009           if (Bandera.choose())
00010           quantification$b = b1;
00011           BoundedBuffer b2 = new BoundedBuffer(3);
00012           b1.add(new java.lang.Object());
00013           b1.add(new java.lang.Object());
00014           (new InOut1(b1,b2)).start();
00015           (new InOut2(b2,b1)).start();
00016      }
00017 }