001    // Java tool bridge DebugAdapterBridge
002    // This file is generated automatically, please do not edit!
003    // generation time: Feb 20, 2007 2:40:17 PM
004    
005    package nl.cwi.sen1.tide.adapters;
006    
007    import aterm.*;
008    
009    public class DebugAdapterBridge
010      extends DebugAdapterTool
011    {
012      private DebugAdapterTif tool;
013    
014      public DebugAdapterBridge(ATermFactory factory, DebugAdapterTif tool)
015      {
016        super(factory);
017        this.tool = tool;
018      }
019    
020      public ATerm modifyRule(int i0, int i1, ATerm t2, ATerm t3, ATerm t4, ATerm t5)
021      {
022        if (tool != null) {
023          return tool.modifyRule(i0, i1, t2, t3, t4, t5);
024        }
025          throw new UnsupportedOperationException("method `modifyRule' not supported.");
026      }
027      public ATerm disableRule(int i0, int i1)
028      {
029        if (tool != null) {
030          return tool.disableRule(i0, i1);
031        }
032          throw new UnsupportedOperationException("method `disableRule' not supported.");
033      }
034      public ATerm enableRule(int i0, int i1)
035      {
036        if (tool != null) {
037          return tool.enableRule(i0, i1);
038        }
039          throw new UnsupportedOperationException("method `enableRule' not supported.");
040      }
041      public ATerm deleteRule(int i0, int i1)
042      {
043        if (tool != null) {
044          return tool.deleteRule(i0, i1);
045        }
046          throw new UnsupportedOperationException("method `deleteRule' not supported.");
047      }
048      public ATerm createRule(int i0, ATerm t1, ATerm t2, ATerm t3, ATerm t4, ATerm t5)
049      {
050        if (tool != null) {
051          return tool.createRule(i0, t1, t2, t3, t4, t5);
052        }
053          throw new UnsupportedOperationException("method `createRule' not supported.");
054      }
055      public ATerm evaluate(int i0, ATerm t1)
056      {
057        if (tool != null) {
058          return tool.evaluate(i0, t1);
059        }
060          throw new UnsupportedOperationException("method `evaluate' not supported.");
061      }
062      public void recAckEvent(ATerm t0)
063      {
064        if (tool != null) {
065          tool.recAckEvent(t0);
066        }
067        else {
068          throw new UnsupportedOperationException("method `recAckEvent' not supported.");
069        }
070      }
071      public void recTerminate(ATerm t0)
072      {
073        if (tool != null) {
074          tool.recTerminate(t0);
075        }
076        else {
077          throw new UnsupportedOperationException("method `recTerminate' not supported.");
078        }
079      }
080    }