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    }