001    // Java tool interface ErrorViewerTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Jan 30, 2007 7:11:53 AM
004    
005    package nl.cwi.sen1.error.viewer;
006    
007    import aterm.*;
008    
009    public interface ErrorViewerTif
010    {
011      public void showFeedbackSummary(String s0, ATerm t1);
012      public void refreshFeedbackSummary(String s0, ATerm t1);
013      public void removeFeedbackSummary(String s0, String s1);
014      public void removeFeedbackSummary(String s0, String s1, String s2);
015      public void recAckEvent(ATerm t0);
016      public void recTerminate(ATerm t0);
017    }