001 // Java tool bridge TideControlBridge 002 // This file is generated automatically, please do not edit! 003 // generation time: Feb 20, 2007 2:36:36 PM 004 005 package nl.cwi.sen1.tide; 006 007 import aterm.*; 008 009 public class TideControlBridge 010 extends TideControlTool 011 { 012 private TideControlTif tool; 013 014 public TideControlBridge(ATermFactory factory, TideControlTif tool) 015 { 016 super(factory); 017 this.tool = tool; 018 } 019 020 public void recTerminate(ATerm t0) 021 { 022 if (tool != null) { 023 tool.recTerminate(t0); 024 } 025 else { 026 throw new UnsupportedOperationException("method `recTerminate' not supported."); 027 } 028 } 029 }