001    // Java tool bridge NavigatorBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Aug 17, 2007 11:11:44 AM
004    
005    package nl.cwi.sen1.gui.plugin;
006    
007    import aterm.*;
008    
009    public class NavigatorBridge
010      extends NavigatorTool
011    {
012      private NavigatorTif tool;
013    
014      public NavigatorBridge(ATermFactory factory, NavigatorTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public void selectModule(ATerm t0)
021      {
022        if (tool != null) {
023          tool.selectModule(t0);
024        }
025        else {
026          throw new UnsupportedOperationException("method `selectModule' not supported.");
027        }
028      }
029      public void updateModule(ATerm t0, ATerm t1)
030      {
031        if (tool != null) {
032          tool.updateModule(t0, t1);
033        }
034        else {
035          throw new UnsupportedOperationException("method `updateModule' not supported.");
036        }
037      }
038      public void markModuleNormal(ATerm t0)
039      {
040        if (tool != null) {
041          tool.markModuleNormal(t0);
042        }
043        else {
044          throw new UnsupportedOperationException("method `markModuleNormal' not supported.");
045        }
046      }
047      public void markModuleError(ATerm t0)
048      {
049        if (tool != null) {
050          tool.markModuleError(t0);
051        }
052        else {
053          throw new UnsupportedOperationException("method `markModuleError' not supported.");
054        }
055      }
056      public void deleteModule(ATerm t0)
057      {
058        if (tool != null) {
059          tool.deleteModule(t0);
060        }
061        else {
062          throw new UnsupportedOperationException("method `deleteModule' not supported.");
063        }
064      }
065      public void showPopup(ATerm t0, ATerm t1)
066      {
067        if (tool != null) {
068          tool.showPopup(t0, t1);
069        }
070        else {
071          throw new UnsupportedOperationException("method `showPopup' not supported.");
072        }
073      }
074      public void recAckEvent(ATerm t0)
075      {
076        if (tool != null) {
077          tool.recAckEvent(t0);
078        }
079        else {
080          throw new UnsupportedOperationException("method `recAckEvent' not supported.");
081        }
082      }
083      public void recTerminate(ATerm t0)
084      {
085        if (tool != null) {
086          tool.recTerminate(t0);
087        }
088        else {
089          throw new UnsupportedOperationException("method `recTerminate' not supported.");
090        }
091      }
092    }