001    package nl.cwi.sen1.visplugin;
002    
003    // Java tool bridge VisualizationPluginBridge
004    // This file is generated automatically, please do not edit!
005    // generation time: Mar 14, 2007 12:48:38 PM
006    
007    
008    import aterm.*;
009    
010    public class VisualizationPluginBridge
011      extends VisualizationPluginTool
012    {
013      private VisualizationPluginTif tool;
014    
015      public VisualizationPluginBridge(ATermFactory factory, VisualizationPluginTif tool)
016      {
017        super(factory);
018        this.tool = tool;
019      }
020    
021      public void vpFileDialogResult(int i0, String s1)
022      {
023        if (tool != null) {
024          tool.vpFileDialogResult(i0, s1);
025        }
026        else {
027          throw new UnsupportedOperationException("method `vpFileDialogResult' not supported.");
028        }
029      }
030      public void vpVisualizeFact(int i0, int i1, ATerm t2)
031      {
032        if (tool != null) {
033          tool.vpVisualizeFact(i0, i1, t2);
034        }
035        else {
036          throw new UnsupportedOperationException("method `vpVisualizeFact' not supported.");
037        }
038      }
039      public void vpRstoreUnloaded(int i0)
040      {
041        if (tool != null) {
042          tool.vpRstoreUnloaded(i0);
043        }
044        else {
045          throw new UnsupportedOperationException("method `vpRstoreUnloaded' not supported.");
046        }
047      }
048      public void vpFileDialogCancel(int i0)
049      {
050        if (tool != null) {
051          tool.vpFileDialogCancel(i0);
052        }
053        else {
054          throw new UnsupportedOperationException("method `vpFileDialogCancel' not supported.");
055        }
056      }
057      public void vpFactOutOfDate(int i0, int i1)
058      {
059        if (tool != null) {
060          tool.vpFactOutOfDate(i0, i1);
061        }
062        else {
063          throw new UnsupportedOperationException("method `vpFactOutOfDate' not supported.");
064        }
065      }
066      public ATerm vpGetName()
067      {
068        if (tool != null) {
069          return tool.vpGetName();
070        }
071          throw new UnsupportedOperationException("method `vpGetName' not supported.");
072      }
073      public ATerm vpIsTypeSupported(ATerm t0)
074      {
075        if (tool != null) {
076          return tool.vpIsTypeSupported(t0);
077        }
078          throw new UnsupportedOperationException("method `vpIsTypeSupported' not supported.");
079      }
080      public void recAckEvent(ATerm t0)
081      {
082        if (tool != null) {
083          tool.recAckEvent(t0);
084        }
085        else {
086          throw new UnsupportedOperationException("method `recAckEvent' not supported.");
087        }
088      }
089      public void recTerminate(ATerm t0)
090      {
091        if (tool != null) {
092          tool.recTerminate(t0);
093        }
094        else {
095          throw new UnsupportedOperationException("method `recTerminate' not supported.");
096        }
097      }
098    }