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           if (quantification$b  == null)
00013           if (Bandera.choose())
00014           quantification$b = b2;
00015           b1.add(new java.lang.Object());
00016           b1.add(new java.lang.Object());
00017           (new InOut1(b1,b2)).start();
00018           (new InOut2(b2,b1)).start();
00019      }
00020 }