001 // Java tool bridge VisPluginTextUnparsingBridge 002 // This file is generated automatically, please do not edit! 003 // generation time: Aug 22, 2007 2:40:01 PM 004 005 package nl.cwi.sen1.visplugin.text; 006 007 import aterm.*; 008 009 public class VisPluginTextUnparsingBridge 010 extends VisPluginTextUnparsingTool 011 { 012 private VisPluginTextUnparsingTif tool; 013 014 public VisPluginTextUnparsingBridge(ATermFactory factory, VisPluginTextUnparsingTif tool) 015 { 016 super(factory); 017 this.tool = tool; 018 } 019 020 public void displayUnparsedRtuple(String s0) 021 { 022 if (tool != null) { 023 tool.displayUnparsedRtuple(s0); 024 } 025 else { 026 throw new UnsupportedOperationException("method `displayUnparsedRtuple' not supported."); 027 } 028 } 029 public void recAckEvent(ATerm t0) 030 { 031 if (tool != null) { 032 tool.recAckEvent(t0); 033 } 034 else { 035 throw new UnsupportedOperationException("method `recAckEvent' not supported."); 036 } 037 } 038 public void recTerminate(ATerm t0) 039 { 040 if (tool != null) { 041 tool.recTerminate(t0); 042 } 043 else { 044 throw new UnsupportedOperationException("method `recTerminate' not supported."); 045 } 046 } 047 }