001    // Java tool bridge DebugToolBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Jun 10, 2004 3:05:13 PM
004    
005    package nl.cwi.sen1.tide.tool.support;
006    
007    import aterm.ATerm;
008    import aterm.ATermFactory;
009    
010    public class DebugToolBridge
011      extends DebugToolTool
012    {
013      private DebugToolTif tool;
014    
015      //{{{  public DebugToolBridge(ATermFactory factory, DebugToolTif tool)
016    
017      public DebugToolBridge(ATermFactory factory, DebugToolTif tool)
018      {
019        super(factory);
020        this.tool = tool;
021      }
022    
023      //}}}
024    
025      //{{{  public void processDestroyed(ATerm t0)
026    
027      public void processDestroyed(ATerm t0)
028      {
029        if (tool != null) {
030          tool.processDestroyed(t0);
031        }
032        else {
033          throw new UnsupportedOperationException("method `processDestroyed' not supported.");
034        }
035      }
036    
037      //}}}
038      //{{{  public void adapterDisconnected(ATerm t0)
039    
040      public void adapterDisconnected(ATerm t0)
041      {
042        if (tool != null) {
043          tool.adapterDisconnected(t0);
044        }
045        else {
046          throw new UnsupportedOperationException("method `adapterDisconnected' not supported.");
047        }
048      }
049    
050      //}}}
051      //{{{  public void event(ATerm t0, int i1, ATerm t2)
052    
053      public void event(ATerm t0, int i1, ATerm t2)
054      {
055        if (tool != null) {
056          tool.event(t0, i1, t2);
057        }
058        else {
059          throw new UnsupportedOperationException("method `event' not supported.");
060        }
061      }
062    
063      //}}}
064      //{{{  public void processCreated(ATerm t0, String s1)
065    
066      public void processCreated(ATerm t0, String s1)
067      {
068        if (tool != null) {
069          tool.processCreated(t0, s1);
070        }
071        else {
072          throw new UnsupportedOperationException("method `processCreated' not supported.");
073        }
074      }
075    
076      //}}}
077      //{{{  public void adapterConnected(ATerm t0)
078    
079      public void adapterConnected(ATerm t0)
080      {
081        if (tool != null) {
082          tool.adapterConnected(t0);
083        }
084        else {
085          throw new UnsupportedOperationException("method `adapterConnected' not supported.");
086        }
087      }
088    
089      //}}}
090      //{{{  public void recAckEvent(ATerm t0)
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    
102      //}}}
103      //{{{  public void recTerminate(ATerm t0)
104    
105      public void recTerminate(ATerm t0)
106      {
107        if (tool != null) {
108          tool.recTerminate(t0);
109        }
110        else {
111          throw new UnsupportedOperationException("method `recTerminate' not supported.");
112        }
113      }
114    
115      //}}}
116    }