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 }