001 // Java tool bridge FactbrowserBridge 002 // This file is generated automatically, please do not edit! 003 // generation time: Aug 17, 2007 9:19:04 AM 004 005 package nl.cwi.sen1.visbase.factbrowser; 006 007 import aterm.*; 008 009 public class FactbrowserBridge 010 extends FactbrowserTool 011 { 012 private FactbrowserTif tool; 013 014 public FactbrowserBridge(ATermFactory factory, FactbrowserTif tool) 015 { 016 super(factory); 017 this.tool = tool; 018 } 019 020 public void fbRstoreUnloaded(int i0) 021 { 022 if (tool != null) { 023 tool.fbRstoreUnloaded(i0); 024 } 025 else { 026 throw new UnsupportedOperationException("method `fbRstoreUnloaded' not supported."); 027 } 028 } 029 public void fbAddVisualizationPlugin(ATerm t0, int i1, String s2) 030 { 031 if (tool != null) { 032 tool.fbAddVisualizationPlugin(t0, i1, s2); 033 } 034 else { 035 throw new UnsupportedOperationException("method `fbAddVisualizationPlugin' not supported."); 036 } 037 } 038 public void fbShowRstoreFacts(String s0, int i1, ATerm t2) 039 { 040 if (tool != null) { 041 tool.fbShowRstoreFacts(s0, i1, t2); 042 } 043 else { 044 throw new UnsupportedOperationException("method `fbShowRstoreFacts' not supported."); 045 } 046 } 047 public void showPopup(int i0, ATerm t1) 048 { 049 if (tool != null) { 050 tool.showPopup(i0, t1); 051 } 052 else { 053 throw new UnsupportedOperationException("method `showPopup' not supported."); 054 } 055 } 056 public ATerm getSelectedRstoreid() 057 { 058 if (tool != null) { 059 return tool.getSelectedRstoreid(); 060 } 061 throw new UnsupportedOperationException("method `getSelectedRstoreid' not supported."); 062 } 063 public void recAckEvent(ATerm t0) 064 { 065 if (tool != null) { 066 tool.recAckEvent(t0); 067 } 068 else { 069 throw new UnsupportedOperationException("method `recAckEvent' not supported."); 070 } 071 } 072 public void recTerminate(ATerm t0) 073 { 074 if (tool != null) { 075 tool.recTerminate(t0); 076 } 077 else { 078 throw new UnsupportedOperationException("method `recTerminate' not supported."); 079 } 080 } 081 }