001    // Java tool interface ProgressTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Jan 4, 2007 3:18:21 PM
004    
005    package nl.cwi.sen1.gui.plugin;
006    
007    import aterm.*;
008    
009    public interface ProgressTif
010    {
011      public void setMessage(ATerm t0, String s1);
012      public void removeStatus(ATerm t0);
013      public void clearStatusWindow();
014      public void setStatus(ATerm t0, String s1, ATerm t2);
015      public void recTerminate(ATerm t0);
016    }