001 // Java tool bridge RStoreContainerBridge 002 // This file is generated automatically, please do not edit! 003 // generation time: Aug 14, 2007 5:22:04 PM 004 005 package nl.cwi.sen1.visbase.rstorecontainer; 006 007 import aterm.*; 008 009 public class RStoreContainerBridge 010 extends RStoreContainerTool 011 { 012 private RStoreContainerTif tool; 013 014 public RStoreContainerBridge(ATermFactory factory, RStoreContainerTif tool) 015 { 016 super(factory); 017 this.tool = tool; 018 } 019 020 public ATerm rcUnloadRstore(int i0) 021 { 022 if (tool != null) { 023 return tool.rcUnloadRstore(i0); 024 } 025 throw new UnsupportedOperationException("method `rcUnloadRstore' not supported."); 026 } 027 public ATerm rcGetFactData(int i0, int i1) 028 { 029 if (tool != null) { 030 return tool.rcGetFactData(i0, i1); 031 } 032 throw new UnsupportedOperationException("method `rcGetFactData' not supported."); 033 } 034 public ATerm rcGetRstore(int i0) 035 { 036 if (tool != null) { 037 return tool.rcGetRstore(i0); 038 } 039 throw new UnsupportedOperationException("method `rcGetRstore' not supported."); 040 } 041 public ATerm rcGetRstoreFacts(int i0) 042 { 043 if (tool != null) { 044 return tool.rcGetRstoreFacts(i0); 045 } 046 throw new UnsupportedOperationException("method `rcGetRstoreFacts' not supported."); 047 } 048 public ATerm rcLoadRstore(String s0) 049 { 050 if (tool != null) { 051 return tool.rcLoadRstore(s0); 052 } 053 throw new UnsupportedOperationException("method `rcLoadRstore' not supported."); 054 } 055 public ATerm rcLoadRstore(String s0, ATerm t1) 056 { 057 if (tool != null) { 058 return tool.rcLoadRstore(s0, t1); 059 } 060 throw new UnsupportedOperationException("method `rcLoadRstore' 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 }