001    // Java tool bridge GuiBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Mar 14, 2007 10:20:35 AM
004    
005    package nl.cwi.sen1.gui;
006    
007    import aterm.*;
008    
009    public class GuiBridge
010      extends GuiTool
011    {
012      private GuiTif tool;
013    
014      public GuiBridge(ATermFactory factory, GuiTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public void loadJarUrls(String s0, ATerm t1)
021      {
022        if (tool != null) {
023          tool.loadJarUrls(s0, t1);
024        }
025        else {
026          throw new UnsupportedOperationException("method `loadJarUrls' not supported.");
027        }
028      }
029      public void loadJar(String s0)
030      {
031        if (tool != null) {
032          tool.loadJar(s0);
033        }
034        else {
035          throw new UnsupportedOperationException("method `loadJar' not supported.");
036        }
037      }
038      public void addMenuEvents(ATerm t0)
039      {
040        if (tool != null) {
041          tool.addMenuEvents(t0);
042        }
043        else {
044          throw new UnsupportedOperationException("method `addMenuEvents' not supported.");
045        }
046      }
047      public void loadJarClasspath(String s0, String s1)
048      {
049        if (tool != null) {
050          tool.loadJarClasspath(s0, s1);
051        }
052        else {
053          throw new UnsupportedOperationException("method `loadJarClasspath' not supported.");
054        }
055      }
056      public void jobDone(String s0)
057      {
058        if (tool != null) {
059          tool.jobDone(s0);
060        }
061        else {
062          throw new UnsupportedOperationException("method `jobDone' not supported.");
063        }
064      }
065      public void addJob(String s0)
066      {
067        if (tool != null) {
068          tool.addJob(s0);
069        }
070        else {
071          throw new UnsupportedOperationException("method `addJob' not supported.");
072        }
073      }
074      public void setStatus(String s0)
075      {
076        if (tool != null) {
077          tool.setStatus(s0);
078        }
079        else {
080          throw new UnsupportedOperationException("method `setStatus' not supported.");
081        }
082      }
083      public void setTitle(String s0)
084      {
085        if (tool != null) {
086          tool.setTitle(s0);
087        }
088        else {
089          throw new UnsupportedOperationException("method `setTitle' not supported.");
090        }
091      }
092      public void recAckEvent(ATerm t0)
093      {
094        if (tool != null) {
095          tool.recAckEvent(t0);
096        }
097        else {
098          throw new UnsupportedOperationException("method `recAckEvent' not supported.");
099        }
100      }
101      public void recTerminate(ATerm t0)
102      {
103        if (tool != null) {
104          tool.recTerminate(t0);
105        }
106        else {
107          throw new UnsupportedOperationException("method `recTerminate' not supported.");
108        }
109      }
110    }