001 // Java tool interface DialogTif 002 // This file is generated automatically, please do not edit! 003 // generation time: Mar 28, 2007 3:57:36 PM 004 005 package nl.cwi.sen1.gui.plugin; 006 007 import aterm.*; 008 009 public interface DialogTif 010 { 011 public void showProgressMessage(String s0); 012 public void showErrorDialogWithArguments(String s0, ATerm t1); 013 public void showMessageDialog(String s0); 014 public void showProgressList(String s0); 015 public void showProgressMessageWithArguments(String s0, ATerm t1); 016 public void showErrorDialog(String s0); 017 public void closeProgressList(); 018 public ATerm showQuestionDialog(String s0); 019 public ATerm showDirectoryDialog(String s0, ATerm t1); 020 public ATerm showFileDialog(String s0, ATerm t1, String s2); 021 public void recTerminate(ATerm t0); 022 }