001    // Java tool bridge FactbrowserBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Aug 17, 2007 9:19:04 AM
004    
005    package nl.cwi.sen1.visbase.factbrowser;
006    
007    import aterm.*;
008    
009    public class FactbrowserBridge
010      extends FactbrowserTool
011    {
012      private FactbrowserTif tool;
013    
014      public FactbrowserBridge(ATermFactory factory, FactbrowserTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public void fbRstoreUnloaded(int i0)
021      {
022        if (tool != null) {
023          tool.fbRstoreUnloaded(i0);
024        }
025        else {
026          throw new UnsupportedOperationException("method `fbRstoreUnloaded' not supported.");
027        }
028      }
029      public void fbAddVisualizationPlugin(ATerm t0, int i1, String s2)
030      {
031        if (tool != null) {
032          tool.fbAddVisualizationPlugin(t0, i1, s2);
033        }
034        else {
035          throw new UnsupportedOperationException("method `fbAddVisualizationPlugin' not supported.");
036        }
037      }
038      public void fbShowRstoreFacts(String s0, int i1, ATerm t2)
039      {
040        if (tool != null) {
041          tool.fbShowRstoreFacts(s0, i1, t2);
042        }
043        else {
044          throw new UnsupportedOperationException("method `fbShowRstoreFacts' not supported.");
045        }
046      }
047      public void showPopup(int i0, ATerm t1)
048      {
049        if (tool != null) {
050          tool.showPopup(i0, t1);
051        }
052        else {
053          throw new UnsupportedOperationException("method `showPopup' not supported.");
054        }
055      }
056      public ATerm getSelectedRstoreid()
057      {
058        if (tool != null) {
059          return tool.getSelectedRstoreid();
060        }
061          throw new UnsupportedOperationException("method `getSelectedRstoreid' not supported.");
062      }
063      public void recAckEvent(ATerm t0)
064      {
065        if (tool != null) {
066          tool.recAckEvent(t0);
067        }
068        else {
069          throw new UnsupportedOperationException("method `recAckEvent' not supported.");
070        }
071      }
072      public void recTerminate(ATerm t0)
073      {
074        if (tool != null) {
075          tool.recTerminate(t0);
076        }
077        else {
078          throw new UnsupportedOperationException("method `recTerminate' not supported.");
079        }
080      }
081    }