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 }