001    // Java tool interface NavigatorTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Aug 17, 2007 11:11:44 AM
004    
005    package nl.cwi.sen1.gui.plugin;
006    
007    import aterm.*;
008    
009    public interface NavigatorTif
010    {
011      public void selectModule(ATerm t0);
012      public void updateModule(ATerm t0, ATerm t1);
013      public void markModuleNormal(ATerm t0);
014      public void markModuleError(ATerm t0);
015      public void deleteModule(ATerm t0);
016      public void showPopup(ATerm t0, ATerm t1);
017      public void recAckEvent(ATerm t0);
018      public void recTerminate(ATerm t0);
019    }