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 }