001    // Java tool interface DebugAdapterTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Feb 20, 2007 2:40:17 PM
004    
005    package nl.cwi.sen1.tide.adapters;
006    
007    import aterm.*;
008    
009    public interface DebugAdapterTif
010    {
011      public ATerm modifyRule(int i0, int i1, ATerm t2, ATerm t3, ATerm t4, ATerm t5);
012      public ATerm disableRule(int i0, int i1);
013      public ATerm enableRule(int i0, int i1);
014      public ATerm deleteRule(int i0, int i1);
015      public ATerm createRule(int i0, ATerm t1, ATerm t2, ATerm t3, ATerm t4, ATerm t5);
016      public ATerm evaluate(int i0, ATerm t1);
017      public void recAckEvent(ATerm t0);
018      public void recTerminate(ATerm t0);
019    }