001    // Java tool bridge ProgressBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Jan 4, 2007 3:18:21 PM
004    
005    package nl.cwi.sen1.gui.plugin;
006    
007    import aterm.*;
008    
009    public class ProgressBridge
010      extends ProgressTool
011    {
012      private ProgressTif tool;
013    
014      public ProgressBridge(ATermFactory factory, ProgressTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public void setMessage(ATerm t0, String s1)
021      {
022        if (tool != null) {
023          tool.setMessage(t0, s1);
024        }
025        else {
026          throw new UnsupportedOperationException("method `setMessage' not supported.");
027        }
028      }
029      public void removeStatus(ATerm t0)
030      {
031        if (tool != null) {
032          tool.removeStatus(t0);
033        }
034        else {
035          throw new UnsupportedOperationException("method `removeStatus' not supported.");
036        }
037      }
038      public void clearStatusWindow()
039      {
040        if (tool != null) {
041          tool.clearStatusWindow();
042        }
043        else {
044          throw new UnsupportedOperationException("method `clearStatusWindow' not supported.");
045        }
046      }
047      public void setStatus(ATerm t0, String s1, ATerm t2)
048      {
049        if (tool != null) {
050          tool.setStatus(t0, s1, t2);
051        }
052        else {
053          throw new UnsupportedOperationException("method `setStatus' not supported.");
054        }
055      }
056      public void recTerminate(ATerm t0)
057      {
058        if (tool != null) {
059          tool.recTerminate(t0);
060        }
061        else {
062          throw new UnsupportedOperationException("method `recTerminate' not supported.");
063        }
064      }
065    }