001    // Java tool bridge DialogBridge
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 class DialogBridge
010      extends DialogTool
011    {
012      private DialogTif tool;
013    
014      public DialogBridge(ATermFactory factory, DialogTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public void showProgressMessage(String s0)
021      {
022        if (tool != null) {
023          tool.showProgressMessage(s0);
024        }
025        else {
026          throw new UnsupportedOperationException("method `showProgressMessage' not supported.");
027        }
028      }
029      public void showErrorDialogWithArguments(String s0, ATerm t1)
030      {
031        if (tool != null) {
032          tool.showErrorDialogWithArguments(s0, t1);
033        }
034        else {
035          throw new UnsupportedOperationException("method `showErrorDialogWithArguments' not supported.");
036        }
037      }
038      public void showMessageDialog(String s0)
039      {
040        if (tool != null) {
041          tool.showMessageDialog(s0);
042        }
043        else {
044          throw new UnsupportedOperationException("method `showMessageDialog' not supported.");
045        }
046      }
047      public void showProgressList(String s0)
048      {
049        if (tool != null) {
050          tool.showProgressList(s0);
051        }
052        else {
053          throw new UnsupportedOperationException("method `showProgressList' not supported.");
054        }
055      }
056      public void showProgressMessageWithArguments(String s0, ATerm t1)
057      {
058        if (tool != null) {
059          tool.showProgressMessageWithArguments(s0, t1);
060        }
061        else {
062          throw new UnsupportedOperationException("method `showProgressMessageWithArguments' not supported.");
063        }
064      }
065      public void showErrorDialog(String s0)
066      {
067        if (tool != null) {
068          tool.showErrorDialog(s0);
069        }
070        else {
071          throw new UnsupportedOperationException("method `showErrorDialog' not supported.");
072        }
073      }
074      public void closeProgressList()
075      {
076        if (tool != null) {
077          tool.closeProgressList();
078        }
079        else {
080          throw new UnsupportedOperationException("method `closeProgressList' not supported.");
081        }
082      }
083      public ATerm showQuestionDialog(String s0)
084      {
085        if (tool != null) {
086          return tool.showQuestionDialog(s0);
087        }
088          throw new UnsupportedOperationException("method `showQuestionDialog' not supported.");
089      }
090      public ATerm showDirectoryDialog(String s0, ATerm t1)
091      {
092        if (tool != null) {
093          return tool.showDirectoryDialog(s0, t1);
094        }
095          throw new UnsupportedOperationException("method `showDirectoryDialog' not supported.");
096      }
097      public ATerm showFileDialog(String s0, ATerm t1, String s2)
098      {
099        if (tool != null) {
100          return tool.showFileDialog(s0, t1, s2);
101        }
102          throw new UnsupportedOperationException("method `showFileDialog' not supported.");
103      }
104      public void recTerminate(ATerm t0)
105      {
106        if (tool != null) {
107          tool.recTerminate(t0);
108        }
109        else {
110          throw new UnsupportedOperationException("method `recTerminate' not supported.");
111        }
112      }
113    }