001    // Java tool interface ConsoleGrabberTif
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 interface ConsoleGrabberTif
010    {
011      public void recAckEvent(ATerm t0);
012      public void recTerminate(ATerm t0);
013    }