001    // Java tool bridge ConsoleGrabberBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Feb 23, 2007 1:41:31 PM
004    
005    package nl.cwi.sen1.consolegrabber;
006    
007    import aterm.*;
008    
009    public class ConsoleGrabberBridge
010      extends ConsoleGrabberTool
011    {
012      private ConsoleGrabberTif tool;
013    
014      public ConsoleGrabberBridge(ATermFactory factory, ConsoleGrabberTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public void recAckEvent(ATerm t0)
021      {
022        if (tool != null) {
023          tool.recAckEvent(t0);
024        }
025        else {
026          throw new UnsupportedOperationException("method `recAckEvent' not supported.");
027        }
028      }
029      public void recTerminate(ATerm t0)
030      {
031        if (tool != null) {
032          tool.recTerminate(t0);
033        }
034        else {
035          throw new UnsupportedOperationException("method `recTerminate' not supported.");
036        }
037      }
038    }