001    // Java tool interface DebugToolTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Jun 10, 2004 3:05:13 PM
004    
005    package nl.cwi.sen1.tide.tool.support;
006    
007    import aterm.ATerm;
008    
009    public interface DebugToolTif
010    {
011      public void processDestroyed(ATerm t0);
012      public void adapterDisconnected(ATerm t0);
013      public void event(ATerm t0, int i1, ATerm t2);
014      public void processCreated(ATerm t0, String s1);
015      public void adapterConnected(ATerm t0);
016      public void recAckEvent(ATerm t0);
017      public void recTerminate(ATerm t0);
018    }