001    // Java tool interface EditorPluginTif
002    // This file is generated automatically, please do not edit!
003    // generation time: Mar 7, 2007 4:16:27 PM
004    
005    package nl.cwi.sen1.gui.plugin;
006    
007    import aterm.*;
008    
009    public interface EditorPluginTif
010    {
011      public void getContents(ATerm t0);
012      public void editFile(ATerm t0, String s1);
013      public void setFocus(ATerm t0, ATerm t1);
014      public void isModified(ATerm t0);
015      public void killEditor(ATerm t0);
016      public void displayMessage(ATerm t0, String s1);
017      public void setTooltip(ATerm t0, String s1);
018      public void registerTextCategories(ATerm t0, ATerm t1);
019      public void setSelection(ATerm t0, ATerm t1);
020      public void writeContents(ATerm t0);
021      public void editorToFront(ATerm t0);
022      public void setEditable(ATerm t0, ATerm t1);
023      public void setContents(ATerm t0, String s1);
024      public void highlightSlices(ATerm t0, ATerm t1);
025      public void setCursorAtOffset(ATerm t0, int i1);
026      public void showPopup(ATerm t0, ATerm t1);
027      public void addActions(ATerm t0, ATerm t1);
028      public void setInfo(ATerm t0, String s1);
029      public void clearFocus(ATerm t0);
030      public void rereadContents(ATerm t0);
031      public void recAckEvent(ATerm t0);
032      public void recTerminate(ATerm t0);
033    }