001    // Java tool interface GuiTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Mar 14, 2007 10:20:35 AM
004    
005    package nl.cwi.sen1.gui;
006    
007    import aterm.*;
008    
009    public interface GuiTif
010    {
011      public void loadJarUrls(String s0, ATerm t1);
012      public void loadJar(String s0);
013      public void addMenuEvents(ATerm t0);
014      public void loadJarClasspath(String s0, String s1);
015      public void jobDone(String s0);
016      public void addJob(String s0);
017      public void setStatus(String s0);
018      public void setTitle(String s0);
019      public void recAckEvent(ATerm t0);
020      public void recTerminate(ATerm t0);
021    }