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 }