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 }