Listener.java Source File

00001 final class Listener extends java.lang.Thread 
00002 {
00003      
00004      public void run ()
00005      {
00006           int tmp = 1;
00007           while (edu.ksu.cis.bandera.abstraction.lib.integral.Signs.ne(tmp,0))
00008           {
00009                tmp = Heap.c4.take();
00010           }
00011      }
00012 }